Sommaire
cours / présentation, démonstration
L'ordinateur au cœur de la découverte mathématique
L’ordinateur joue un rôle essentiel dans le travail du mathématicien, en lui permettant de gérer la complexité de certaines preuves....
Date de création :
01.09.2011Auteur(s) :
,Accé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é
L’ordinateur joue un rôle essentiel dans le travail du mathématicien, en lui permettant de gérer la complexité de certaines preuves.
- Granularité : grain
- Structure : atomique
"Domaine(s)" et indice(s) Dewey
- (004.0151)
Domaine(s)
- Informatique
- Informatique théorique
- Informatique
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-5141
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-5141
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
08.01.2007
Description
:
Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.
- méthode formelle
- théorème des quatre couleurs
- coloration de graphe
- conjoncture de Kepler
- Coq
- fuscia
11.12.2008
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.
- preuve de programme
- preuve formelle
- logique mathématique
- démonstration
- Coq
- théorème des quatre couleurs
- fuscia