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