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.
Note sur le préalable Le cours MAT145 est concomitant pour le programme de baccalauréat en informatique distribuée, c'est-à-dire qu'il peut être suivi avant ou en même temps que le MAT210.
Groupe | Jour | Type |
---|---|---|
01 | Lundi 09:00 | Activité de cours |
01 | Mercredi 09:00 | Laboratoire |
02 | Mardi 13:30 | Activité de cours |
02 | Jeudi 13:30 | Laboratoire |
04 | Mardi 13:30 | Laboratoire |
04 | Jeudi 13:30 | Activité de cours |