ENS de Cachan
Département
Informatique
Le département Informatique









Description de l'option informatique de l'agrégation de mathématiques

A partir de la session 2006, l'agrégation de mathématiques propose une option informatique (voir les indications pour la session 2006 ). En bref, les élèves qui choisissent cette option passent, au lieu des épreuves habituelles d'oral, trois épreuves spécifiques:
  • Une leçon de mathématiques. Les sujets constituent un sous-ensemble des leçons proposées dans les épreuves d'analyse et d'algèbre des autres options. 25 sujets d'analyse et 25 sujets d'algèbre sont prévus pour cette leçon de mathématiques.
  • Une leçon d'informatique théorique. 25 sujets sont prévus pour cette leçon d'informatique fondamentale.
  • Une épreuve appelée "analyse de systèmes informatiques"
On pourra consulter un extrait des textes légaux ainsi que le numéro spécial du BO qui définit les programmes des concours pour l'année prochaine.

La préparation à l'ENS de Cachan

Pour assurer la préparation des deux épreuves nouvelles d'informatique l'ENS Cachan propose la maquette suivante (Volume= 9h hebdomadaire) :
  • Des séances de révisions/approfondissement du programme, proposées sous forme de séances d'exercices et de suggestions de lectures, le cas échéant completées par des cours de mise a niveau.
  • Des séances de préparation spécifique des leçons d'informatique. Dans la mesure du possible (selon les effectifs de la préparation) chaque leçon devra être présentée par un élève, après avoir pris connaissance des références bibliographiques pertinentes.
  • Des conférences d'intérêt général ayant pour but d'aider à la préparation de l'épreuve d'analyse de systèmes informatiques ainsi que des séances de préparation spécifiques à cette épreuve.
  • Des oraux blancs pour les deux épreuves spécifiques de l'option informatique.

Les élèves interessés par cette préparation sont invités a prendre contact avec Paul[point]Gastin[arobase]lsv[point]ens-cachan[point]fr

Les élèves souhaitant intégrer cette préparation doivent envoyer leur candidature format doc ou pdf au secrétariat du département d'informatique.

Informations pratiques

La préparation de l'option informatique débutera le 18 septembre 2006.

Toutes les informations sur la préparation à l'option info de l'agrégation de mathématiques seront diffusées sur la mailing liste agreg-info-06-07@dptinfo.ens-cachan.fr
Les étudiants qui suivent la préparation doivent donc s'inscrire sur cette liste.

Les supports de cours/TD

  1. Algorithmique fondamentale
  2. Automates et langages
  3. Calculabilité, décidabilité et complexité
  4. Logique et démonstration
  5. Programmation, langages, compilation

L'emploi du temps

Le planning de la préparation à l'option informatique est indiqué ci-dessous.
Les informations les plus à jour se trouvent toujours en premier sur cette page.

Les séances de TD visent à fournir des exemples, exercices, développements, ... qui pourront être utilisés pour la préparation des leçons. Elles sont aussi conçues comme des compléments sur les parties du programmes qui ne seraient pas acquises.

L'emploi du temps (math + info) de la préparation à l'agrégation de l'ENS Cachan peut être consulté ici. Planning.jpg

