Enseignant: Géraud Sénizergues (Professeur d'Informatique).
Cette page décrit la moitié de l'UE "Jeux, synthèse et contrôle" enseignée par
Géraud Sénizergues, le Mardi de 10h à 12h.
L'autre moitié est enseignée par Anca Muscholl, le Vendredi de 14h à 16h.
Les contenus de ces deux moitiés sont fortement reliés.
L'introduction des notes de cours, ci-dessous, décrit brièvement les notions
abordées dans l'UE.
choix social.
introduction aux jeux.
équilibres de Nash.
opérations sur les jeux.
automates d'arbres.
logique MSO.
Contrôle continu, décembre 2015.
Examen, janvier 2016.
Devoir Maison, Avril 2016.
Corrigé du Devoir Maison, Mai 2016.
Examen, Mai 2016.
Corrigé de l'examen, Mai 2016.
Devoir Maison, Novembre 2016.
Examen, Janvier 2017.