Passer au contenu principal

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: Été 2023

Groupe Jour Type
01 Jeudi 13:30 Travaux pratiques
01 Mercredi 13:30 Activité de cours