Peter Habermehl - Enseignement "Programmation logique par contraintes"

Module "Programmation logique par contraintes" 2010/2011
Master 1ère année

Organisation

Cours : Le responsable du cours est Peter Habermehl (adresse e-mail Peter.Habermehl(at)liafa.jussieu.fr, Bureau 6A23, 175, rue du Chevaleret). L'enseignement a lieu le premier semestre après la première partie du cours qui est une introduction à PROLOG. L'horaire du cours est le suivant :

Jour Heure Salle

Vendredi 10h30 Amphi 12E

TD/TP : Le responsable du TD/TP est Peter Habermehl. En général, les sujets des TD/TP suivent à peu près le cours de la même semaine. L'horaire des TDs/TPs est le suivant : Début 19 Novembre 2009

Jour Heure Salle

Vendredi 8h30 548C (ex T)

Evaluation : La note finale est calculée comme comme 1/2 partiel + 1/2 examen (Les deux sont obligatoires)
Examen de janvier 2011
- Enoncé et Corrigé
- Solution spécifique et générale de l'exercice sur l'emploi du temps
- Solution spécifique et générale de l'exercice sur Inshi no heya
- Notes

Jour	Heure	Salle
Vendredi	10h30	Amphi 12E

Jour	Heure	Salle
Vendredi	8h30	548C (ex T)

Calendrier et polycopies

Semaine du	Cours	TD/TP	Observations
8 nov.	Cours 1	pas de TD/TP	-
15 nov.	Cours 2	TD/TP 1
22 nov.	Cours 3	TD/TP 2	Programme 1, Programme 2, Programme 3
29 nov.	Cours 4	TD/TP 3
6 déc.	Cours 5	TD/TP 4	-
13 déc.	pas de cours	Séance de 4h TD/TP 5

Liens

Article de wikipedia avec plein de références

site du livre Programming with Constraints: An Introduction

Ce livre d'Intelligence Artificielle contient un chapitre sur la resolution de contraintes sur un domaine fini (à télécharger).

Un tutorial sur la programmation avec contraintes