Last modified by thyttine@helsinki_fi on 2024/03/27 10:33
Show last authors
1 = Matemaattinen logiikka, syksy 2011 =
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 Kurssi Logiikka I auttaa, mutta ei ole aivan välttämätön.
18
19 === Luentoajat ===
20
21 Viikot 36-42 ja 44-50 ma 14-16, to 14-16 D123, lisäksi laskuharjoituksia 2 viikkotuntia.
22
23 === Kokeet ===
24
25 ~1. välikoe Pe 21.10 Klo 13-15 A111 Koealue: monisteen sivut 1-44
26
27 2. välikoe Ke 14.12 Klo 13-15 A111 Koealue: monisteen sivut 45-85
28
29 === Kirjallisuus ===
30
31 [[J. Väänänen, Matemaattinen logiikka>>attach:luentoteksti2010.pdf]]
32
33 [[Rekursiivisista määritelmistä>>attach:rek.pdf]]
34
35 === [[Ilmoittaudu>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57067||shape="rect"]] ===
36
37 Unohditko ilmoittautua? [[Mitä tehdä>>doc:mathstatOpiskelu.Kysymys4]].
38
39 === Laskuharjoitukset ===
40
41 Ensimmäiset harjoitukset 19.9.
42
43 Malliratkaisut löytyvät huoneen C127 seinältä kohdasta malliteoria.
44
45 [[Harjoitus 1>>attach:11harj1.pdf]]
46
47 [[Harjoitus 2>>attach:11harj2.pdf]]
48
49 [[Harjoitus 3>>attach:11harj3.pdf]]
50
51 [[Harjoitus 4>>attach:11harj4.pdf]]
52
53 [[Harjoitus 5>>attach:11harj5.pdf]]
54
55 [[Harjoitus 6>>attach:11harj6.pdf]] [[välikoe>>attach:koe111.pdf]]
56
57 [[Harjoitus 7>>attach:11harj7.pdf]]
58
59 [[Harjoitus 8>>attach:11harj8.pdf]]
60
61 [[Harjoitus 9>>attach:11harj9.pdf]]
62
63 [[Harjoitus 10>>attach:11harj10.pdf]]
64
65 [[Harjoitus 11>>attach:11harj11.pdf]]
66
67 [[Harjoitus 12>>attach:11harj12.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 C123
88 )))|(((
89 Tapani Hyttinen
90 )))