Last modified by galliani@helsinki_fi on 2024/03/27 10:17
Show last authors
1 = Finite model theory, spring 2013 =
2
3 === Lecturer ===
4
5 Pietro Galliani
6
7 === Scope ===
8
9 10 cu.
10
11 === Type ===
12
13 Advanced studies
14
15 === Prerequisites ===
16
17 Basic knowledge of mathematical logic (especially model theory) and computation complexity.
18
19 === Lectures ===
20
21 Weeks 3-9 and 11-18, Monday 12-14 in room B120 and Thursday 10-12 in room C124.
22
23 No Lectures on Weeks 6 and 7 (Feb 3 - Feb 17)
24
25 Easter holiday 28.3.-3.4.
26
27 (% style="color: rgb(255,0,0);" %)NEXT LESSON ON MON APR 8
28
29
30 === Exercise Sessions: ===
31
32 [[First exercise session>>attach:exercises.pdf]]
33
34 === Exams ===
35
36 === Bibliography ===
37
38 Väänänen, [[A Short Course in Finite Model Theory>>url:http://www.math.helsinki.fi/logic/people/jouko.vaananen/shortcourse.pdf||shape="rect"]].
39
40 Ebbinghaus and Flum, Finite Model Theory.
41
42 Luosto, {{id name="suomeksi"/}}[[Äärellisten mallien teoria>>url:http://mathstat.helsinki.fi/kurssit/aemt/aemt.pdf||shape="rect"]] (in Finnish).
43
44 You can also read the [[slides>>url:http://mathstat.helsinki.fi/logic/people/lauri.hella/Aix97.ps||shape="rect"]] of Lauri Hella's summer course in Aix-en-Provence.
45
46 === [[Registration>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57024||shape="rect"]] ===
47
48 Did you forget to register? [[What to do>>doc:mathstatOpiskelu.Kysymys4]].
49
50 === Exercise groups ===
51
52 |=(((
53 Group
54 )))|=(((
55 Day
56 )))|=(((
57 Time
58 )))|=(((
59 Place
60 )))|=(((
61 Instructor
62 )))
63 |(((
64 1.
65 )))|(((
66 Friday
67 )))|(((
68 10-12
69 )))|(((
70 B321
71 )))|(((
72 Pietro Galliani
73 )))