🚡 Agrégation
J’ai passé en 2018 l’agrégation de mathématiques option informatique, qui a depuis disparu au profit d’une véritable agrégation d’informatique dont la première session a eu lieu en 2022.
La page de l’actuelle agrégation d’informatique est disponible en ligne. La page de l’agrégation de mathématiques est agreg.org. Et les rapports de jurys sont disponibles dans l’onglet rapports.
Durant ma préparation à l’agrégation, j’ai créé, comme de nombreux candidats, un super PDF qui m’a servi de base pour ma préparation, et qui ne sera jamais terminé.
Par ailleurs, Emilie Grienenberger, Gaëtan Douéneau, Charlie Jacomme et moi-même avons entrepris la création de fiches pour préparer l'agrégation de mathématique option informatique. Malheureusement, ces fiches ne sont plus à jour par manque de temps, et aussi car cette option a disparu de l'agrégation de mathématiques au profit d'une véritable agrégation d'informatique.
Quelques ressources peuvent rester utiles comme le site agreg-maths, la minerve de l’ENS Rennes. Ou god.pdf et son symérique dog.pdf.
À l’époque, les sujets de leçon de l’agrégation de mathématique option informatique étaient les suivants.
- 901. Structures de données. Exemples et applications. PDF
- 902. Diviser pour régner. Exemples et applications.
- 903. Exemples d’algorithmes de tri. Correction et complexité. PDF
- 906. Programmation dynamique. Exemples et applications.
- 907. Algorithmique du texte. Exemples et applications. PDF
- 909. Langages rationnels et automates finis. Exemples et applications. PDF
- 912. Fonctions récursives primitives et non primitives. Exemples. PDF
- 913. Machines de Turing. Applications. PDF
- 914. Décidabilité et indécidabilité. Exemples. PDF
- 915. Classes de complexité. Exemples. PDF
- 916. Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications. PDF
- 918. Systèmes formels de preuves en logique du premier ordre. Exemples. PDF
- 921. Algorithmes de recherche et structures de données associées.
- 923. Analyse lexicale et syntaxique. Applications.
- 924. Théories et modèles en logique du premier ordre. Exemples.
- 925. Graphes. Représentations et algorithmes.
- 926. Analyse des algorithmes, complexité. Exemples.
- 927. Exemples de preuve d’algorithme, correction, terminaison.
- 928. Problèmes NP-complets. Exemples et réduction.
- 929. Lambda-calcul pur comme modèle de calcul. Exemples. PDF
- 930. Sémantique des langages de programmation. Exemples. PDF