Ressource pédagogique : Du rêve à la réalité des preuves
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....
Mots-clés :
cours / présentation, démonstration - Date de création : 01-08-2011
Présentation de: Du rêve à la réalité des preuves
Informations pratiques sur cette ressource
Français
Type pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Langue de l'apprenant : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu de l'utilisateur : 18+
Droits : 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 pédagogique
Description (résumé)
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.
- Granularité : grain
- Structure : atomique
"Domaine(s)" et indice(s) Dewey
- (005.131)
Thème(s)
Informations pédagogiques
Informations techniques sur cette ressource pédagogique
Intervenants, édition et diffusion
Intervenants
Créateur(s) de la métadonnée : Marie-Hélène Comte
Editeur(s)
-
Institut National de Recherche en Informatique et en Automatique / Interstices
Voir toutes les ressources pédagogiques
Diffusion
AUTEUR(S)
-
Jean-Paul Delahaye
Université Lille 1
ÉDITION
Institut National de Recherche en Informatique et en Automatique / Interstices
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-5281 -
Identifiant
unit-ori-wf-1-5281 -
Statut de la fiche
final -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
UNIT -
Date de publication
08-06-2012
