Cours d'option informatique en MP*
-
Programme de l'option informatique en MPSI et MP*: lien.
-
TP 1 - Arbres couvrants de poids minimal - 14/09/2023
Correction: TP01-correction.pdf --- TP01-correction.ml -
DS 1 - Arbres couvrants et pavages (sujet Centrale 2021) - 22/09/2023
Correction: DS01-correction.pdf --- DS01-correction.ml
Rapport du jury -
TP 2 - Couplages dans un graphe biparti - 28/09/2023
Correction: TP02-correction.pdf --- TP02-correction.ml -
TP 3 - Jeu du solitaire - Concours commun Mines-Ponts 2021 - 05/10/2023
-
DS 2 - Nombre chromatique et coloriage de graphe (sujet X/ENS 2018) - 13/10/2023
Correction: DS02-correction.pdf --- DS02-correction.ml
Rapport du jury -
TP 4 - Files de priorité - 19/10/2023
Correction: TP04-correction.pdf --- TP04-correction.ml -
TP 5 - Retour sur trace - 09/11/2023
Correction: TP05-correction.pdf --- TP05-correction.ml -
TP 6 - Arbres bouc-émissaires - 23/11/2023
Correction: TP06-correction.pdf --- TP06-correction.ml -
DS 3 - Sujet Mines-Ponts 2020 - 24/11/2023
Correction: DS03-correction.pdf --- DS03-correction.ml
Rapport du jury -
TP 7 - Arbres de preuve en logique propositionnelle - 07/12/2023
Correction: TP07-correction.pdf -
DS 4 - Un algorithme de tri (sujet Centrale 2016) - 08/12/2023
Correction: DS04-correction.pdf --- DS04-correction.ml
Rapport du jury -
TP 8 - Théorème de complétude en logique propositionnelle - 21/12/2023
Correction: TP08-correction.pdf --- TP08-correction.ml -
DS 5 - Formules logiques pour la résolution du sudoku (sujet Centrale 2014) - 12/01/2024
Rapport du jury -
TP 9 - Mots et langages - 18/01/2024
Correction: TP09-correction.pdf --- TP09-correction.ml -
TP 10 - Automates finis - 01/02/2024
Correction: TP10-correction.pdf -
DS 6 - Automates et langages (sujet Centrale 2022) - 23/02/2024
Correction: DS07-correction.pdf --- DS07-correction.ml
Rapport du jury -
TP 11 - Langages rationnels - 14/03/2024
Correction: TP11-correction.pdf