Kaisa_2012_3_photo by Veikko Somerpuro

Anmäl dig
13.8.2018 kl. 09:00 - 13.12.2018 kl. 23:59

Meddelande

Bild för Juha Kontinen

Juha Kontinen

Publicerad, 4.12.2018 kl. 14:47

Info for the last two weeks of the course:

- There will be no lecture of Thursday 6.12 (Independence Day),
-The exam of the course will be on Thursday 13.12, 9-12, in B121,
- On Monday 10.12 we review the course material with an eye on the exam.

Bild för Juha Kontinen

Juha Kontinen

Publicerad, 28.10.2018 kl. 20:55

The lecture of Monday 29.10 is cancelled.

Bild för Juha Kontinen

Juha Kontinen

Publicerad, 29.8.2018 kl. 17:06

The first lecture of the course will be on Thursday 6.9 and the first exercise class of Tuesday 11.9.

Tidsschema

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

DatumTidPlats
mån 3.9.2018
14:15 - 16:00
tis 4.9.2018
12:15 - 14:00
tors 6.9.2018
10:15 - 12:00
mån 10.9.2018
14:15 - 16:00
tis 11.9.2018
12:15 - 14:00
tors 13.9.2018
10:15 - 12:00
mån 17.9.2018
14:15 - 16:00
tis 18.9.2018
12:15 - 14:00
tors 20.9.2018
10:15 - 12:00
mån 24.9.2018
14:15 - 16:00
tis 25.9.2018
12:15 - 14:00
tors 27.9.2018
10:15 - 12:00
mån 1.10.2018
14:15 - 16:00
tis 2.10.2018
12:15 - 14:00
tors 4.10.2018
10:15 - 12:00
mån 8.10.2018
14:15 - 16:00
tis 9.10.2018
12:15 - 14:00
tors 11.10.2018
10:15 - 12:00
mån 15.10.2018
14:15 - 16:00
tis 16.10.2018
12:15 - 14:00
tors 18.10.2018
10:15 - 12:00
mån 29.10.2018
14:15 - 16:00
tis 30.10.2018
12:15 - 14:00
tors 1.11.2018
10:15 - 12:00
mån 5.11.2018
14:15 - 16:00
tis 6.11.2018
12:15 - 14:00
tors 8.11.2018
10:15 - 12:00
mån 12.11.2018
14:15 - 16:00
tis 13.11.2018
12:15 - 14:00
tors 15.11.2018
10:15 - 12:00
mån 19.11.2018
14:15 - 16:00
tis 20.11.2018
12:15 - 14:00
tors 22.11.2018
10:15 - 12:00
mån 26.11.2018
14:15 - 16:00
tis 27.11.2018
12:15 - 14:00
tors 29.11.2018
10:15 - 12:00
mån 3.12.2018
14:15 - 16:00
tis 4.12.2018
12:15 - 14:00
mån 10.12.2018
14:15 - 16:00
tis 11.12.2018
12:15 - 14:00
tors 13.12.2018
10:15 - 12:00

Material

Materials

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

Exercise set 13

Beskrivning

Optional course.

Master's Programme in Mathematics and Statistics is responsible for the course.

The course belongs to the Mathematics and Applied mathematics module.

The course is available to students from other degree programmes.

E.g. Johdatus logiikkaan II

Master studies

Basic techniques of finite model theory such as the Ehrenfeucht–Fraïssé game and some classical results of descriptive complexity theory.

Recommended time/stage of studies for completion: 1. or 2. year

Term/teaching period when the course will be offered: varying

Ehrenfeucht–Fraïssé game and the pebble game, finite automata, second-order logic, fixed-point logics, infinitary logic, Turing machines and complexity classes, zero-one laws

H.-D. Ebbinghaus and J. Flum: Finite Model Theory (1999); L. Libkin: Elements of finite model theory (2004)

Lectures and exercise classes

Exam and excercises, Course will be graded with grades 1-5

Exam, other methods will be described later