MAT210 Logique et mathématiques discrètes

Cours destiné spécifiquement aux étudiants inscrits au programme de baccalauréat en génie logiciel.

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: Hiver 2019

Groupe Jour Type
01 Lundi 13:30 Activité de cours
01 Jeudi 13:30 Travaux pratiques
02 Lundi 18:00 Activité de cours
02 Mercredi 18:00 Travaux pratiques

Session: Automne 2018

Groupe Jour Type
01 Lundi 09:00 Activité de cours
01 Mercredi 09:00 Travaux pratiques
02 Mardi 13:30 Activité de cours
02 Vendredi 13:30 Travaux pratiques