| 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