UE: Jeux, logique et langages.
MASTER, année 2, premier semestre, 2015/2016
Enseignant: Géraud Sénizergues (Professeur d'Informatique).
Feuilles d' exercice
choix social.
introduction aux jeux.
équilibres de Nash.
jeux de parité.
logique MSO.
DM/Examen
DM, décembre 2015.
Examen, janvier 2016.
Notes de cours
Le théorème de Nash.