MAT3223 - Fondements algébriques

Scolarité

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

Département

Département d'informatique et d'ingénierie

Objectifs

Au terme de cette activité, l'étudiant sera en mesure : de décrire et d'expliquer les concepts et méthodes de l'algèbre moderne; d'effectuer des preuves simples.

Contenu

Langage mathématique. Intuition et raisonnement en mathématiques. Calcul propositionnel, tables de vérité, initiation au calcul des prédicats. Notions d'axiomes et de conséquences logiques. Méthodes de preuve. Concepts ensemblistes: unification de la mathématique par la théorie des ensembles, sous-ensembles, opérations ensemblistes, ensembles équipotents, cardinaux, ordinaux, connectifs, quantificateurs, relations, relations d'ordre, relations d'équivalence, composition de relations, fonctions, applications. Introduction à l'algèbre de Boole.

Préalables

Aucun

Exigences de qualification pour l'enseignement

Diplôme(s)
Diplôme de 2e ou 3e cycle en sciences (informatique et mathématiques) ou Diplôme de 2e ou 3e cycle en mathématiques
Expérience
3 années d'expérience universitaire et une connaissance jugée suffisante dans l'application des mathématiques au domaine scientifique.
Corps professionnel
Aucun
Autre(s) exigence(s)
Dans tous les cas, le candidat devra démontrer une capacité à transmettre et à communiquer tant oralement que par écrit, la matière du cours aux étudiants. Il doit faire preuve de professionnalisme, de respect envers les étudiants et les collègues, et démontrer un intérêt pour l'enseignement universitaire.

CAFF

6302 - Mathématiques fondamentales