Here are my short notes for the course.
The "9 Dec" version contains all the topics; further revisions are only meant to clarify some aspects, fix typos, etc.
Also see the Esse3 page for the course.
Midterm 2008-10-29: answers
Endterm 2008-12-17: answers
Session 1:
Written Exam: 2009-01-20 14:00 room 202 - answers
Oral Exam: 2009-01-26 9:00 room 201
Session 2:
Written Exam: 2009-02-06 8:30 room 202 - answers
Oral Exam: 2009-02-13 9:00 room 109
Session 3:
Written Exam: 2009-06-03 14:00 room 103 - answers
Oral Exam: 2009-06-15 9:00 room 201
Session 4:
Written Exam: 2009-07-06 14:00 room 109 - answers
Oral Exam: 2009-07-14 9:00 room 207
Session 5:
Written Exam: 2009-09-03 14:00 room 109 - questions
Oral Exam: 2009-09-11 10:00 room 107
How does the written exam work? It is made of two parts: part 1 is equivalent to the midterm, and part 2 is equivalent to the endterm.
How does the oral test work? I may ask you to provide a proof for any of the theorems/lemmata that are in the notes. I may ask you about the definitions that are in the notes. I may ask you to solve a short exercise.
Textbooks:
I will try to point out in my notes which parts of the books above are actually used in the course.
Basic set theory references:
Home - Teaching - Computability
Roberto Zunino, 2009