Axe 3 : la logique mathématique

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

 

Lien Permanent pour cet article : https://blogpeda.ac-bordeaux.fr/labomaths-max-linder-libourne/axe-3-la-logique-mathematique/