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
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
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