2 ressources en auto-formation : coloration de graphe

FILTRES

2 résultats
page 1 sur 1
Résultats de 1 à 2
Présentation de la ressource en auto-formation Modèles d'aide à la décision cours / présentation, animation, exercice, autoévaluation, liste de références, scénario pédagogique
21/07/2008
Modèles d'aide à la décision
Auteur(s) : CHARLES Anne-Marie
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.
Présentation de la ressource en auto-formation Preuves formelles, preuves calculatoires cours / présentation, démonstration
19/03/2007
Preuves formelles, preuves calculatoires
Auteur(s) : Werner Benjamin
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.