Last modified by jvaanane@helsinki_fi on 2024/03/27 10:37
Show last authors
1 = Matemaattinen logiikka, syksy 2012 =
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, pe 12-14 D123, lisäksi laskuharjoituksia 2 viikkotuntia.
22
23 === Kokeet ===
24
25 ~1. välikoe: Ma 15.10 13-15 A111 tai B123 Koealue: Monisteen sivut 1-44 pois lukien sijoitettavuuslause.
26 Kokeen tulokset ilmoitustaululla.
27
28 2. välikoe: Ti 11.12 13-15 A111 tai B123 Koealue: Monisteen sivut 45-86.
29
30 === Kirjallisuus ===
31
32 [[J. Väänänen, Matemaattinen Logiikka>>attach:luentoteksti2010.pdf]]
33
34 [[Rekursiivisista määritelmistä>>attach:REK.pdf]]
35
36 === [[Ilmoittaudu>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57067||shape="rect"]] ===
37
38 Unohditko ilmoittautua? [[Mitä tehdä>>doc:mathstatOpiskelu.Kysymys4]].
39
40 === Laskuharjoitukset ===
41
42 Ensimmäiset harjoitukset 17.9
43
44 |=(((
45 Ryhmä
46 )))|=(((
47 Päivä
48 )))|=(((
49 Aika
50 )))|=(((
51 Paikka
52 )))|=(((
53 Pitäjä
54 )))
55 |(((
56 1.
57 )))|(((
58 Ma
59 )))|(((
60 16-18
61 )))|(((
62 C122
63 )))|(((
64 Tapani Hyttinen
65 )))