Math Park du 1/10/2016 : Leslie LAMPORT, Comment écrire une démonstration au 21e siècle

dimanche 2 septembre 2018
par  JL
popularité : 5%

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.

https://youtu.be/k-i7y0R_-KE?list=PL9kd4mpdvWcA-8majz_MeZwjX1Wuo8Y7G


Commentaires