Catalogue ECTS

Relations Internationales

Catalogue ECTS

Retour

SCIENCES

Master 1 Sciences, Technologies, Santé Mention Mathématiques et Applications

Code MMAAP120201
Intutulé du cours Programmation par Contrainte et Solvers
Crédits 6
Période S2 du au
Type de cours Obligatoire - Cours Magistral 24h00, Travaux Dirigés 12h00, Travaux Pratiques 4h00
Niveau de cours intermédiaire
Professeur Mme LAN NGUYEN PHUONG
Objectifs du cours Eléments de base : - Problème de Satisfaction de contraintes. - Propagation de contraintes. - Langages de programmation par contraintes. Programmation par contraintes en Prolog. Introduction au langage C++. Programmation par contraintes en Ilog : - La librairie ILOG Solver en C++ - la librairie ILOG Scheduler en C++
Prérequis Précisions : Le langage de programmation Prolog. La programmation orientée objet.
Contenu du cours Acquérir les fondements et comprendre l’intérêt de la programmation par contraintes pour les problèmes combinatoires. Utiliser différents solveurs de programmation par contraintes, Prolog et Ilog, pour résoudre les problèmes d'ordonnancement et d'affectation.
Références bibliogaphiques De référence - aucun
Méthodes d'enseignement cours magistraux , travaux pratiques - en salle informatique, travaux dirigés - en salle informatique
Méthodes d'évaluation Projets ou travaux pratiques - Avec tests par écrits
Langues d'enseignement FRANCAIS
Lieux Angers