Logique 2018-2019
TD de Logique
Logique - L3 ENS Paris-Saclay
Le cours de logique a eu lieu du 23 janvier au 21 mai 2018.
Vous trouverez sur leur page web respective les notes de cours
d'Hubert Comon et de
David Baelde
-
23 janvier : Calcul propositionnel.
Énoncé
-
31 janvier : Forme clausale et Résolution.
Énoncé.
En rédigeant le corrigé de la question 6, je me suis rendu compte que mon brouillon contenait une erreur, ce document détaille l'erreur.
-
6 février : Forme clausale et Résolution.
Énoncé
-
13 février : Déduction naturelle propositionnelle classique.
Énoncé
-
20 février : Sémantique de Kripke et déduction naturelle propositionnelle intuitionniste.
Énoncé
-
27 février : Déduction naturelle et calcul des séquents propositionnels intuitionnistes.
Énoncé
-
13 mars : Calcul des séquents propositionnel classique.
Énoncé.
L'exercice 4 est tiré d'un DM proposé par David Baelde et Hubert Comon et dont voici le corrigé
-
27 mars : Calcul des prédicats.
Énoncé
-
3 avril : Calcul des séquents en logique du premier ordre.
Énoncé
-
10 avril : Autour de la complétude du calcul des séquents.
Énoncé
-
17 avril : Théorème de Herbrand.
Énoncé
-
15 mai : Résolution du premier ordre.
Énoncé
-
22 mai : Théorie axiomatique décidable.
Énoncé