Semestre 1 - MPSI

• A. Introduction
• B. Listes inductives en OCaml
• C. Programmation impérative en OCaml
• D. De la logique avant toute chose
• E. Arbres binaires
• F. Arbres génériques et préfixes
• G. Piles et files

Semestre 2 - MP

• 0. Révisions
• A. Exploration et retour sur trace
• B. Structure de tas et applications
• C. Graphes avancés
• E. Langages, expressions rationnelles et automates

Semestre 3 - MP

• A. Des expressions rationnelles aux automates et réciproquement
• B. Au-delà des langages réguliers
• C. Déduction naturelle
• D. Révisions