Programmation Logique et par Contraintes avancée

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

Horaires et Salle

Cours: Mardi 9h30-11h00s salle à déterminer
TP : Mardi 11h00-12h30, salle 2031.

Travaux Pratiques

Planning préliminaire du cours

Semaine Jour Contenu
1 08/01/2019 Chapitre 1 : Introduction [transparents] [code]
2 15/01/2019 Chapitre 2 : Le modèle d'exécution [transparents] [code]
3 22/01/2019 Chapitre 3 : Programmation concurrente dataflow en Oz [transparents] [code]
4 29/01/2019 Chapitre 4 : Programmation logique en Oz [transparents] [code]
5 05/02/2019 Chapitre 5 : Contraintes de domaine fini en Oz [transparents] [code]
6 12/02/2018 Chapitre 6 : Propagateurs [transparents] [code]
7 19/02/2018 Chapitre 7 : Blocage de Propagateurs et Recherche Mult-dimensionnelle [transparents] [code]
8 26/02/2018 Chapitre 8 : Réification et Optimisation.
9 05/03/2019 Chapitre 9 : Symétries et Contraintes Redondantes
10 12/03/2019 Chapitre 10 : Le Test Auto-Référentiel
11 19/03/2019 Chapitre 11 :

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 installer Mozart sur Debian GNU/Linux et amd64

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