Cours d'option informatique en MP*
-
Programme de l'option informatique en MP*: lien.
-
Learn-Ocaml: lien.
-
TP 1 - Arbres couvrants de poids minimal - 12/09/2024
Correction 1: TP01-correction1.pdf --- TP01-correction1.ml
Correction 2: TP01-correction2.pdf --- TP01-correction2.ml -
DS 1 - Jeux à un joueur et solutions optimales (sujet X/ENS 2017) - 20/09/2024
Correction: DS01-correction.pdf --- DS01-correction.ml
Rapport du jury -
TP 2 - Couplages dans un graphe biparti - 26/09/2024
Correction 1: TP02-correction1.pdf --- TP02-correction1.ml
Correction 2: TP02-correction2.pdf -
TP 3 - Codes correcteurs d'erreurs - 03/10/2024
Correction: TP03-correction.pdf --- TP03-correction.ml -
DS 2 - Code binaire de Gray (sujet Centrale 2019) - 11/10/2024
Correction: DS02-correction.pdf --- DS02-correction.ml
Rapport du jury -
TP 4 - Files de priorité - 17/10/2024
Correction: TP04-correction.pdf --- TP04-correction.ml -
DM 1 - Des marches dans les graphes (TP d'algo ENS 2023)
Correction: DM01-correction.ml
Rapport du jury -
DS 3 - Arbres combinatoires (sujet X/ENS 2012) - 08/11/2024
Correction 1: DS03-correction.pdf --- DS03-correction.ml
Correction 2: x2012-correction.ml
Rapport du jury -
TP 5 - Mots et langages - 14/11/2024
Correction: TP05-correction.pdf --- TP05-correction.ml -
TP supplémentaire 1 - Arbres AVL
Correction: TPS01-correction.pdf --- TPS01-correction.ml -
DS 4 - Choix du pivot dans le tri rapide (sujet Centrale 2012) - 06/12/2024
Correction: DS04-correction.pdf --- DS04-correction.ml
Rapport du jury -
TP 6 - Automates finis - 12/12/2024
Correction: TP06-correction.pdf -
DM 2 - Affectation de maisons (TP d'algo ENS 2024)
Correction: DM02-correction.ml
Rapport du jury -
TP 7 - Langages rationnels - 23/01/2025
Correction: TP07-correction.pdf -
DS 5 - Réduction d'automates - Sujet Mines-Ponts 2019 - 31/01/2025
Correction: DS05-correction.pdf --- DS05-correction.ml
Rapport du jury -
TP 8 - Retour sur trace - 06/02/2025
Correction: TP08-correction.pdf --- TP08-correction.ml -
DM 3 - Comptage de mots reconnus par un automate (TP d'algo ENS 2021)
Correction: DM03-correction.pdf
Rapport du jury: DM03-rapportJury.pdf -
TP 9 - Arbres de preuve en logique propositionnelle - 06/03/2024
Correction: TP09-correction.pdf -
DS 6 - Le problème de la satisfiabilité logique - Sujet Mines-Ponts 2010 - 07/03/2025
Correction 1 --- Correction 2 -
TP 10 - Théorème de complétude en logique propositionnelle - 20/03/2025
Correction: TP10-correction.pdf --- TP10-correction.ml -
TP 11 - Quadtree - 27/03/2025
TP11-correction.ml -
DS 7 - Attrape-moi si tu peux (sujet ENS info-maths 2019) - 28/03/2025
Correction -
DS 7 bis - Sujet Centrale 2023 - 28/03/2025
Correction