Enseignant: Géraud Sénizergues (Professeur d'Informatique).
résumé
Feuilles d'exercice
choix social.
introduction aux jeux.
équilibres de Nash.
jeux de parité.
automates
d'arbres.
logique MSO.
Devoir Maison, Avril 2016.
Corrigé du Devoir Maison, Mai 2016.
Examen, Mai 2016.
Corrigé de l'examen, Mai 2016.