DateSalleObjet
lundi 18/09
9h00-12h00
Cournot 405 TD Programmation, Lozes
lundi 18/09
13h30-16h30
Cournot 405 TD algorithmique, Laroussinie
mardi 19/09
9h00-12h00
Cournot 405 TD langages, Chevalier
lundi 25/09
9h00-12h00
Cournot 405 TD Programmation, Lozes
lundi 25/09
13h30-16h30
Cournot 405 TD langages, Chevalier
mardi 26/09
13h30-16h30
Cournot 405 TD algorithmique, Laroussinie
lundi 2/10
9h00-12h00
Cournot 405 TD Programmation, Lozes
lundi 2/10
13h30-16h30
Cournot 405 TD algorithmique, Laroussinie
mardi 3/10
9h00-12h00
Cournot 405 TD langages, Chevalier
lundi 9/10
9h00-12h00
Cournot 405 TD Programmation, Lozes
lundi 9/10
13h30-16h30
Cournot 405 TD algorithmique, Laroussinie
mardi 10/10
9h00-12h00
Cournot 405 TD langages, Chevalier
lundi 16/10
9h00-12h00
Cournot 208 TD Logique, Messika
lundi 16/10
13h30-16h30
Cournot 208 TD langages, Chevalier
mardi 17/10
9h30-12h30
Cournot 405 TD Calculabilité, Rosaz
lundi 23/10
9h00-12h00
Cournot 208 TD Logique, Messika
lundi 23/10
13h30-16h30
Cournot 208 TD langages, Chevalier
mardi 24/10
9h30-12h30
Cournot 405 TD Calculabilité, Rosaz
lundi 6/11
9h00-12h00
Cournot 208 TD Logique, Messika
lundi 6/11
13h30-16h30
Cournot 208 TD langages, Chevalier
mardi 7/11
9h30-12h30
Cournot 405 TD Calculabilité, Rosaz
lundi 13/11
9h00-12h00
Cournot 208 TD Logique, Messika
lundi 13/11
13h30-16h30
Cournot 208 TD langages, Chevalier
mardi 14/11
9h30-12h30
Cournot 405 TD Calculabilité, Rosaz
lundi 20/11
9h00-12h00
Cournot 208 TD Logique, Comon-Lundh
lundi 20/11
13h30-16h30
Cournot 208 TD langages, Chevalier
mardi 21/11
9h30-12h30
Cournot 405 TD Calculabilité, Rosaz
lundi 27/11
9h00-12h00
Cournot 208 TD algorithmique, Laroussinie
lundi 27/11
13h30-16h30
Cournot 208 TD Logique, Comon-Lundh
mardi 28/11
9h30-12h30
Cournot 405 TD Calculabilité, Rosaz
lundi 4/12
9h00-12h00
Cournot 208 TD Programmation, Lozes
lundi 4/12
13h30-16h30
Cournot 208 TD algorithmique, Laroussinie
lundi 11/12
9h00-12h00
Cournot 208 TD Programmation, Lozes
lundi 11/12
13h30-16h30
Cournot 208 TD algorithmique, Laroussinie
mardi 12/12
9h30-12h30
Cournot 405 TD Calculabilité, Rosaz
lundi 18/12
9h00-12h00
Cournot 208 TD Programmation, Lozes
lundi 18/12
13h30-16h30
Cournot 208 TD algorithmique, Laroussinie
mardi 19/12
9h30-12h30
Cournot 405 TD Calculabilité, Rosaz
lundi 8/01
9h30-12h30
Cournot 208 Paul Gastin et Jacques Sakarovitch
Leçon 908 Automates finis. Exemples et applications. Cédric BLANTY
Leçon 909 Langages rationnels. Exemples et applications. Yannick LE BRAS
lundi 8/01
14h-17h
Cournot 208 TD Modélisation, Lozes et Messika
mardi 9/01
9h30-12h30
Cournot 405 TD Calculabilité, Rosaz
lundi 15/01
9h30-12h30
Cournot 208 Paul Gastin et Jacques Sakarovitch
Leçon 910 Langages algébriques. Exemples et applications. Cédric BLANTY
Leçon 911 Automates à pile ; puissance et limites. Guillaume BATOG
lundi 15/01
14h00-17h00
Cournot 208 TD algorithmique, Laroussinie
mardi 16/01
9h30-12h30
Cournot 405 TD Calculabilité, Rosaz
lundi 22/01
9h30-12h30
Cournot 208 TD Programmation, Lozes
lundi 22/01
14h00-17h00
Cournot 208 TD algorithmique, Laroussinie
mardi 23/01
9h30-12h30
Cournot 208 TD Modélisation, Lozes et Messika
lundi 29/01
9h30-12h30
Cournot 208 TD Programmation, Lozes
lundi 29/01
14h00-17h00
Cournot 208 Philippe Chrétienne et Paul Gastin
Leçon 901 Exemples de structures de données et de leurs applications. Guillaume BATOG
Leçon 904 Arbres binaires de recherche. Applications. Cédric AUGER
lundi 5/02
9h30-12h30
Cournot 208 TD Modélisation, Lozes et Messika
lundi 5/02
14h00-17h00
Cournot 208 Philippe Chrétienne et François Laroussinie
Leçon 903 Exemples d'algorithmes de tri : complexité. Cédric AUGER
Leçon 905 Parcours de graphes : exemples et applications. Yannick LE BRAS
mardi 6/02
9h30-12h30
Cournot 208 TD Logique, Messika
lundi 12/02
9h30-12h30
Cournot 208 Paul Gastin et Laurent Rosaz
Leçon 912 Fonctions récursives primitives et non primitives. Guillaume BATOG
Leçon 915 Classes P et NP, NP-complétude. Exemples. Yannick LE BRAS
lundi 12/02
14h00-17h00
Cournot 208 TD Logique, Comon-Lundh
mardi 13/02
9h30-12h30
Cournot 208 TD Logique, Messika
lundi 19/02
9h30-12h30
Cournot 208 TD Modélisation, Lozes et Messika
lundi 19/02
14h00-17h00
Cournot 208 TD Logique, Comon-Lundh
mardi 20/02
9h30-12h30
Cournot 208 TD Logique, Messika
lundi 05/03
14h00-17h00
Cournot 208 Hubert Comon et Jean Goubault
Leçon 916 Formules booléennes. Représentation et satisfiabilité. Cédric BLANTY
Leçon 917 Logique du premier ordre : syntaxe et sémantique. Guillaume BATOG
lundi 12/03
9h30-12h30
Cournot 208 TD Logique, Comon-Lundh
lundi 12/03
14h00-17h00
Cournot 208 Philippe Chrétienne et François Laroussinie
Leçon 902 Diviser pour régner : exemples et applications. Yannick LE BRAS
Leçon 906 Programmation dynamique : exemples et applications. Cédric BLANTY
mardi 13/03
9h30-12h30
Cournot 208 TD Modélisation, Lozes et Messika
lundi 19/03
9h30-12h30
Cournot 208 Paul Gastin et Laurent Rosaz
Leçon 913 Machines de Turing. Cédric AUGER
Leçon 914 Décidabilité et indécidabilité. Cédric BLANTY
lundi 02/04
9h30-12h30
Cournot 208 TD Modélisation, Lozes et Messika
lundi 02/04
14h00-17h00
Cournot 208 Jean Goubault et Etienne Lozes
Leçon 921 Langages typés : objectifs, mise en oeuvre, application. Guillaume BATOG
Leçon 922 Description sémantique des langages de programmation. Yannick LE BRAS
lundi 23/04
14h00-17h00
Cournot 208 Hubert Comon et Jean Goubault
Leçon 918 Méthode de résolution, programmation logique. Guillaume BATOG
Leçon 919 Unification : algorithmes et applications. Yannick LE BRAS
lundi 30/04
9h30-12h30
Cournot 208 TD Modélisation, Lozes et Messika
lundi 30/04
14h00-17h00
Cournot 208 Jean Goubault et Etienne Lozes
Leçon 923 Analyses lexicale et syntaxique : principes, mise en oeuvre, applications. Guillaume BATOG
Leçon 924 Typage statique : objectifs, mise en oeuvre, applications. Cédric AUGER
lundi 07/05
9h30-12h30
Cournot 208 TD Modélisation, Lozes et Messika
lundi 07/05
14h00-17h00
Cournot 208 Paul Gastin et François Laroussinie pour la 907, Jean Goubault et Etienne Lozes pour la 925
Leçon 907 Algorithmique du texte : exemples et applications. Cédric BLANTY
Leçon 925 Génération de code pour une machine à pile : principes, mise en oeuvre, applications. Cédric AUGER
lundi 28/05
10h00-11h30
Cournot 208 Hubert Comon et Jean Goubault
Leçon 920 Réécritures et formes normales. Guillaume BATOG
Vendredi 15/06
13h00-18h00
Cournot 411 Oraux blancs - Leçons : Hubert Comon, Paul Gastin, Jean Goubault, François Laroussinie et Etienne Lozes
13h00 : Auger Cédric. Convocation 3h10 avant à la bibliothèque de l'ENS de Cachan
14h15 : Batog Guillaume. Convocation 3h10 avant à la bibliothèque de l'ENS de Cachan
15h30 : Blanty Cédric. Convocation 3h10 avant à la bibliothèque de l'ENS de Cachan
16h45 : Le Bras Yannick. Convocation 3h10 avant à la bibliothèque de l'ENS de Cachan
Mardi 19/06
14h00-17h00
Cournot 411 Oraux blancs - Modélisation : Etienne Lozes et Stéphane Messika
14h00 : Auger Cédric. Convocation 4h10 avant à la bibliothèque de l'ENS de Cachan
15h30 : Batog Guillaume. Convocation 4h10 avant à la bibliothèque de l'ENS de Cachan
Mercredi 20/06
14h00-17h00
Cournot 411 Oraux blancs - Modélisation : Etienne Lozes et Stéphane Messika
14h00 : Blanty Cédric. Convocation 4h10 avant à la bibliothèque de l'ENS de Cachan
15h30 : Le Bras Yannick. Convocation 4h10 avant à la bibliothèque de l'ENS de Cachan
Planning.jpg


Contacter le Département Informatique
Dernières modifications : le 25/07/2007