Cours d'option informatique en MPSI
-
Programme de l'option informatique en MP*: lien.
-
TP 1 - Langage OCaml - 31/01/2025
Fichier annexe: TP01-annexe.ml
Correction 1: TP01-correction1.ml
Correction 2: TP01-correction2.ml
Correction rendu: TP01-correction3.ml -
TP 2 - Langage OCaml - 28/02/2025
Correction: TP02-correction1.ml
Correction rendu: TP02-correction2.ml -
TP 3 - Listes chaînées et tableaux - 07/03/2025
Correction: TP03-correction1.ml
Correction rendu: TP03-correction2.ml -
TP 4 - Listes chaînées, tableaux et chaînes de caractères - 15/03/2024
Correction: TP04-correction1.ml
Correction rendu 1: TP04-correction2.ml
Correction rendu 2: TP04-correction3.ml -
TP 5 - Définition de nouveaux types - 25/03/2024
Fichier annexe: TP05-annexe.ml
Correction: TP05-correction1.ml
Correction rendu: TP05-correction2.ml -
TP 6 - Piles, files et dictionnaires - 28/03/2025
Fichier annexe: TP06-annexe.ml
Correction: TP06-correction1.ml
Correction rendu: TP06-correction2.ml -
TP 7 - Piles, files et dictionnaires - 12/04/2024
Correction: TP07-correction1.ml -
DS 1 de l'année 2023/2024 - Perles de Dijkstra
Correction: DS01-2024-correction.pdf --- DS01-2024-correction.ml -
DS 1 - Persistance additive et multiplicative - 24/04/2025
Correction: DS01-correction.pdf --- DS01-correction.ml -
DM - Le compte est bon
-
TP 8 - Complexité et preuves de programmes - 25/04/2025
Correction: TP08-correction.pdf