Option informatique de l'agrégation de mathématiques

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

• 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"

La préparation à l'ENS de Cachan

• 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 PaulGastinlsvens-cachanfr

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

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

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.

Date	Salle	Objet
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