Kaisa_2012_3_photo by Veikko Somerpuro

Computability theory

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.

Enrol
11.12.2017 at 09:00 - 3.5.2018 at 23:59

Messages

Juha Kontinen's picture

Juha Kontinen

Published, 3.5.2018 at 15:55

The course exam will be held on Monday 7.5 at 12-15 in lecture room B321.

Juha Kontinen's picture

Juha Kontinen

Published, 27.4.2018 at 14:37

The last week of lectures (and the last exercise session) will consist of course project presentations of the course participants.

Juha Kontinen's picture

Juha Kontinen

Published, 9.4.2018 at 10:38

The lecture of Monday 9 April is cancelled.

Juha Kontinen's picture

Juha Kontinen

Published, 25.2.2018 at 22:15

The lecture of Monday 26 Feb is cancelled. The next lecture is on Thursday 1 March.

Juha Kontinen's picture

Juha Kontinen

Published, 2.2.2018 at 8:45

A change of schedule for the week 8:

The lecture of Thursday, Feb 22, has been moved to Tuesday, Feb 20, 8-10 (B121).

Juha Kontinen's picture

Juha Kontinen

Published, 17.1.2018 at 10:45

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.

Juha Kontinen's picture

Juha Kontinen

Published, 15.1.2018 at 16:26

There will be no exercise class on Tuesday 16.1.

Timetable

Here is the course’s teaching schedule. Check the description for possible other schedules.

DateTimeLocation
Mon 15.1.2018
14:15 - 16:00
Thu 18.1.2018
10:15 - 12:00
Mon 22.1.2018
14:15 - 16:00
Thu 25.1.2018
10:15 - 12:00
Mon 29.1.2018
14:15 - 16:00
Thu 1.2.2018
10:15 - 12:00
Mon 5.2.2018
14:15 - 16:00
Thu 8.2.2018
10:15 - 12:00
Mon 12.2.2018
14:15 - 16:00
Thu 15.2.2018
10:15 - 12:00
Mon 19.2.2018
14:15 - 16:00
Tue 20.2.2018
08:15 - 10:00
Mon 26.2.2018
14:15 - 16:00
Thu 1.3.2018
10:15 - 12:00
Mon 12.3.2018
14:15 - 16:00
Thu 15.3.2018
10:15 - 12:00
Mon 19.3.2018
14:15 - 16:00
Thu 22.3.2018
10:15 - 12:00
Mon 26.3.2018
14:15 - 16:00
Thu 5.4.2018
10:15 - 12:00
Mon 9.4.2018
14:15 - 16:00
Thu 12.4.2018
10:15 - 12:00
Mon 16.4.2018
14:15 - 16:00
Thu 19.4.2018
10:15 - 12:00
Mon 23.4.2018
14:15 - 16:00
Thu 26.4.2018
10:15 - 12:00
Mon 30.4.2018
14:15 - 16:00
Thu 3.5.2018
10:15 - 12:00

Other teaching

16.01.2018 Tue 12.15-14.00
26.01. - 02.03.2018 Fri 10.15-12.00
16.03. - 23.03.2018 Fri 10.15-12.00
06.04. - 27.04.2018 Fri 10.15-12.00
Juha Kontinen
Teaching language: English

Material

Other

Tasks

Exercise set 1

Exercise set 2

Exercise set 3

Exercise set 4

Exercise set 5

Exercise set 6

Exercise set 7

Exercise set 8

Exercise set 9

Exercise set 10

Exercise set 11

Exercise set 12