Computability (2010/11, 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.


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.


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, 2010