LECTURES on LOGICS (UE IN7M21, 2015-2016, semester 1):

Lectures
• Le site de la seconde partie de l'UE de logique
• Lecture notes: .pdf.
• Systèmes NK,NJ (natural deduction) .pdf.
• Systèmes LK,LJ (sequent calculus) .pdf.
• Some sets of axioms .pdf.

Exercise sheets:
• Exercises 0: natural deduction .pdf
• Exercises 1: sequent calculus .pdf
• Exercises 2: cut elimination .pdf
• Exercises 3: Kripke structures .pdf
• Exercises 4: Presburger arithmetics .pdf

Previous tests and exams (in french):
• Devoir surveillé du 16/10/15 l'énoncé .pdf , le corrigé .pdf
• Examen du 14/12/15, partie 1 l'énoncé .pdf , le corrigé .pdf
• Test; on 16/10/14 the test; .pdf , solutions; .pdf
• Examination on 15/12/14, part 1 the test; .pdf , solutions; .pdf
• Test; on 17/10/13 the test; .pdf , solutions; .pdf
• Examination on 14/12/13, part 1 the test; .pdf ,
• 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 .