2015-18
fiche_maths : un rappel sur les ensembles, les relations
fiche_01 : quelques définitions
fiche_02 : introduction à la notion de preuves (absurde & induction)
preuves_cours_1609 : mise au propre des preuves vues en cours
fiche_03 : un peu de logique propositionnelle
fiche_preuve : logique propositionnelle & preuves (cours du 22.11.17)
exo_mmc01 : feuille d'exercices sur les preuves
exo_mmc01b : feuille de la deuxième semaine TD 2017-2018
exo_mmc02 : feuille d'exercices sur la logique propositionnelle
Les fichiers solutions sont accessibles durant la période de révision