ECTS : 0
Volume horaire : 24
Description du contenu de l'enseignement :
Langage mathématique : énoncés, connecteurs logiques, quantificateurs, types de raisonnement courants.
Notions de base sur les ensembles : union, intersection, produit cartésien.
Applications : définitions, image directe et réciproque de parties, injectivité et surjectivité, bijection réciproque.
Notion d’ensemble fini.
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…