ECTS : 0
Volume horaire : 24
Description du contenu de l'enseignement :
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.
Compétence à acquérir :
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…