This course is replaced by IN3070 – Logic.

# Teaching plan

 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
Published Jan. 5, 2005 4:48 PM - Last modified May 23, 2005 9:41 PM