Informatique / Detrez 2025
(9 documents) Cours
(8 documents) DS
(18 documents) TD (DM)
(1 répertoire, 8 documents) TP
(pdf, 25/01/2026, 298 ko) Exercices corrigés de déduction naturelle (version du 25-02-2026)
(pdf, 05/07/2025, 76 ko) Rappels C et OCaml grand format
