Tik-79.146 Logic in Computer Science:
Special Topics I
Spring 2000
The material covered in the exam:
- Lectures and Tutorials
- Fitting, Basic Modal Logic, Handbook of Logic in
Artificial Intelligence and Logic Programming, Volume 1, Logical
Foundations, 1993.
Section 1 (pp. 365-419), excluding subsections 1.8, 1.11 and 1.13.
- E.A. Emerson, Automated Temporal Reasoning about Reactive Systems,
Logics for Concurrency, F. Moller and G. Birtwistle (Eds.),
Springer-Verlag, 1996, LNCS 1043
Sections 1-4 (pp. 41-63), excluding subsection 2.5.
Lecture notes and tutorials are available in PostScript form on the
homepage of the course:
http://www.tcs.hut.fi/Teaching/Tik-79.146/