AccueilConnexion

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

Enseignant : Pierre Lescanne

Page perso : http://perso.ens-lyon.fr/pierre.lescanne/enseignement.html

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   .

     Logique

Thème : Logique & PreuveCursus : ENS-Lyon - L3  

     2005 - 2006

     2004 - 2005

     Programmation

Les sessions du second semestre ont pour prérequis les cours du premier semestre.
Thèmes : Sémantique, ProgrammationCursus : ENS-Lyon - L3  

     2006 - 2007, Semestre 2  

Ce cours parlera de théorie de la démonstration, de calcul symbolique et de sémantique. Il présente la déduction naturelle et le lambda-calcul pour introduire la correspondance de Curry-Howard. Il contient cependant une petite incursion vers la théorie des modèles non classiques en introduisant les modèles de Kripke. En calcul symbolique nous parlerons de systèmes de récriture (unification, complétion, terminaison). En sémantique, nous parlerons de machines abstraites, de sémantique «petite étapes» et «grandes étapes», de sémantique axiomatique et de sémantique dénotationnelle.

     2005 - 2006 semestre 2

   2004 - 2005 semestre 2

   2003 - 2004 semestre 2

   2002 - 2003 semestre 2

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.