Finite model theory, spring 2013

Lecturer

Pietro Galliani

Scope

10 cu.

Type

Advanced studies

Prerequisites

Basic knowledge of mathematical logic (especially model theory) and computation complexity.

Lectures

Weeks 3-9 and 11-18, Monday 12-14 in room B120 and Thursday 10-12 in room C124.

No Lectures on Weeks 6 and 7 (Feb 3 - Feb 17)

Easter holiday 28.3.-3.4.

NEXT LESSON ON MON APR 8

Exercise Sessions:

First exercise session

Exams

Bibliography

Väänänen, A Short Course in Finite Model Theory.

Ebbinghaus and Flum, Finite Model Theory.

Luosto, Äärellisten mallien teoria (in Finnish).

You can also read the slides of Lauri Hella's summer course in Aix-en-Provence.

Registration

Did you forget to register? What to do.

Exercise groups