Outils pour utilisateurs
if-gsc
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision | Révision précédente | ||
| if-gsc [2020/10/07 13:43] – créée vpenelle | if-gsc [2020/11/24 14:51] (Version actuelle) – vpenelle | ||
|---|---|---|---|
| Ligne 2: | Ligne 2: | ||
| Responsables : | Responsables : | ||
| + | |||
| + | Ce cours du S9 est obligatoire pour VL et en option pour AM. Il vaut 6ECTS. | ||
| ===Partie 1 (Anca Muscholl): | ===Partie 1 (Anca Muscholl): | ||
| - | Todo | + | Le cours est une introduction à la théorie des jeux pour la vérification et la synthèse de systèmes. On y aborde différents types de jeux : jeux à deux joueurs sur les graphes finis, jeux distribués, |
| ===Partie 2 (Nathanaël Fijalkow): | ===Partie 2 (Nathanaël Fijalkow): | ||
if-gsc.1602078210.txt.gz · Dernière modification : 2020/10/07 13:43 de vpenelle
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
