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 les préalables : pour le programme de baccalauréat en informatique distribuée, le cours MAT145 est préalable ou concomitant (il peut être suivi en même temps).