Programme des cours 2015-2016
| INFO0050-1 | ||
| Constraint programming projects | ||
|
Durée :
|
||
| 15h Th, 10h Pr, 80h Proj. | ||
|
Nombre de crédits :
|
||
|
Nom du professeur :
|
||
| Pascal Gribomont | ||
|
Langue(s) du cours :
|
||
| Langue anglaise | ||
|
Organisation et évaluation :
|
||
| Enseignement durant l'année complète, avec partiel en janvier | ||
|
Unités d'enseignement prérequises et corequises :
|
||
| Les unités prérequises ou corequises sont présentées au sein de chaque programme | ||
|
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). | ||
|
Savoirs et compétences prérequis :
|
||
| 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 |
||
|
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 | ||