Vous pouvez trouver ici les TD du cours de logique donné en L3 à l'ENS Paris-Saclay.
- TD 1 : Définitions inductives, langage et substitutions
- TD 2 : Logique des prédicats
- TD 3 : Théories
- TD 4 : Modèles, Correction, Cohérence
- TD 5 : Indécidabilité, Incomplétude
- TD 6 : Calcul des séquents, Unification
- TD 7 : Élimination des coupures
- TD 8 : Théories décidables
- TD 9 : Logique constructive
- TD 10 : Résolution
- TD 11 : Résolution bis