Semestre 1 - MPSI

• A. Introduction
• B. Programmation impérative en OCaml
• C. Listes inductives en OCaml
• D. De la logique avant toute chose
• E. Arbres binaires
• F. Arbres génériques et préfixes
• G. Piles et files
• H. Graphes : représentation et parcours récursifs
• I. Enregistrements

Semestre 2 - MP

• 0. Révisions
• A. Exploration et retour sur trace
• B. Structure de tas et applications
• C. Graphes avancés
• D. 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