Éléments de logique et d’algèbre classique

3,0 credits · Premier cycle

S’initier à l’étude de la logique et de l’algèbre classique. 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.