Semaine | Jour | Contenu |
---|---|---|
1 | 10/1/2023 | Chapitre 1 : Introduction [transparents (1 par page)] [transparents (4 par page)] [exemples] |
2 | 17/1/2023 | Chapitre 2 : Le modèle d'exécution [transparents (1 par page)] [transparents (4 par page)] [exemples] |
3 | 24/1/2023 | Chapitre 3 : Programmation concurrente dataflow en Oz [transparents (1 par page)] [transparents (4 par page)] [exemples] |
4 | 31/1/2023 | Chapitre 4 : Contraintes de domaine fini en Oz [transparents (1 par page)] [transparents (4 par page)] [exemples] |
5 | 07/2/2023 | Chapitre 5 : Propagateurs [transparents (1 par page)] [transparents (4 par page)] [exemples] |
6 | 14/2/2023 | Chapitre 6 : Blocage de Propagateurs et Recherche Multi-dimensionnelle [transparents (1 par page)] [transparents (4 par page)] [exemples] |
7 | 21/2/2023 | Chapitre 7 : Réification et Contraintes Souples [transparents (1 par page)] [transparents (4 par page)] [exemples] |
8 | 28/2/2023 | Chapitre 8 : Optimisation [transparents (1 par page)] [transparents (4 par page)] [exemples] |
9 | 06/3/2023 | Chapitre 9 : Symétries et Contraintes Redondantes [transparents (1 par page)] [transparents (4 par page)] [exemples] |
10 | 13/3/2023 | Chapitre 10 : Le Test Auto-Référentiel [transparents (1 par page)] [transparents (4 par page)] [exemples] |
11 | 20/3/2023 | cours annulé |
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.