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.
| Group | Day | Type |
|---|---|---|
| 01 | Mardi 09:00 | Travaux pratiques |
| 01 | Jeudi 09:00 | Activité de cours |
| 02 | Lundi 09:00 | Travaux pratiques |
| 02 | Jeudi 13:30 | Activité de cours |
| 03 | Mardi 09:00 | Activité de cours |
| 03 | Jeudi 09:00 | Travaux pratiques |