1 ressource : PAULSON LAWRENCE

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
Canal-U
Proofs assistants : from symbolic logic to real mathematics
Description : Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a flaw that was only fixed a year later. Meanwhile, proof assistants — formal tools originally developed ...
Mots clés : preuve de programme
Date : 18-05-2017
Format : video/mp4
Auteur : Paulson Lawrence
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.