ITT0040 -- Logic for Computer Science
Fall semester 2017
Attention: the course will not be activated if fewer than 6
people will have registered by Thursday 14 September.
UPDATE: as of 15 September, only one student has
registered. The course will be cancelled.
Hope to see you next year!
The study course ITT0040 -- Logic for Computer Science
will take place in TUT in the fall semester of year 2017.
The course is primarily intended for MSc and PhD students of the
School of Information Technology.
There are no prerequisites for this course, aside from interest
in the topic and will to work hard.
The course will be in English. The instructor is
Silvio Capobianco (Department of Software Science)
Aims of the course
The objective of the course is to acquaint the student with
mathematical logic (mainly proof theory and non-classical
logics) as one of the foundational disciplines of modern
computer science, along with its most important applications.
At the end of the course, the successful student will appreciate
the centrality of logic's role in modern computer science, know
the main methods of logic, and command the main applications
well enough to be able to use them.
Classical propositional and predicate logic: syntax and
Proof systems: Hilbert systems, natural deduction, sequent
Undecidability of predicate logic.
Theories and axiomatizations.
Incompleteness of arithmetics.
Modal logic: tense logic, dynamic logic, logics of knowledge
Applications in computer science: model checking of discrete
systems, deductive verification of programs.
Reeves, S. and Clarke, M. Logic for Computer Science.
This is the main textbook. A free electronic of the 2003
edition is available
Huth, M. and Ryan, M. Logic in Computer Science: Modelling and
Reasoning about Systems. 2nd edition. Cambridge University
Bornat, R. Proof and disproof in formal logic: an introduction
for programmers. Oxford University Press, 2005.
The assessment method is the final exam.
The exam lasts three hours and consists on the written
resolution of a series of exercises.
Two appeals will be scheduled. Those who fail the exam on the
first appeal may take it again on the second one. Those who
want to improve the score of the first appeal may take the
second one, but the latter's score will be final even if it
gives a failing grade.
Use of handwritten notes is allowed. Any other
material, including textbooks and printouts, is forbidden.
Mobile phones are banned! The final exam is of fundamental
importance and no one should feel entitled to disturb you
while you are taking it. Before the beginning of the exam you
will be asked to turn off your cell phones and put them on the
Cheating earns a failing grade, which is final (plus the
The final grade will be an integer between 0 and 5, with the
following indicative meaning:
5: The student commands the subject.
4: The student has a good grasp on the subject, with some
small mistakes or imprecisions.
3: The student understands most of the subject, but there are
some evident major flaws, e.g., major errors in the final
2: The student understands the bulk of the subject, but shows
serious lacks or misunderstandings.
1: The student did the bare minimum for a passing grade. The
approach to the course might have been the wrong one.
0: This is a failing grade. At the end of the course the
student did not display any actual knowledge of the subject.
In addition, two or three tests will take place during the
The tests are not compulsory and cannot be retaken. They are
meant as tools for self-evaluation on behalf of the students.
A test taken can give a bonus for the final exam, provided the
latter is taken on the first appeal. The amount of
such bonus will be up to 10 percent of the final score of the
Classroom Instruction will take place from the 8th of September
on Fridays in room ICT-312, from 14:00 to 15:30 (lectures) and
from 16:00 to 17:30 (exercises)
Students who want to get credits from this course need to
declare it in ÕIS as usual.
Questions and clarifications are welcome at
Back to home page
Last updated: 15.09.2017