Module "Programmation logique par contraintes" 2011/2012
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 | 473F |
- 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 18 Novembre 2011
Jour | Heure | Salle |
Vendredi | 13h30 | 554C |
- Evaluation : La note finale est calculée comme comme 1/2 partiel + 1/2 examen (Les deux sont obligatoires)
- L'examen aura lieu le 6 janvier de 15h30 à 17h30, Amphi 5C.
- Archives
Calendrier et polycopies
Liens
Article
de wikipedia avec plein de références
Site général
GNU Prolog
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