Tik-79.146 Logic in Computer Science: Special Topics I
Spring 1998
Program
- Week 4: Introduction to the course, a refresher on propositional
and predicate logic.
- Week 5: Introduction to modal logics
- Week 6: Modal logics: syntax, possible worlds semantics
- Week 7: Basic properties of the possible worlds semantics
- 1. Home assignment
- Week 8: No lectures nor tutorials
- Week 9: Example modal logics
- Week 10: Hilbert style proof theory
- Week 11: Hilbert style proof theory; tableau method for modal logics
- Week 12: Tableau method for modal logics
- Week 13: Tableau method for modal logics
- 2. Home assignment
- Week 14: Modal logics: Relation to predicate logic, multi-modal
logics,
decidability and computational complexity issues
- Week 15: Temporal logics for reactive systems (CTL,LTL): syntax and
semantics
- Week 16: Easter holidays: No lectures nor tutorials
- Week 17: Temporal logics: Expressivity, complexity, and applications
- 3. Home assignment
- Week 18: Temporal logics: Implementation principles of automated tools.
- Week 19: Review of the course; feedback from the students