 | | |
| 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 |
|
Organisation et évaluation :
|
| Enseignement au premier quadrimestre, examen en janvier |
|
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) |
|
Activités d'apprentissage prévues et méthodes d'enseignement :
|
| |
|
Mode d'enseignement (présentiel ; enseignement à distance) :
|
| présentiel |
|
Lectures recommandées ou obligatoires et notes de cours :
|
| Lectures recommandées:
Constraint Logic Programming using Eclipse,
Krzysztof R. Apt et Mark Wallace,
ISBN-10: 0521866286
Principles of Constraint Programming,
Krzysztof Apt,
ISBN-10: 0521825830
Programming with Constraints: An Introduction,
Kimbal Marriott et Peter Stuckey,
ISBN-10: 0262133415
(http://www.amazon.com/s/ref=ntt_athr_dp_sr_1?_encoding=UTF8&field-author=Krzysztof%20Apt&ie=UTF8&search-alias=books&sort=relevancerank) |
|
Modalités d'évaluation et critères :
|
| Travaux pratiques individuels.
Un examen oral. |
|
Stage(s) :
|
| |
|
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 |
|
