Cours d'option informatique en MP*
-
Programme de l'option informatique en MP*: lien.
-
Learn-Ocaml: lien.
-
TP 1 - Arbres de preuve en logique propositionnelle - 11/09/2025
Correction: TP01-correction.pdf -
DS 1 - Résolution du jeu de « Sudoku » par écriture de formules logiques (sujet Centrale-Supélec 2014) - 19/09/2025
Correction: DS01-correction.pdf --- DS01-correction.ml
Rapport du jury -
DM 1 - Ensemble dominant dans les graphes (TP algo ENS 2022)
-
DS 2 - Sujet Mines-Pont 2020 - 10/10/2025
Correction: DS02-correction.pdf --- DS02-correction.ml
Rapport du jury -
TP 2 - Mots et langages - 09/10/2025
Correction: TP02-correction.pdf --- TP02-correction.ml