Rechercher une ressource pédagogique : théorème des quatre couleurs

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

3 résultats
section 1 sur 1
résultats 1 à 3
UNIT
UNIT
01.09.2011
L'ordinateur au cœur de la découverte mathématique
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
UNIT
UNIT
11.12.2008
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.
  • preuve de programme
  • preuve formelle
  • logique mathématique
  • démonstration
  • Coq
  • théorème des quatre couleurs
  • fuscia
UNIT
UNIT
08.01.2007
Preuves formelles, preuves calculatoires
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