Passer au contenu principal

MAT210 Logique et mathématiques discrètes

Acquérir les notions fondamentales de la logique mathématique. S’initier aux concepts des mathématiques discrètes.

Introduction à la logique : calcul propositionnel, calcul des prédicats, méthodes de preuve et algèbre de Boole. Théorie des ensembles. Comportement asymptotique des fonctions et compexité temporelle des algorithmes. Théorie des nombres : nombres premiers, algorithme d'Euclide, arithmétique modulaire et applications. Preuves par récurrence et relations de récurrence. Principes de base du dénombrement. Théorie des graphes : terminologie, représentations, chemins et circuits.

Séances de travaux pratiques portant sur la logique et les applications des mathématiques discrètes.

Crédits 4
Charge hebdomadaire Cours (3h), travaux pratiques (3h)
Cycle 1er
Préalables MAT145  
Responsable Service des enseignements généraux
Horaire

Session: Automne 2023

Groupe Jour Type
01 Mardi 09:00 Laboratoire
01 Jeudi 13:30 Activité de cours
02 Lundi 13:30 Activité de cours
02 Mardi 13:30 Laboratoire