Programmation Logique et par Contraintes avancée

Université Paris-Diderot, M2 du master professionnel Ingénierie des Algorithmes et des Programmes (IAP)
Année 2016/2017

TP noté

Le TP noté aura lieu lundi, 20 février.

Horaires et Salle

Lundi, 9h30-12h30, salles 2011 (cours) et 2032 (TP), bâtiment Sophie-Germain. Premier cours : lundi 2 janvier, rendez-vous en salle 2011.

En général, nous commençons avec 1h30 de de cours en salle 2011. Après une petite pause, nous continuons avec la partie TP en salle 2032.

Travaux Pratiques

Planning préliminaire du cours

Semaine Jour Contenu
1 2/1 Chapitre 1 : Introduction [transparents] [examples]
2 9/1 Chapitre 2 : Le modèle d'exécution [transparents] [examples]
3 16/1 Chapitre 3 : Programmation concurrente dataflow en Oz [transparents] [examples]
4 23/1 Chapitre 4 : Programmation logique en Oz [transparents] [examples]
5 30/1 Chapitre 5 : Contraintes de domaine fini en Oz [transparents] [examples]
6 6/2 Chapitre 6 : Propagateurs [transparents] [examples]
7 13/2 Chapitre 7 : Blocage de Propagateurs et Recherche Mult-dimensionnelle [transparents] [examples]
8 20/2 Chapitre 8 : Réification et Optimisation [transparents] [examples]
9 27/2 Chapitre 9 : Symétries et Contraintes Redondantes [transparents] [examples]
10 6/3 Chapitre 10 : Le Test Auto-Référentiel [transparents] [examples]
12 20/3 Examen

Pour information :

Logiciels utilisés

Mozart
est le système de programmation pour le langage Oz. Vous y trouvez le code source (mozart est du logiciel libre), des exécutables pour Linux et Windows, et plein de documentations.

Debian GNU/Linux contient des paquets de mozart pour certains architectures (parmi d'autres i386 et powerpc, mais malheureusement pas amd64). Installer les paquets mozart, mozart-stdlib, et éventuellement mozart-doc.

Comment utiliser Mozart sur les machines Mac de l'UFR

Ouvrages et documents utilisés pour ce cours

Ne soyez pas effrayé par cette liste, elle sert simplement à documenter les sources d'information principales que j'utilise pour préparer ce cours. Normalement les transparents (et les explications supplémentaires données au cours) contiennent tout ce qu'il faut savoir.
Ralf Treinen

Valid HTML 4.01 Transitional