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.

Ilmoittaudu
11.12.2017 klo 09:00 - 3.5.2018 klo 23:59

Viestit

Käyttäjän Juha Kontinen kuva

Juha Kontinen

Julkaistu, 3.5.2018 klo 15:55

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

Käyttäjän Juha Kontinen kuva

Juha Kontinen

Julkaistu, 27.4.2018 klo 14:37

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

Käyttäjän Juha Kontinen kuva

Juha Kontinen

Julkaistu, 9.4.2018 klo 10:38

The lecture of Monday 9 April is cancelled.

Käyttäjän Juha Kontinen kuva

Juha Kontinen

Julkaistu, 25.2.2018 klo 22:15

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

Käyttäjän Juha Kontinen kuva

Juha Kontinen

Julkaistu, 2.2.2018 klo 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).

Käyttäjän Juha Kontinen kuva

Juha Kontinen

Julkaistu, 17.1.2018 klo 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.

Käyttäjän Juha Kontinen kuva

Juha Kontinen

Julkaistu, 15.1.2018 klo 16:26

There will be no exercise class on Tuesday 16.1.

Aikataulu

Tästä osiosta löydät kurssin opetusaikataulun. Tarkista mahdolliset muut aikataulut kuvauksesta.

PäivämääräAikaOpetuspaikka
Ma 15.1.2018
14:15 - 16:00
To 18.1.2018
10:15 - 12:00
Ma 22.1.2018
14:15 - 16:00
To 25.1.2018
10:15 - 12:00
Ma 29.1.2018
14:15 - 16:00
To 1.2.2018
10:15 - 12:00
Ma 5.2.2018
14:15 - 16:00
To 8.2.2018
10:15 - 12:00
Ma 12.2.2018
14:15 - 16:00
To 15.2.2018
10:15 - 12:00
Ma 19.2.2018
14:15 - 16:00
Ti 20.2.2018
08:15 - 10:00
Ma 26.2.2018
14:15 - 16:00
To 1.3.2018
10:15 - 12:00
Ma 12.3.2018
14:15 - 16:00
To 15.3.2018
10:15 - 12:00
Ma 19.3.2018
14:15 - 16:00
To 22.3.2018
10:15 - 12:00
Ma 26.3.2018
14:15 - 16:00
To 5.4.2018
10:15 - 12:00
Ma 9.4.2018
14:15 - 16:00
To 12.4.2018
10:15 - 12:00
Ma 16.4.2018
14:15 - 16:00
To 19.4.2018
10:15 - 12:00
Ma 23.4.2018
14:15 - 16:00
To 26.4.2018
10:15 - 12:00
Ma 30.4.2018
14:15 - 16:00
To 3.5.2018
10:15 - 12:00

Muu opetus

16.01.2018 Ti 12.15-14.00
26.01. - 02.03.2018 Pe 10.15-12.00
16.03. - 23.03.2018 Pe 10.15-12.00
06.04. - 27.04.2018 Pe 10.15-12.00
Juha Kontinen
Opetuskieli: englanti

Materiaalit

Muu

Tehtävät

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