Les jeudis 12 et 19 décembre 2019, Marie-Line Chabanol et Géraud Sénizergues sont venus au laboratoire pour donner deux cours sur la logique mathématique.
Documents relatifs aux deux cours:
Axiomatique Exemple_de_preuve Logique_LaboMath_1 Logique_LaboMath(3) Memo_logique
Commentaires récents