**************************************************************************************************************************
COURS/TD LOGIQUE (UE INF 462, 2009-2010, semestre 1):
Le site de la premiere partie de l'UE de logique
Plan de la deuxième partie du cours et références:
.pdf
.
Systèmes DN,DNI (déduction naturelle)
.pdf
.
Systèmes LK,LJ (calcul des séquents)
.pdf
.
Quelques théories axiomatiques
.pdf
.
Feuille d'exercices 7: calcul des séquents
.pdf
Feuille d'exercices 8: elimination des coupures
.pdf
Feuille d'exercices 9: structures de Kripke
.pdf
Feuille d'exercices 10: arithmétique de Presburger
.pdf
Devoir surveillé du 30/11/09
l'énoncé .pdf
,
le corrigé .pdf
Les notes
.pdf
,
Examen du 18/12/09, partie 2
l'énoncé .pdf
,
le corrigé .pdf
.
Devoir surveillé du 27/11/08
l'énoncé .pdf
,
le corrigé .pdf
Examen du 19/12/08, partie 2
l'énoncé .pdf
,
le corrigé .pdf
.