Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Modèles, domaines, catégories, jeux
Thème :
Sémantique
–
Cursus :
MPRI - M2
,
DEA SPP
2006 - 2007
Domaines
Antonio Bucciarelli
Introduction aux domaines
Quelques notions préliminaires
Cours 1
Cours 2
Cours 3
Cours 4
TD 1
TD 2
TD 2 correction
TD 3
TD 3 correction
TD 4
TD 4 correction
Catégories
Paul-André Melliès
Notes de cours (seulement une partie sera couverte)
Article récent et introductif pour les curieux
Transparents 1 : catégories cartésiennes
Transparents 2 : espaces de cohérence
Transparents 3 : catégories monoidales fermées, fonctions stables et construction exponentielle
Sémantique des jeux
Russ Harmer
Slides de l'introduction
Notes du Cours
Introduction de Samson Abramsky
Notes sur les jeux de Conway
TD 1 avec correction
TD 2
TD 2 correction
TD 3
TD 3 correction
TD 4
TD 4 correction