L3IF ENS Lyon: Programmation 2
Cours par Philippe Audebaud.
TDs avec Pierre
Lescanne.
Logique
- TD 1: Validité et Systèmes Hilbertiens
- TD 2: Déduction Naturelle, Modèles de Kripke
- TD 3: Transformée de Gödel
- TD 4: Calcul des Prédicats, CH Classique
- TD 5: Calcul des Séquents
- TD 6: Calcul des Séquents, Hauptsatz
- TD 7: Révisions, Logique Linéaire
Réécriture
- TD 8: Réécriture basique
- TD 9: Terminaison
Sémantique
TD 11: Sémantique dénotationnelle
TD 13: Sémantique axiomatique