(pdf, 12/12/2025, 115 ko) activation_NP
(pdf, 23/01/2026, 1 Mo) Corr_td_sequents
(pdf, 08/01/2026, 145 ko) deduction_logique_premier_ordre
(pdf, 21/11/2025, 1 Mo) TDjeux
(pdf, 05/12/2025, 199 ko) td_approx
(pdf, 12/12/2025, 182 ko) td_chomp
(pdf, 08/01/2026, 150 ko) td_incompl_logique(02_02)
(pdf, 08/01/2026, 263 ko) TD_Karger(19_01)
(pdf, 08/01/2026, 104 ko) td_prima
(pdf, 01/01/2026, 84 ko) td_proba_logique(05_01)
(pdf, 12/11/2025, 110 ko) td_reductions
(pdf, 08/01/2026, 155 ko) TD_sequent(26_01)