Disclaimer
Ces fiches sont pensées comme des fiches de révisions pour l’option informatique de l’agrégation de mathématiques. Elle n’ont pas à vocation à donner des plans de leçons, mais plutôt à servir comme une base de réflexion pour les agrégatifs souhaitant préparer leur leçon.
Il y a une fiche par leçons, d’une page recto-verso, contenant :
- L’extrait pertinent du rapport du jury.
- Les indispensables, le coeur de la leçon, à absolument mettre dans le plan pour cette leçon.
- Les “à savoir”, ce qui est au programme (et donc le jury peut poser des questions dessus) et qui rentre naturellement dans la leçons, mais tout mettre n’est pas obligatoire.
- Des idées d’ouverture, hors programme. Attention, terrain dangereux, ne s’aventurer qu’en cas de maitrise car on ouvre la porte aux questions.
- Des questions classiques du jury. Vous devriez savoir y répondre, ou au moins y réfléchir. Essayez d’inventer ses propres questions est un exercice fructueux.
- Des conseils et remarques générales sur la leçons.
- Des références, avec des commentaires. Il est déconseillé d’avoir trop de références pour une seule leçon.
- Des dévellopements possibles, avec des commentaires. Peu fournis, avec uniqument des idées de bases.
Elles ne refletent que l’avis de quelques personnes indépendantes du concours et ne sont pas toujours terminés. Le rapport reste la vérité, imprimez le, et suivez le.
Les fiches (20/21)
- 901 - Structures de données. Exemples et applications.
- 903 - Exemples d’algorithmes de tri. Correction et complexité.
- 907 - Algorithmique du texte. Exemples et applications.
- 909 - Langages rationnels et automates finis. Exemples et applications.
- 912 - Fonctions récursives primitives et non primitives. Exemples
- 913 - Machines de Turings. Applications.
- 914 - Décidabilité et indécidabilité. Exemples.
- 915 - Classes de complexité. Exemples
- 916 - Formules du calcul propositionnel : Représentation, formes normales, satisifiabilité. Applications.
- 918 - Systèmes formels de preuve en logique du premier ordre. Exemples.
- 923 - Analyses 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éductions
- 929 - Lambda-calcul pur comme modèle de calcul. Exemples.
- 930 - Sémantique des langages de programmation. Exemples.
- 931 - Schémas algorithmiques. Exemples et applications.
- 932 - Fondements des bases de données relationnelles
Il y a par ailleurs un fichier contenant toutes les références et développements.
Mise à jour
Consulter le readme du dépot si vous voulez participer aux fiches.