| 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