Wiki source code of Malliteoria, syksy 2010

Last modified by thyttine@helsinki_fi on 2024/03/27 10:09
Show last authors
1 = Malliteoria, syksy 2010 =
2
3 === Luennoitsija ===
4
5 [[Tapani Hyttinen>>doc:mathstatHenkilokunta.Hyttinen, Tapani]]
6
7 === Laajuus ===
8
9 10 op.
10
11 === Tyyppi ===
12
13 Syventävä opinto
14
15 === Esitietovaatimukset ===
16
17 Perustiedot matemaattisesta logiikasta, esim. kurssin matemaattinen logiikka
18 alkuosa ja lisäksi eduksi olisi hallita naiivin joukko-opin perusasiat
19 (ordinaalit, kardinaalit ja induktiot).
20
21 === Sisältö (alustava) ===
22
23 Tutustumme klassiseen 50 ja 60 lukujen malliteoriaan, erityisesti
24 kvanttoreiden eliminointiin, Ehrenfeucht-Fraisse peliin, tyypin käsitteeseen ja
25 Ehrenfeucht-Mostowski malleihin.
26
27 === Materiaali (alustava, luentojen edistyessä teen korjauksia ja muutoksia) ===
28
29 [[Model theory>>attach:malli.pdf]]
30
31 === Luentoajat ===
32
33 Viikot 36-42 ja 44-50 ma 14-16, to 14-16 C124.
34
35 === Kokeet ===
36
37 === Kirjallisuus ===
38
39 === [[Ilmoittaudu>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57245||shape="rect"]] ===
40
41 Unohditko ilmoittautua? [[Mitä tehdä>>doc:mathstatOpiskelu.Kysymys4]].
42
43 === Laskuharjoitukset ===
44
45 The first exercise class will be on Monday 20.9.
46
47 [[Harjoitus 1>>attach:harj1.pdf]]
48
49 [[Harjoitus 2>>attach:harj2.pdf]]
50
51 [[Harjoitus 3>>attach:harj3.pdf]]
52
53 [[Harjoitus 4>>attach:harj4.pdf]]
54
55 [[Harjoitus 5>>attach:harj5.pdf]]
56
57 [[Harjoitus 6>>attach:harj6.pdf]]
58
59 [[Harjoitus 7>>attach:harj7.pdf]]
60
61 [[Harjoitus 8>>attach:harj8.pdf]]
62
63 [[Harjoitus 9>>attach:harj9.pdf]]
64
65 [[Harjoitus 10>>attach:harj10.pdf]]
66
67 [[Harjoitus 11>>attach:harj11.pdf]]
68
69 |=(((
70 Ryhmä
71 )))|=(((
72 Päivä
73 )))|=(((
74 Aika
75 )))|=(((
76 Paikka
77 )))|=(((
78 Pitäjä
79 )))
80 |(((
81 1.
82 )))|(((
83 ma
84 )))|(((
85 16-18
86 )))|(((
87 C124
88 )))|(((
89 Tapani Hyttinen
90 )))