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

Scolarité

Premier cycle - 3,0 crédit(s)

Département

Unité départementale des sciences de l'éducation

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.

Formules pédagogiques

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

Préalable(s)

Aucun

Mode(s) de prestation

Hybride à prépondérance en présence
Déplacements occasionnels sur les lieux de formation. Alternance des modes présence et distance, synchrone ou asynchrone dans une proportion variable, mais à prépondérance en présence. La proportion de chaque mode (présence / distance) doit être précisée dans la description du cours.

Présence
Présence de la professeure ou du professeur, de la personne chargée de cours ou de l’équipe pédagogique et des personnes étudiantes à un moment commun dans un lieu de formation déterminé (ex. : salle de classe physique, laboratoire, sortie sur le terrain).

Distance mixte (Formation à distance)
Aucun déplacement sur les lieux de formation. Alternance des modes distance synchrone et distance asynchrone dans une proportion variable. La proportion de chaque mode doit être précisée dans la description du cours.

Type de notation

Régulier
Notation régulière.