This course is replaced by IN3070 – Logic.

Teaching plan

DateTeacherPlaceTopicLecture notes / comments
17.01.2005Roger Antonsen  Lille auditorium  Introduction, syntax, propositional logic.  (Ch. 1-2.1) 
24.01.2005Roger Antonsen  Lille auditorium  Syntax, semantics, induction.  (Ch. 2.2-2.4) 
31.01.2005Roger Antonsen  Lille auditorium  Uniform notation, Tableaux.  (Ch. 2.6,3.1) 
07.02.2005Roger Antonsen   Lille auditorium  Propositional logic: soundness.  (Ch. 3.4) 
14.02.2005Roger Antonsen  Lille auditorium  Propositional logic: completeness, consequence.  (Ch. 3.5,3.8-3.9) 
21.02.2005Christian Mahesh Hansen  Lille auditorium  First-order logic: syntax.  (Ch. 5.1,5.2) 
28.02.2005Christian Mahesh Hansen  Lille auditorium  First-order logic: semantics, tableau system.  (Ch. 5.3,5.7,6.1) 
07.03.2005Christian 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.2005Christian Mahesh Hansen  Lille auditorium  First-order logic: completeness.  (Ch. 5.4,5.6 + compendium on completeness )  
11.04.2005Christian 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.2005Christian Mahesh Hansen  Lille auditorium  Automated reasoning: soundness for free variable tableaux.  (Ch 7.7) 
25.04.2005Christian Mahesh Hansen  Lille auditorium  Automated reasoning: completeness for free variable tableaux.  (Ch 7.8) 
02.05.2005Roger Antonsen  Grupperom 3A, Ifi  "Systems of deduction"  pp. 133-139 
09.05.2005Roger Antonsen  Lille auditorium  "Systems of deduction"  pp 148-157, 159-162 
16.05.2005--------   --------   --------   Whit Monday (Andre pinsedag). 
23.05.2005Roger Antonsen  Lille auditorium  "Systems of deduction"  pp 173-177 
30.05.2005Roger Antonsen, Christian Mahesh Hansen  Lille auditorium  Repetition   
Published Jan. 5, 2005 4:48 PM - Last modified May 23, 2005 9:41 PM