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.

Topics (selection)


Assessment criteria

The assessment method is the final exam.

The final grade will be an integer between 0 and 5, with the following indicative meaning:

In addition, two or three tests will take place during the exercise sessions.

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


Silvio Capobianco

Back to home page

Last updated: 15.09.2017