COURS/TD LOGIQUE (UE IN7M12, 2013-2014, semestre 1):

Cours
• Le site de la seconde partie de l'UE de logique
• Plan de la première partie du cours et références: .pdf.
• Notes de cours (en Anglais): .pdf.
• Systèmes NK,NJ (déduction naturelle) .pdf.
• Systèmes LK,LJ (calcul des séquents) .pdf.
• Quelques théories axiomatiques .pdf.

Travaux dirigés:
• Feuille d'exercices 0: déduction naturelle .pdf
• Feuille d'exercices 1: calcul des séquents .pdf
• Feuille d'exercices 2: élimination des coupures .pdf
• Feuille d'exercices 3: structures de Kripke .pdf
• Feuille d'exercices 4: arithmétique de Presburger .pdf

Contrôles des connaissances:
• Devoir surveillé du 12/10/12 l'énoncé .pdf , le corrigé .pdf
• Examen du 14/12/12, partie 1 l'énoncé .pdf , le corrigé .pdf
• Devoir surveillé du 21/11/11 l'énoncé .pdf , le corrigé .pdf
• Examen du 16/12/11, partie 2 l'énoncé .pdf
• Devoir surveillé du 29/11/10 l'énoncé .pdf , le corrigé .pdf
• Examen du 20/12/10, partie 2 l'énoncé .pdf , le corrigé .pdf .
• Devoir surveillé du 30/11/09 l'énoncé .pdf , le corrigé .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 .