Computability (2011/12, Master of Science in Computer Science)


This page provides some information about the Computability course.

The syllabus can be found on the Esse3 page.


Here are my short notes for the course.

These are work in progress, and may be updated at any time until the very end of the course. The Nov 30 version contains all the material; further updates only contain clarifications (and possibly corrections).

Office Hours (Ricevimento Studenti)

There is no fixed schedule for office hours. Rather:


Here you can find some questions from my previous exams. You will also find many questions answered here.

Exam Procedures

There will be a mandatory written test and a mandatory oral test.

About the written test:

About the oral test:

Exam Dates

Remember to register to the exam sessions on Esse3. Failure to do so results in the impossibility to take the exam. (In case of technical problems, send me an email before the registration period runs out).

Reminder: there will be NO other exam sessions beyond the mandated five per year. This is communicated to students every year during the first lecture.

Also, starting from 2011, I will try my best to avoid changing the exam dates so that students can plan everything in advance (e.g. buying plane tickets). Because of this, I can not move exam dates, even in the unfortunate event that they overlap with, or are very near to, other exams. Please also understand that the current system does not allow me to predict overlaps: I can only discover them once they are published on ESSE3, and by that time it is too late.


The students wishing to improve their understanding of mathematical proofs are referred to the following basic logic and set theory books:

Computability references and textbooks:

I will try to point out in my notes which parts of the books above are actually used in the course.

Home - Teaching - Computability

Valid CSS Valid XHTML 1.1 Roberto Zunino, 2012