Course pages have been renewed, these pages are no longer updated. You can find the new course pages via the Courses search
Kaisa_2012_3_photo by Veikko Somerpuro
This is an introductory course on computability theory.
The text book for the course is "Computability: An Introduction to Recursive Function Theory" by Nigel Cutland.
The course exam will be held on Monday 7.5 at 12-15 in lecture room B321.
The last week of lectures (and the last exercise session) will consist of course project presentations of the course participants.
The lecture of Monday 9 April is cancelled.
The lecture of Monday 26 Feb is cancelled. The next lecture is on Thursday 1 March.
A change of schedule for the week 8:
The lecture of Thursday, Feb 22, has been moved to Tuesday, Feb 20, 8-10 (B121).
Note that the exercise class has been rescheduled to Friday 10-12 (CK111). The first exercise session will be on Friday 26.1. I will post the first set of exercises on the course webpage later this week.
There will be no exercise class on Tuesday 16.1.
Here is the course’s teaching schedule. Check the description for possible other schedules.
Learn more about the classrooms accessibility and facilities (in Finnish)