Peter Habermehl - Enseignement "Programmation logique par contraintes"

Module "Programmation logique par contraintes" 2006/2007
Master 1ère année

Organisation

Cours : Le responsable du cours est Peter Habermehl (adresse e-mail Peter.Habermehl(at)liafa.jussieu.fr, Bureau 6A13, 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

Mardi 8h30 Amphi X3

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 (sauf le premier) L'horaire des TDs/TPs est le suivant : Début 2 Novembre 2006

Groupe Jour Heure Salle

1 Jeudi 8h30 110

2 Jeudi 10h30 110

Evaluation : La note finale est calculée comme comme 1/2 partiel + 1/2 examen (Les deux sont obligatoires)
- Partiel Mardi 31 octobre
- Examen de l'année dernière, Corrigé
- Examen Lundi 15 janvier
- Examen Sep. 2006

Jour	Heure	Salle
Mardi	8h30	Amphi X3

Groupe	Jour	Heure	Salle
1	Jeudi	8h30	110
2	Jeudi	10h30	110

Calendrier et polycopies

Semaine du	Cours	TD/TP	Observations
30. oct.	-	TP1	-
6 nov.	Cours 1	TP2	-
13 nov.	Cours 2	pas de TD/TP	-
20 nov.	Cours 3	TP3	-
27 nov.	Cours 4 (suite de Cours 3)	TP4	-
4 déc.	Cours 5	TP5	-
11 déc.	Cours 6	TP6	-
18 déc.	pas de cours	pas de TD	Quelques solutions YAP Quelques solutions GNU Prolog

Liens

Cours de Programmation avec Contraintes à Lyon 1. Seulement contraintes sur domaine fini. Contient les solutions de TD/TP 2 entre autres.

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