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