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

Pour confirmer le ou les modes d’enseignement disponibles pour une session donnée, veuillez vous référer à l’horaire du cours ci-bas.

Formules pédagogiques

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

Horaire

Consulter l'horaire de ce cours