Rechercher une ressource pédagogique : coloration de graphe

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

2 résultats
section 1 sur 1
résultats 1 à 2
AUNEGE
AUNEGE
21.07.2008
Modèles d'aide à la décision
Description : Ce cours a pour objectif de sensibiliser à la démarche de l'aide à la décision : analyse d'un problème, modélisation, résolution, analyse de la solution.
  • analyse
  • modélisation
  • résolution de problème
  • graphe
  • ordonnancement
  • programmation linéaire
  • flot maximal
  • voyageur de commerce
  • coloration de graphe
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