2 résultats : WERNER BENJAMIN

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2 résultats
page 0 sur 1
résultats -9 à -9
UNIT
La vérité et la machine
Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
Mots clés : preuve de programme, preuve formelle, logique mathématique, démonstration, Coq, théorème des quatre couleurs, fuscia
Date : 11-12-2008
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
La vérité et la machine
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé