Objectif

S’initier à l’étude de la logique et de l’algèbre classique.

Contenu

Calcul propositionnel, tables de vérité, prédicats, quantificateurs, raisonnements et raisonnement par contradiction. Théorie d’ensembles, unions et intersections finies et infinies, universel et complément. Axiomes de Peano. Principe d’induction mathématique. Relations et fonctions. Fonctions injectives, surjectives et bijectives. Dénombrements. Cardinal d’ensembles finis, infinis dénombrables et infinis non dénombrables.

Mode(s) de prestation

Distance mixte, Hybride à prépondérance en présence, Présence

Formules pédagogiques

Exposés magistraux, résolution de problèmes, ateliers lectures, et classe inversée.