Le cours et les TP commencent le mercredi 6 janvier, en ligne. Merci d'installer avant le premier TP le logiciel Mozart/Oz, en suivant ces instructions.
Semaine | Jour | Contenu |
---|---|---|
1 | 06/01 | Chapitre 1 : Introduction [transparents] [exemples] |
2 | 13/01 | Chapitre 2 : Le modèle d'exécution [transparents] [exemples] |
3 | 20/01 | Chapitre 3 : Programmation concurrente dataflow en Oz [transparents] [exemples] |
4 | 27/01 | Chapitre 4 : Contraintes de domaine fini en Oz [transparents] [exemples] |
5 | 03/02 | Cours annulé. Essayez de terminer la feuille de TP2. |
6 | 10/02 | Chapitre 5 : Propagateurs [transparents] [exemples] |
7 | 17/02 | Chapitre 6 : Blocage de Propagateurs et Recherche Mult-dimensionnelle [transparents] [exemples] |
8 | 24/02 | Chapitre 7 : Réification et Contraintes Souples [transparents] [exemples] |
9 | 03/03 | Chapitre 8 : Optimisation [transparents] [exemples] |
10 | 10/03 | Chapitre 9 : Symétries et Contraintes Redondantes |
11 | 17/03 | Chapitre 10 : Le Test Auto-Référentiel |
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.
sudo dpkg --add-architecture i386 sudo apt update
sudo apt install libx11-6:i386
ssh lulu -J MONCOMPTE@lucy.informatique.univ-paris-diderot.fr -Xoù MONCOMPTE est à remplacer par votre compte à l'UFR Informatique.