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: Été 2023
Groupe | Jour | Type |
---|---|---|
01 | Mercredi 09:00 | Activité de cours |
01 | Jeudi 09:00 | Laboratoire |
02 | Lundi 13:30 | Activité de cours |
02 | Mardi 09:00 | Laboratoire |