Cet article comporte les vidéos de la conférence de clôture aux journées Nationales donnée dans le cadre des journées nationales de l’APMEP en octobre 2010.
Après une présentation de Gilles Dowek par Sébastien Dassule, Gilles Dowek introduit le problème de l’exclusion mutuelle :

1. Une histoire : deux protocoles pour ouvrir les sas d’un vaisseau spatial
1.1 Le premier protocole
1.2 Le second protocole
1.3 Analyse mathématique du protocole dans le premier vaisseau
1.4 Analyse mathématique du protocole dans le seconde génération de vaisseaux

2. Un troisième protocole / usage d’un témoin
2.1 Principe du protocole
2.2 Mathématisation du protocole
2.3 Calculer ou raisonner

3. La morale de l’histoire / Le problème de l’exclusion mutuelle

4. Mathématisation
4.1 Galilée-Kepler-Maxwell
4.2 Extension du domaine des mathématiques
4.3 Diversification des outils de la modélisation
4.4 Où est la difficulté?
4.5 Mathématiser / Résoudre versus Définir / démontrer
4.6 Qu’attend-on de nos élèves?

Pour conclure : que faire de la notion d’algorithme en classe de mathématiques?