Constraint programming projects

Durée

15h Th, 10h Pr, 80h Proj.

Nombre de crédits

Enseignant

Pascal Gribomont

Langue(s) de l'unité d'enseignement

Langue anglaise

Organisation et évaluation

Enseignement durant l'année complète, avec partiel en janvier

Horaire

Horaire en ligne

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, à distance, hybride)

présentiel

Adaptations organisationnelles liées au contexte sanitaire

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

Vous trouverez ci-dessous les modalités d'évaluation envisagées pour les examens en présentiel et à distance ainsi que celle souhaitée en cas de session hybride. En fonction de l'évolution sanitaire, la modalité choisie vous sera communiquée au plus tard un mois avant le début de la session d'examen.

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