Cours d'option informatique en MPSI
-
Présentation option - 05/12/2023
-
TP 1 - Langage OCaml - 02/02/2024
Fichier annexe: TP01-annexe.ml
Correction: TP01-correction1.ml
Correction rendu: TP01-correction2.ml -
TP 2 - Langage OCaml - 16/02/2024
Correction: TP02-correction1.ml
Correction rendu: TP02-correction2.ml -
TP 3 - Listes chaînées et tableaux - 23/02/2024
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 - 29/03/2024
Fichier annexe: TP05-annexe.ml
Correction: TP05-correction1.ml
Correction rendu: TP05-correction2.ml -
DS 1 de l'année 2022/2023 - Persistance additive et multiplicative
Correction: DS01-2023-correction.pdf --- DS01-2023-correction.ml -
DS 1 - Perles de Dijkstra - 04/04/2024
Correction: DS01-correction.pdf --- DS01-correction.ml -
TP 6 - Piles et files - 05/04/2024
Fichier annexe: TP06-annexe.ml
Correction: TP06-correction1.ml
Correction rendu: TP06-correction2.ml -
TP 7 - Dictionnaires et files de priorité - 12/04/2024
Correction: TP07-correction1.ml
Correction rendu: TP07-correction2.ml -
TP 8 - Complexité et preuves de programmes - 19/04/2024
Correction: TP08-correction.pdf -
DM - Le compte est bon