Soutien Informatique MPI(⋆|𝜀)
Formulaire de Feedback
Serveur Discord
Fiches de révision
Fiches outils
Sujets de TPs/TDs
TPs OCaml
TDs Notations
TDs Applications
Il s’agit d’un fichier unique contenant les notions ci-dessous. Le corrigé est à la fin du document. Le but est de s’entraîner pour les concours écrits et/ou oraux, avec des exercices d’application du cours.
Le document est accessible ici.
Ce document évoluera au fur et à mesure de l’année avec des notions supplémentaires.
- Mise sous forme normale disjonctive [WIP]
- Mise sous forme normale conjonctive
- Algorithme de Quine
- Déterminisation d’automates
- Suppression des 𝜀-transitions [WIP]
- Algorithme d'Ă©limination d'Ă©tats [WIP]
- Algorithme de Berry-Sethi
- Preuve/construction d'automates locaux [WIP]
- Preuve de langages non réguliers
- Clôture des langages réguliers [WIP]
- Reconnaissance du type d'algorithme probabiliste [WIP]
- Algorithme ID3 [WIP]
TPs C
Corrigés de TPs/TDs
TPs OCaml
TDs Notations
-
TD 1 Circuits booléens linéaires [pas encore de corrigé]
TPs C
Outils interactifs
Agenda
- 09/11/2023. Séance d’information/organisation
- 16/11/2023. TP OCaml n°1, Le jeu du solitaire
- 23/11/2023. TP C n°1, Tri de bâtons
- 30/11/2023. TD Notations n°1, Circuits booléens linéaires