Semestre 1 - MPSI

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

Semestre 2 - MP

• A. Exploration et retour sur trace
• B. Structure de tas et applicationts
• C. Graphes avancés
• D. Arbre recouvrant mimimal et applications
• 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