Lecturer in charge : Pascal BOILLOT
Language of instruction : French
Teaching hours : 24
Course content:
Langage mathématique : énoncés, propositions, connecteurs logiques, quantificateurs. Méthodes de démonstration : implication, contraposée, équivalence, absurde, récurrence, analyse-synthèse. Notions de base sur les ensembles : construction, inclusion, intersection, union, produit cartésien.
Skills to be acquired:
Comprendre ce qu'est une affirmation mathématique, ce qu'est une démonstration mathématique, apprendre à démarrer et à rédiger rigoureusement une démonstration. Présenter les objets nécessaires : quantificateurs, ensembles…