Cours MPI
Attention
Ce section est en cours de construction. Merci de me signaler les erreurs éventuelles.
Résumés des chapitres
Les résumés numériques suivants vous permettent de revoir le cours. Ils ne sont en aucun cas exhaustifs et ne dispensent certainement pas d'une écoute et d'une prise de notes actives en cours.
- Induction et récurrence
- Langages réguliers, expressions régulières
- Parcours de graphes et algorithme A
- Automates finis
- Arbres couvrants de poids minimal
- Théorème de Kleene
- Logique propositionnelle, logique des prédicats, déduction naturelle
- Apprentissage supervisé
- Décidabilité et complexité
- Grammaires algébriques
- Composantes fortement connexes
- Programmation concurrente
- Apprentissage non supervisé
- Algorithmes probabilistes
- Couplages dans les graphes
- Jeux d'accessibilité
Notions de MP2I
Je mets également ici des documents liés concernant les notions de MP2I. Il est toujours utile de les réviser car elles peuvent évidemment tomber aux concours.
Compléments (hors-programme)
Les documents suivants permettent, à celles et ceux qui le veulent, d'aller un peu plus loin sur les notions vues en cours. Leur lecture est vivement conseillée à celles et ceux qui préparent les concours les plus sélectifs.
- Théorème de Myhill-Nerode et applications
- Langages réguliers et reconnaissance par monoïde
- Lemme d'Arden et applications
- Algorithme de McNaughton et Yamada
- Machines de Turing
- Algorithme CYK
- Analyseurs syntaxiques LL(1)