Finite model theory, spring 2013
Last modified by galliani@helsinki_fi on 2024/03/27 10:17
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:
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
Group | Day | Time | Place | Instructor |
---|---|---|---|---|
1. | Friday | 10-12 | B321 | Pietro Galliani |