Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Logique et Informatique
Thèmes :
Logique & Preuve
,
Sémantique
–
Cursus :
ENS-Cachan - L3
,
ENS-Ulm - L3
2006 - 2007
Examens
2005-2006 : Propriétés de normalisation du lambda-sigma-calcul
2005-2006 : Correction
2004-2005 : Systèmes de types intersection et modèles de filtres
2004-2005 : Correction
2003-2004 : Réductions closes
2003-2004 : Correction
2002-2003 : Lambda-upsilon calcul (le retour!), confluence et machines
2002-2003 : Correction
2001-2002 : Le lambda-calcul monadique (ou méta-langage de Moggi)
2001-2002 : Correction
2000-2001 : Lambda-upsilon calcul, types intersection et préservation de la normalisation forte
2000-2001 : Correction
1999-2000 : Relations logiques et théorème de Friedman
1999-2000 : Correction