Logique et mathématiques discrètes

1er cycle

Préalable(s) MAT145 Sigle MAT210 Responsable Département des enseignements généraux Cycle 1 er Crédits 4 Charge de travail Cours (36h) Laboratoire ou travaux pratiques (39h) Travaux personnels (105h) Plan du cours Site du cours Horaire 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