 | | |
| INFO0050-1 | Programmation par contraintes
|
|
| Durée : | 30h Th, 30h Pr |
|
| Nombre de crédits : |
|
|
| Nom du professeur : | Pascal Gribomont |
|
Langue(s) du cours :
|
| Langue française |
|
Contenus du cours :
|
| Introduction à la programmation par contraintes.
Extension de Prolog permettant ce type de programmation.
Exemples d'applications. |
|
Acquis d'apprentissage (objectifs d'apprentissage) du cours :
|
| L'étudiant apprend à traduire un problème sous forme d'un ensemble de contraintes et à le résoudre en utilisant un des systèmes de programmation par contraintes disponibles (SWI-Prolog, CLP(R), ECLiPSe, Comet). |
|
Prérequis et corequis / Modules de cours optionnels recommandés :
|
| INFO049-1 (prérequis) |
|
Modalités d'évaluation et critères :
|
| Travaux pratiques individuels.
Un examen oral. |
|
Remarques organisationnelles :
|
| http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
Contacts :
|
| Pascal Gribomont
gribomont@montefiore.ulg.ac.be
Stéphane Lens
lens@montefiore.ulg.ac.be |
|
