Recherche en cours
Par auteur
=
PAULSON LAWRENCE
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1
ressource
section 1-1
sur 1
résultats
1 à 1
Canal-u.fr
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 develope ...
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
Afficher section
2
sur 1