Date | Teacher | Place | Topic | Lecture notes / comments |
17.01.2005 | Roger Antonsen | Lille auditorium | Introduction, syntax, propositional logic. | (Ch. 1-2.1) |
24.01.2005 | Roger Antonsen | Lille auditorium | Syntax, semantics, induction. | (Ch. 2.2-2.4) |
31.01.2005 | Roger Antonsen | Lille auditorium | Uniform notation, Tableaux. | (Ch. 2.6,3.1) |
07.02.2005 | Roger Antonsen | Lille auditorium | Propositional logic: soundness. | (Ch. 3.4) |
14.02.2005 | Roger Antonsen | Lille auditorium | Propositional logic: completeness, consequence. | (Ch. 3.5,3.8-3.9) |
21.02.2005 | Christian Mahesh Hansen | Lille auditorium | First-order logic: syntax. | (Ch. 5.1,5.2) |
28.02.2005 | Christian Mahesh Hansen | Lille auditorium | First-order logic: semantics, tableau system. | (Ch. 5.3,5.7,6.1) |
07.03.2005 | Christian Mahesh Hansen | Lille auditorium | First-order logic: soundness. | (Ch. 5.5,6.3) |
14.03.2005 | -------- | -------- | -------- | Mid-term exam. No lecture. |
21.03.2005 | -------- | -------- | -------- | Easter holiday. |
28.03.2005 | -------- | -------- | -------- | Easter holiday. |
04.04.2005 | Christian Mahesh Hansen | Lille auditorium | First-order logic: completeness. | (Ch. 5.4,5.6 + compendium on completeness ) |
11.04.2005 | Christian Mahesh Hansen | Lille auditorium | Automated reasoning: introduction, resolution, unification, free variable tableaux. | (Ch 7.1,7.2,7.4 + 7.5 except the ProLog code) |
18.04.2005 | Christian Mahesh Hansen | Lille auditorium | Automated reasoning: soundness for free variable tableaux. | (Ch 7.7) |
25.04.2005 | Christian Mahesh Hansen | Lille auditorium | Automated reasoning: completeness for free variable tableaux. | (Ch 7.8) |
02.05.2005 | Roger Antonsen | Grupperom 3A, Ifi | "Systems of deduction" | pp. 133-139 |
09.05.2005 | Roger Antonsen | Lille auditorium | "Systems of deduction" | pp 148-157, 159-162 |
16.05.2005 | -------- | -------- | -------- | Whit Monday (Andre pinsedag). |
23.05.2005 | Roger Antonsen | Lille auditorium | "Systems of deduction" | pp 173-177 |
30.05.2005 | Roger Antonsen, Christian Mahesh Hansen | Lille auditorium | Repetition |
Teaching plan
Published Jan. 5, 2005 4:48 PM
- Last modified May 23, 2005 9:41 PM