Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Assistants de preuves et leur théorie
Thème :
Logique & Preuve
–
Cursus :
MPRI - M2
2007 - 2008
Cours
Christine Paulin-Mohring
,
Bruno Barras
Polycopié (PS)
Polycopié (PDF avec feuilles dans le bon sens)
Cours 1 : Calcul des Constructions au Calcul des Constructions Inductives
Cours 2 : Les spécificités du Calcul des Constructions Inductives
Cours 3 : Programmation fonctionnelle 1
Cours 4 : Programmation fonctionnelle 2
Cours 5 : Types dépendants, extraction
Cours 6 : Programmation impérative
Cours 7 : Panorama et architecture des assistants de preuve
Cours 8 : Modèles de réalisabilité et modèles booléens