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)
Correction: DM01-correction.ml
Rapport du jury (avec correction) -
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 -
DS 3 - Arbres couvrants et pavages (sujet Centrale-Supélec 2021) - 07/11/2025
Correction: DS03-correction.pdf --- DS03-correction.ml
Rapport du jury -
TP 3 - Automates finis - 20/11/2025
Correction: TP03-correction.pdf -
DS 4A - Nombre chromatique et coloriage de graphe (X/ENS 2018) - 05/12/2025
Correction: DS04A-correction.pdf --- DS04A-correction.ml
Rapport du jury -
DS 4B - Sujet CCINP 2024 - 05/12/2025
Correction: DS04B-correction.pdf --- DS04B-correction.py --- DS04B-correction.ml
Rapport du jury