Voici les plans rédigés des leçons que j'ai préparé pendant l'année (la plupart avec Vladislav Tempez ou Julien Gabet) ou sur lesquelles je suis passée en oraux blans :
- Leçon 906 sur la programmation dynamique
- Leçon 909 sur les automates finis
- Leçon 912 sur les fonctions primitives récursives
- Leçon 913 sur les machines de Turing
- Leçon 914 sur la décidabilité (oral blanc)
- Leçon 918 sur les systèmes de preuve
- Leçon 919 sur l'unification
- Leçon 928 sur les problèmes NP-complets