Wiki source code of Model theory, spring 2017

Last modified by thyttine@helsinki_fi on 2024/03/27 10:30
Show last authors
1 = Model theory, spring 2017 =
2
3
4
5 {{panel}}
6 **Teacher:** [[Tapani Hyttinen>>doc:mathstatHenkilokunta.Hyttinen, Tapani]]
7
8 **Scope:** 10 cr
9
10 **Type:** Advanced studies
11
12 **Teaching:**
13
14 **Topics: See the lecture notes below.**
15
16 **Prerequisites: Mathematical routine suffices.**
17 {{/panel}}
18
19 === {{toc maxLevel="4" minLevel="2" indent="20px"/}} ===
20
21 == News ==
22
23 *
24
25 == Teaching schedule ==
26
27 Weeks 3-9 and 11-18, Tuesday 14-16 and Friday 12-14 in room B120. Two hours of exercise classes per week.
28
29 Easter holiday 13.-19.4.
30
31 == Exam ==
32
33 24.5 12-16 (yleistentti) in A111, B123 or CK112. You need to register to the exam.
34
35 Also: 14.6 10-14 in A111 or B123. Registration needed.
36
37 Only pen is needed in the exam.
38
39 == Course material ==
40
41 The lecture notes can be found [[here>>attach:malli2.pdf]] (changes will be made during the cource). If one wants to learn the basics of set theory in more details than what I do in the lectures, slides by Fan Yang for the course elements of set theory spring 2014 are good for this (google can find this page or look the home page of the logic group).
42
43 == [[Registration>>url:https://weboodi.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=245||shape="rect"]] ==
44
45
46 (% style="color: rgb(96,96,96);" %)Did you forget to register? (%%)[[What to do?>>url:https://wiki.helsinki.fi/display/mathstatOpiskelu/Kysymys4||style="text-decoration: underline;" shape="rect"]]
47
48 == Exercises ==
49
50 Exercises are from the lecture notes. Some of them are part of the general theory and some are also rather difficult. For the difficult ones hints will be  given in the lectures.
51
52 Extra points will be rewarded from the exercises: 30% 1 point, 50% 2 points and 70%  3 points.
53
54 The first exercise class is on Tuesday 24.1.
55
56 === Assignments ===
57
58 * [[Exercise 1>>attach:harj1.pdf]] [[Hints>>attach:vihj1.pdf]]
59 * [[Exercise 2>>attach:harj2.pdf]] [[Hints>>attach:vihj2.pdf]]
60 * [[Exercise 3>>attach:harj3.pdf]] [[Hints>>attach:vihj3.pdf]]
61 * [[Exercise 4>>attach:harj4.pdf]] [[Hints>>attach:vihj4.pdf]]
62 * [[Exercise 5>>attach:harj5.pdf]] [[Hints>>attach:vihj5.pdf]]
63 * [[Exercise 6>>attach:harj6.pdf]] [[Hints>>attach:vihj6.pdf]]
64 * [[Exercise 7>>attach:harj7.pdf]] [[Hints>>attach:vihj7.pdf]]
65 * [[Exercise 8>>attach:harj8.pdf]] [[Hints>>attach:vihj8.pdf]]
66 * [[Exercise 9>>attach:harj9.pdf]] [[Hints>>attach:vihj9.pdf]]
67 * [[Exercise 10>>attach:harj10.pdf]] [[Hints>>attach:vihj10.pdf]]
68 * [[Exercise 11>>attach:harj11.pdf]] [[Hints>>attach:vihj11.pdf]]
69 * [[Exercise 12>>attach:harj12.pdf]] [[Hints>>attach:vihj12.pdf]]
70 * [[Exercise 13>>attach:harj13.pdf]] [[Hints>>attach:vihj13.pdf]]
71
72 === Exercise classes ===
73
74 (% class="wrapped" %)
75 |=(((
76 Group
77 )))|=(((
78 Day
79 )))|=(((
80 Time
81 )))|=(((
82 Room
83 )))|=(% colspan="1" %)(((
84 Instructor
85 )))
86 |(((
87 1.
88 )))|(((
89 Tuesday
90 )))|(((
91 16-18
92 )))|(((
93 B120
94 )))|(% colspan="1" %)(((
95 Tapani Hyttinen
96 )))
97
98 == Course feedback ==
99
100 Course feedback can be given at any point during the course. Click [[here>>url:https://elomake.helsinki.fi/lomakkeet/11954/lomake.html||style="line-height: 1.4285;" shape="rect"]].