Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Logique
Thème :
Logique & Preuve
–
Cursus :
ENS-Lyon - L3
2005 - 2006
Cours
Pierre Lescanne
Introduction à la logique
Calcul à la Hilbert
La déduction naturelle
Les séquents
La logique propositionnelle classique
Introduction au lambda-calcul
Introduction au lambda-calcul - généralités
Introduction au lambda-calcul - logique combinatoire
Lambda-calcul simplement typé
Introduction au calcul des prédicats du premier ordre
Complétude du calcul propositionnel intuitionniste
Les modèles de Kripke de la logique propositionnelle intuitionniste