Sommaire
cours / présentation, démonstration
La vérité et la machine
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....
Date de création :
11.12.2008Auteur(s) :
Benjamin WernerAccéder à la ressource :
Présentation
Informations pratiques
Langue du document : Français
Type : cours / présentation, démonstration
Niveau : enseignement supérieur
Langues : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu : 18+
Droits d'auteur : pas libre de droits, gratuit
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
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
Description de la ressource
Résumé
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.
- Granularité : grain
- Structure : atomique
"Domaine(s)" et indice(s) Dewey
- (511.3)
Domaine(s)
- Principes généraux
- Généralités, philosophie, théorie des mathématiques
- Mathématiques inductives déductives
Intervenants, édition et diffusion
Intervenants
Créateur(s) de la métadonnée : Marie-Hélène Comte
Édition
- Institut National de Recherche en Informatique et en Automatique / Interstices
Diffusion
Cette ressource vous est proposée par :
Fiche technique
Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-4697
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-4697
Statut de la fiche : final
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : UNIT
Voir aussi
01.08.2011
Description
:
Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
- assistant de preuve
- preuve formelle
- preuve de programme
- logique mathématique
- démonstration
- complexité
- fuscia
01.09.2011
Description
:
L’ordinateur joue un rôle essentiel dans le travail du mathématicien, en lui permettant de gérer la complexité de certaines preuves.
- mathématiques pour l'informatique
- calcul formel
- théorème des quatre couleurs
- mathématiques discrètes
- coloration graphe
- preuve par ordinateur
- fuscia