Durée
15h Th, 10h Pr, 80h Proj.
Nombre de crédits
| Master : ingénieur civil en informatique, à finalité | 5 crédits | |||
| Master en sciences informatiques, à finalité | 5 crédits |
Enseignant
Langue(s) de l'unité d'enseignement
Langue anglaise
Organisation et évaluation
Enseignement durant l'année complète, avec partiel en janvier
Horaire
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 de l'unité d'enseignement
Introduction à la programmation par contraintes.
Extension de Prolog permettant ce type de programmation.
Exemples d'applications.
Acquis d'apprentissage (objectifs d'apprentissage) de l'unité d'enseignement
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 final.
Stage(s)
Remarques organisationnelles
http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html
Contacts
Pascal Gribomont gribomont@montefiore.ulg.ac.be