Wiki source code of Malliteoria, syksy 2008

Last modified by asaekman@helsinki_fi on 2024/03/27 09:58
Show last authors
1 = Malliteoria, syksy 2008 =
2
3 === Ajankohtaista ===
4
5 Toisen kurssikokeen tulokset ovat ilmoitustaululla.
6
7 === Laskuharjoitustehtävät ===
8
9 [[Harjoitus 1>>attach:harj1.pdf]]
10 [[Harjoitus 2>>attach:harj2.pdf]]
11 [[Harjoitus 3>>attach:harj3.pdf]]
12 [[Harjoitus 4>>attach:harj4.pdf]]
13 [[Harjoitus 5>>attach:harj5.pdf]]
14 [[Harjoitus 6>>attach:harj6.pdf]]
15 [[Harjoitus 7>>attach:harj7.pdf]]
16 [[Harjoitus 8>>attach:harj8.pdf]]
17 [[Harjoitus 9>>attach:harj9.pdf]] korjattu 14.11.
18 [[Harjoitus 10>>attach:harj10.pdf]]
19 [[Harjoitus 11>>attach:harj11.pdf]]
20 [[Harjoitus 12>>attach:harj12.pdf]]
21
22 === Luennoitsija ===
23
24 [[Åsa Hirvonen>>doc:mathstatHenkilokunta.Hirvonen, Åsa]]
25
26 === Laajuus ===
27
28 10 op.
29
30 === Tyyppi ===
31
32 Syventävä opinto.
33
34 === Luentoajat ===
35
36 Viikot 37-42 ja 44-50 ma 12-14, to 12-14 B321. Lisäksi laskuharjoituksia 2 viikkotuntia.
37
38 === Kokeet ===
39
40 * 1. kurssikoe ti 14.10. 13-15 A111
41 * 2. kurssikoe ti 9.12. 13-15 A111
42
43 Vaihtoehtoisesti loppukoe ke 17.12. klo 12-16
44
45 === Esitietovaatimukset ===
46
47 Kurssin esitiedoiksi suositellaan kursseja Matemaattinen logiikka tai Logiikka I.
48
49 === Sisältö ===
50
51 ==== Ydinaines ====
52
53 Matemaattisen struktuurin, alimallin ja elementaarisen alimallin käsitteet
54 Isomorfismin ja elementaarisen ekvivalenssin käsitteet
55 Määriteltävyys (joukot ja malliluokat)
56 Kompaktisuus
57 Löwenheim-Skolemin lauseet
58 Tyypit ja tyypinhylkäyslause
59 Atomiset mallit, alkumallit ja saturoidut mallit
60
61 ==== Täydentävä tietous ====
62
63 Amalgamaatio
64 Edestakaiset konstruktiot ja EF-peli
65 Kvanttoreiden eliminointi
66 Numeroituvan kategorisuuden määrittäminen
67 Erottumattomat jonot
68
69 ==== Erityistietämys ====
70
71 Eksistentiaalisesti suljetut joukot ja mallitäydellisyys
72 Ultratulot
73 Ehrenfeucht-Mostowski-mallit
74 Morleyn teoreema
75
76 === Kirjallisuus ===
77
78 David Marker, Model Theory: An Introduction, Springer 2002.
79
80 === [[Ilmoittaudu>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57245||shape="rect"]] ===
81
82 === Laskuharjoitukset ===
83
84 |=(((
85 Ryhmä
86 )))|=(((
87 Päivä
88 )))|=(((
89 Aika
90 )))|=(((
91 Paikka
92 )))|=(((
93 Pitäjä
94 )))
95 |(((
96 1.
97 )))|(((
98 ke
99 )))|(((
100 10 - 12
101 )))|(((
102 C130
103 )))|(((
104 Tapio Eerola
105 )))