MAT215 Logique et mathématiques discrètes pour l’optimisation

Au terme de ce cours, l’étudiant ou l'étudiante aura acquis les notions fondamentales de la logique mathématique. S’initier aux concepts des mathématiques discrètes utilisés dans les méthodes d’optimisation.

Introduction à la logique et son utilisation pour la modélisation de contraintes. Théorie des ensembles : terminologie, notion de fonctions et dénombrement. Rédaction de preuves mathématiques. Introduction aux algorithmes et à l’analyse de la complexité. Principe de récursivité et preuves par récurrence. Théorie des graphes : terminologie, arbres, algorithmes et applications.

Séances de travaux pratiques composées d'exercices choisis pour illustrer et compléter la théorie vue en classe.

Précision sur le préalable INF130 : ce cours est un cours associé, c'est-à-dire qu'il doit être suivi en même temps que MAT215.

Crédits 4
Charge hebdomadaire Cours (3h), travaux pratiques ( 3h)
Cycle 1er
Préalables MAT145   INF130  
Responsable Service des enseignements généraux
Horaire

Session: Automne 2022

Groupe Jour Type
01 Mercredi 09:00 Activité de cours
01 Vendredi 09:00 Travaux pratiques
02 Lundi 09:00 Travaux pratiques