L3IF ENS Lyon: Programmation 2
Cours par Philippe Audebaud.
TDs avec Damien Pous.
Sujet du DM de mi-semestre.
Logique
- TD 1: Validité et Systèmes Hilbertiens
- TD 2: Déduction Naturelle et Lambda-calcul
- TD 3: Calcul des Prédicats et Modèles de Kripke
- TD 4: Système F
- TD 5: Calcul des Séquents
- TD 6: Coupures et Logique Linéaire
Sémantique
- TD 7: Sémantiques Opérationnelles
- TD 8: Sémantique Opérationnelle des Continuations
- TD 9: Sémantique Axiomatique
- TD 10: Points Fixes
Réécriture
TD 12: Réductions abstraites, Ordres polynomiaux
TD 13: Terminaison, Unification