AccueilConnexion

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

Enseignant : Delia Kesner

Page perso : http://www.pps.jussieu.fr/~kesner

Documents référencés

Pour voir les documents d’une ressource écrits par d’autres enseignants, cliquez sur son titre, ou bien sur son icône    ou   .

     Calculs algébriques et fonctionnels

Thème : SémantiqueCursus : MPRI - M2  

     2004 - 2005  

     Logique linéaire et paradigmes logiques du calcul

Thème : Logique & PreuveCursus : MPRI - M2  

     2008 - 2009  

     2006 - 2007  

     Mathématiques pour l'informatique

Thème : MathématiquesCursus : Paris VII - L3  

     2004 - 2005

     Sémantique des langages de programmation  

Thème : SémantiqueCursus : MPRI - M1  

     2006 - 2007  

Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation.
Le code source de ce site est placé sous licence GPLv3.