19 juin. débuts des oraux à Lille.
22 mai : pont de l’ascension.
8 mai : férié.
???. Fin des modélisations en temps limité : Victor à 13h30, Bastien à 14h30. Tirage au sort à 9h30 et 10h30.
???. suite des modélisations en temps limité : Antoine Domenech à 13h30, Antoine Castillon à 14h30. Tirage au sort à 9h30 et 10h30.
???. début des modélisations en temps limité : Aymeric à 13h30, Gabrielle à 14h30, Ambroise à 15h30. Tirage au sort dans mon bureau (322, aile sud) à 9h30, 10h30 et 11h30.
1er mai : férié.
24 avril. Leçon 921 : Algorithmes de recherche et structures de données associées (Ambroise 3, à distance).
17 avril. Leçon 918 : Systèmes formels de preuve en logique du premier ordre, exemples (Aymeric 3, à distance).
10 avril. Leçon 901 : Structures de données, exemples et applications (Gabrielle 3, à distance).
3 avril: Leçon 907 : Algorithmique du texte (Antoine Domenech 3, à distance).
20 mars. épreuves écrites (repoussées).
13 mars. Leçon 930 : sémantique des langages de programmation, exemples (Victor 3) puis leçon 926. Analyse des algorithmes : complexité. Exemples (Bastien 3).
6 mars. vacances.
28 février. Modélisation : Antoine Domenech (sujet 2010D2) puis leçon 913 : Machines de Turing, applications (Antoine Castillon).
21 février. Modélisation : Gabrielle (sujet 2012D6) et Ambroise (sujet 2006D1).
14 février. Modélisation : Aymeric (sujet 2012D1) et Antoine Castillon (sujet 2012D4).
7 février. Modélisation : Victor (sujet 2012D3) et Bastien (sujet 2012D2).
31 janvier : fin des oraux blancs. Ambroise à 13h30, Bastien à 14h30, Antoine Domenech à 15h30.
24 janvier : ski et agrégation. Oral blanc : Gabrielle (à 13h30, tirage au sort à 10h30).
17 janvier : début oraux blancs : Victor à 13h30, Aymeric à 14h30, Antoine Castillon à 15h30. Tirage au sort dans mon bureau (322, aile sud) à 10h30, 11h30 et 12h30.
10 janvier : méli-mélo de savoureux développements.
3 janvier : vacances.
27 décembre : vacances.
20 décembre : Leçon 929 : Lambda-calcul comme modèle de calcul, exemples (Gabrielle 2).
13 décembre : Leçon 931 : Schémas algorithmiques, exemples et applications (Antoine Castillon 2).
6 décembre : Leçon 932 : Fondements des bases de données relationnelles (Antoine Domenech 2).
29 novembre. Leçon 916. Formules du calcul propositionnel : représentation, formes normales, satisfiabilité, applications (Bastien 2) et leçon 915: classes de complexité, exemples (Ambroise 2).
22 novembre. Leçon 927. Exemples de preuve d'algorithme : correction, terminaison (Aymeric 2). Puis rappel de cours sur les bases de données.
15 novembre. Leçon 923. Analyses lexicales et syntaxique, applications (Victor 2).
8 novembre. Leçon 903. Exemples d'algorithmes de tri, correction et complexité (Gabrielle).
1er novembre : vacances.
25 octobre. Leçon 928. Problèmes NP-complets : exemples et réductions (Antoine Castillon).
18 octobre. Leçon 925. Graphes : représentations et algorithmes (Antoine Domenech).
11 octobre : Leçon 912. Fonctions récursives primitives et non primitives, exemples (Bastien).
4 octobre : Leçon 909. Langages rationnels et automates finis, exemples et applications (Ambroise).
27 septembre : Leçon 924. Théories et modèles en logique du premier ordre, exemples (Aymeric).
20 septembre : Leçon 914. Décidabilité et indécidabilité, exemples (Victor).