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.

Anmäl dig
11.12.2017 kl. 09:00 - 3.5.2018 kl. 23:59

Meddelande

Bild för Juha Kontinen

Juha Kontinen

Publicerad, 3.5.2018 kl. 15:55

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

Bild för Juha Kontinen

Juha Kontinen

Publicerad, 27.4.2018 kl. 14:37

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

Bild för Juha Kontinen

Juha Kontinen

Publicerad, 9.4.2018 kl. 10:38

The lecture of Monday 9 April is cancelled.

Bild för Juha Kontinen

Juha Kontinen

Publicerad, 25.2.2018 kl. 22:15

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

Bild för Juha Kontinen

Juha Kontinen

Publicerad, 2.2.2018 kl. 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).

Bild för Juha Kontinen

Juha Kontinen

Publicerad, 17.1.2018 kl. 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.

Bild för Juha Kontinen

Juha Kontinen

Publicerad, 15.1.2018 kl. 16:26

There will be no exercise class on Tuesday 16.1.

Tidsschema

I den här delen hittar du kursens tidsschema. Kontrollera eventuella andra tider i beskrivning.

DatumTidPlats
mån 15.1.2018
14:15 - 16:00
tors 18.1.2018
10:15 - 12:00
mån 22.1.2018
14:15 - 16:00
tors 25.1.2018
10:15 - 12:00
mån 29.1.2018
14:15 - 16:00
tors 1.2.2018
10:15 - 12:00
mån 5.2.2018
14:15 - 16:00
tors 8.2.2018
10:15 - 12:00
mån 12.2.2018
14:15 - 16:00
tors 15.2.2018
10:15 - 12:00
mån 19.2.2018
14:15 - 16:00
tis 20.2.2018
08:15 - 10:00
mån 26.2.2018
14:15 - 16:00
tors 1.3.2018
10:15 - 12:00
mån 12.3.2018
14:15 - 16:00
tors 15.3.2018
10:15 - 12:00
mån 19.3.2018
14:15 - 16:00
tors 22.3.2018
10:15 - 12:00
mån 26.3.2018
14:15 - 16:00
tors 5.4.2018
10:15 - 12:00
mån 9.4.2018
14:15 - 16:00
tors 12.4.2018
10:15 - 12:00
mån 16.4.2018
14:15 - 16:00
tors 19.4.2018
10:15 - 12:00
mån 23.4.2018
14:15 - 16:00
tors 26.4.2018
10:15 - 12:00
mån 30.4.2018
14:15 - 16:00
tors 3.5.2018
10:15 - 12:00

Övrig undervisning

16.01.2018 tis 12.15-14.00
26.01. - 02.03.2018 fre 10.15-12.00
16.03. - 23.03.2018 fre 10.15-12.00
06.04. - 27.04.2018 fre 10.15-12.00
Juha Kontinen
Undervisningsspråk: Engelska

Material

Övriga

Uppgifterna

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