Cours d'option informatique en MPSI
-
Programme de l'option informatique en MPSI: lien.
-
TP 1 - Langage OCaml - 30/01/2026
Fichier annexe: TP01-annexe.ml
Correction 1: TP01-correction1.ml
Correction 2: TP01-correction2.ml
Correction rendu: TP01-correction3.ml -
TP 2 - Langage OCaml - 13/02/2026
Correction: TP02-correction1.ml
Correction rendu: TP02-correction2.ml -
TP 3 - Listes chaînées et tableaux - 06/03/2026
Correction: TP03-correction1.ml
Correction rendu: TP03-correction2.ml -
TP 4 - Listes chaînées, tableaux et chaînes de caractères - 13/03/2026
Correction: TP04-correction1.ml
Correction rendu 1: TP04-correction2.ml
Correction rendu 2: TP04-correction3.ml -
TP 5 - Définition de nouveaux types - 27/03/2026
Fichier annexe: TP05-annexe.ml
Correction: TP05-correction1.ml
Correction rendu: TP05-correction2.ml -
TP 6 - Piles, files et dictionnaires - 03/04/2026
Fichier annexe: TP06-annexe.ml
Correction: TP06-correction1.ml
Correction rendu: TP06-correction2.ml -
TP 7 - Piles, files et dictionnaires - 10/04/2026
Correction: TP07-correction1.ml
Correction rendu: TP07-correction2.ml -
TP 8 - Complexité et preuves de programmes - 29/04/2026
Correction: TP08-correction.pdf -
DS 1 de l'année 2024/2025 - Persistance additive et multiplicative
Correction: DS01-2024-correction.pdf --- DS01-2024-correction.ml -
DS 1 - Chaînes d'additions - 30/04/2026
Correction: DS01-correction.pdf --- DS01-correction.ml -
DM - Le compte est bon
Correction: DM01-correction.ml -
TP 9 - Arbres - 22/05/2026
Correction: TP09-correction1.ml
Correction rendu: TP09-correction2.ml -
TP 10 - Arbres - 29/05/2026
Fichier annexe: TP10-annexe.ml
Correction: TP10-correction1.pdf --- TP10-correction1.ml
Correction rendu: TP10-correction2.pdf --- TP10-correction2.ml -
TP 11 - Arbres binaires de recherche - 05/06/2026
Fichier annexe: TP11-annexe.ml
Correction: TP11-correction1.pdf --- TP11-correction1.ml
Correction rendu: TP11-correction2.pdf --- TP11-correction2.ml -
DS 2 de l'année 2024/2025 - Numérotation de Sosa
Correction: DS02-2024-correction.pdf --- DS02-2024-correction.ml -
DS 2 - Arbres cartésiens - 10/06/2026
Correction: DS02-correction.pdf --- DS02-correction.ml -
TP 12 - Algorithmes diviser pour régner - 18/06/2024
Correction: TP12-correction.pdf --- TP12-correction.ml -
TP 13 - Logique propositionnelle - 20/06/2025
Correction: TP13-correction.pdf -
TP 14 - Logique - 26/06/2025