T-79.146 Logic in Computer Science:
Special Topics I
Spring 2002
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.
- E. Clarke and O. Grumberg and D. Peled,
Model Checking, The MIT Press, 1999.
Chapters 1,3,4 (pp. 1-11, 27-49).
Lecture notes and tutorials are available in PostScript form in the
homepage of the course:
http://www.tcs.hut.fi/Teaching/T-79.146/