MAT210 - Logique et mathématiques discrètes

Ce cours vise à acquérir les concepts de logique du premier ordre et de mathématiques discrètes pour la résolution de divers problèmes.

Au terme de ce cours, la personne étudiante sera en mesure de :

• appliquer des méthodes de la logique et des mathématiques discrètes;
• résoudre des problèmes à l'aide de la logique et des mathématiques discrètes;
• concevoir la preuve d'un résultat mathématique;
• analyser la complexité d'algorithmes simples;
• communiquer ses démarches de façon claire et structurée;
• utiliser un logiciel de calcul symbolique.

Éléments de contenu : logique propositionnelle. Méthodes de preuves. Théorie des ensembles. Comportement asymptotique des fonctions et complexité des algorithmes. Théorie des nombres : nombres premiers, algorithme d'Euclide, arithmétique modulaire et applications. Principe de récursivité et preuves par récurrence. Théorie des graphes : terminologie, représentations, chemins et circuits, algorithmes.

Cours préalable : MAT145 Calcul différentiel et intégral (4 cr.)

Cours concomitant : MAT145 Calcul différentiel et intégral (4 cr.) pour le programme de baccalauréat en informatique distribuée