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.
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 Gastin lsv ens-cachan 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.
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.
- Algorithmique fondamentale
- Automates et langages
- Calculabilité, décidabilité et complexité
- Logique et démonstration
- Programmation, langages, compilation
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.
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
|
Contacter le Département Informatique Dernières modifications : le 25/07/2007 |