Programmes officiels :
Le programme MP2I-MPI :
- Méthodes de programmation (MP2I-S1, MP2I-S2, MPI-S34)
- Algorithmes et programmes
- Discipline de programmation
- Validation, test
- Langage C (MP2I-S1, MP2I-S2, MPI-S34)
- Langage OCaml (MP2I-S1, MP2I-S2, MPI-S34)
- Récursivité et induction (MP2I-S1, MP2I-S2)
- Structure de données (MP2I-S1, MP2I-S2, MPI-S34)
- Types et abstraction
- Structures de données séquentielles : listes
- Structures de données hiérarchiques : arbres
- Structures de données relationnelles : graphes
- Algorithmique (MP2I-S2, MPI-S34)
- Algorithmes probabilistes, algorithme d'approximation
- Exploration exhaustive
- Décomposition d'un problème en sous-problèmes
- Algorithmique des textes
- Algorithmique des graphes
- Algorithmique pour l'intelligence artificielle et l'étude des jeux
- Gestion des ressources machines (MP2I-S1, MPI-S34)
- Gestion de la mémoire d'un programme
- Gestion des fichiers et entrées-sorties
- Gestion de la concurrence et synchronisation
- Logique (MP2I-S2, MPI-S34)
- Formules logiques
- Calcul propositionnel
- Déduction naturelle
- Base de données (MP2I-S2)
- Langages formels (MPI-S34)
- Langages réguliers
- Automates finis
- Grammaires non contextuelles
- Décidabilité et classes de complexité (MPI-S34)