T-79.3001 Logic in Computer Science: Foundations

Tentative schedule (Spring 2006)


Period III

Propositional Logic

Lecture 1 (16.1.2006)
Practical arrangements
Brief introduction
Syntax of propositional logic (Section 1)
Lecture 2 (23.1.2006)
Semantics of propositional logic (Sections 2 and 3)
Lecture 3 (30.1.2006)
Semantic tableaux (Sections 4.1 - 4.4)
Lecture 4 (6.2.2006)
Tableau proofs vs. classical proofs (Sections 4.5 - 5)
Lecture 5 (13.2.2006)
Normal forms and resolution (Sections 6 - 7.3)
No lecture (20.2.2006)
Skiing holidays
Lecture 6 (27.2.2006)
Resolution and computational complexity (Sections 7.4 - 8)

Period IV

Predicate Logic

Lecture 7 (13.3.2006)
Syntax and semantics of predicate logic (Sections 1 - 2.2)
Lecture 8 (20.3.2006)
Semantics (continued) and normal forms (Sections 2.3 - 3)
Lecture 9 (27.3.2006)
Semantic tableaux (Section 4)
Lecture 10 (3.4.2006)
Knowledge presentation (Section 5)
Lecture 11 (10.4.2006)
Herbrand's theorem, unification, resolution (Sections 6-8)
No lecture (17.4.2006)
Easter holidays
Lecture 12 (24.4.2006)
Program verification (Section 9)
No lecture (1.5.2006)
Mayday