Séminaire Mathematic Park

Collection Séminaire Mathematic Park

00:00:00 / 00:00:00
26 54

Comment écrire une démonstration au 21ème siècle

De Leslie Lamport

Nous exposerons une nouvelle manière pour écrire les démonstrations avec laquelle il devient plus difficile de démontrer des résultats faux. Cette méthode, qui s'appuie sur la structuration hiérarchique, est simple et pratique. Mon expérience de vingt ans dans l'écriture de telles démonstrations viendra étayer mon propos.

Informations sur la vidéo

  • Date de publication 08/10/2016
  • Institut IHP
  • Audience Etudiants
  • Format MP4

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis