Tik-79.146 Logic in Computer Science: Special Topics I
This is an advanced course on logic and its applications in computer
science and engineering. Subjects covered this year are:
modal logics (syntax, semantics and proof theory) and
applications of temporal logic in concurrent and distributed systems.
- Lectures by
Mondays 14-16, room U344
- Tutorials by
Tuesdays 16-17, room U344
- Course material:
Fitting, Basic Modal Logic, Handbook of Logic in
Artificial Intelligence and Logic Programming, Volume 1, Logical
E.A. Emerson, Automated Temporal Reasoning about Reactive Systems,
Logics for Concurrency, F. Moller and G. Birtwistle (Eds.),
Springer-Verlag, 1996, LNCS 1043, pp. 41-99.
- In order to pass the course one has to
- pass the home assignments
- pass the exam (with a grade greater than 0)
- Newsgroup: opinnot.tik.logiikka
- Brochure in Finnish
course information at
- Exam: 20.5.1998, 12-15, ABKLN
Instructions for the exam.
Exam on 21.5.1997
Exam on 26.9.1997
Exam on 20.5.1998
Lecture Notes ***
Home assignments ***
Other Interesting Stuff
(Slides in Finnish; Postscript form)
- Introduction to the course
- A refresher on propositional and predicate logic
Modal Logic I
- Introduction to modal logics, syntax, semantics, basic properties
Modal Logic II
- Example modal logics
Modal Logic III
- Hilbert style proof theory
Modal Logic IV
- Tableau Method
Modal Logic V
- Translation to predicate logic, multi-modal logic
Modal Logic VI
- Decidability and computational complexity
Modal Logic VII
- Introduction to temporal logic; CTL and LTL
Modal Logic VIII
- CTL vs. LTL
CTL Model Checking (by Keijo Heljanko)
to CTL model checking,
a CTL model
Modal Logic IX
- Tableau method for CTL
There are 3 compulsory home assignments (see Program). Each
student is given a personal assignment.
The assignments can be returned at the lectures or tutorials or to the
box by the room Y418.
The first home assignment is distributed starting on Monday 9.2.98 at the
lecture 14-16 o'clock.
The deadline for the first assignment is Monday 2.3.98.
- The second home assignment is distributed starting on Monday
23.3.98 at the lecture 14-16 o'clock.
The deadline for the second assignment is Wednesday 15.4.98.
- The third home assignment is distributed starting on Monday
20.4.98 at the lecture 14-16 o'clock.
The deadline is Monday 11.5.98.
For more detailed instructions, see
how to get
used by the model checker.
If you cannot come to pick up your assignment at the lectures, please
contact the lecturer directly.
Other Interesting Stuff
Robbins Algebras Are Boolean
- Information on a proof of a famous mathematical conjecture found by
an automated theorem prover.
Maintained by Ilkka.Niemela@hut.fi