Last modified by jvaanane@helsinki_fi on 2024/03/27 10:41
Show last authors
1 = Matemaattinen logiikka(% style="letter-spacing: 0.1em;font-size: 18.0pt;" %), (%%)syksy 2013 =
2
3 === Ajankohtaista ===
4
5 * Laskuharjoitustehtäviä 1 muutettiin yksinkertaistamalla ohjeita ja lisäämällä uusi kohta tehtävään 4.
6 * Ei luentoa 24.9.13 eikä 2.10.13.
7 * Aion antaa korvaavan luennon tai luentoja (koska jotkut luennot ovat peruuntuneet). Olen lähettänyt ilmoittautuessa annettuun sähköpostiositteeseen jokaiselle kyselyn sopivasta korvaavan luennon ajankohdasta.
8 * Ylimääräinen luento ke 9.10.13 klo 14-16 samassa salissa D123, kuin muutkin luennot.
9 * Kun luennolla käytiin läpi deduktioteoreeman (7.14) todistusta, ilmeni, että oletus "ψ on lause" on turha. Korjaan luentotekstin tältä osin.
10 * Lauseeseen 8.21 (Los-Vaught) lisättiin oletus "jolla ei ole äärellisiä malleja".
11 * Laskuharjoituksissa 8 on tehtävään 1 pujahtanut painovirhe. Pitää olettaa, että c **ei** ole L:ssä. Se on nyt korjattu.
12 * (((
13 Luento 27.11.2013 on peruttu.
14 )))
15 * (% style="color: rgb(0,0,0);" %)Päällekkäisyyden vuoksi 2. kurssikokeen aika siirtyy: se on 12.12.2013 klo 16-18, CK112. Jos tämä ei sovi jollekin, voi neuvotella luennoitsijan kanssa.
16 * (% style="color: rgb(255,0,0);" %)__**Keskiviikkona 11.12.2013 ei ole luentoa.**__
17
18 === Luennoitsija(% style="color: rgb(0,0,0);line-height: 13.0pt;font-size: 10.0pt;font-weight: normal;" %) (%%) ===
19
20 [[Jouko Väänänen>>doc:mathstatHenkilokunta.Väänänen, Jouko]]
21 \\
22
23 === Laajuus ===
24
25 10(% style="line-height: 13.0pt;font-size: 10.0pt;" %) op.
26
27 === Tyyppi ===
28
29 Syventävä opinto
30
31 === Esitietovaatimukset ===
32
33 Kurssi Logiikka I auttaa, mutta ei ole aivan välttämätön.
34
35 === Luentoajat ===
36
37 Viikot 36-42 ja 44-50 ti 10-12 ja ke 16-18 D123. Lisäksi laskuharjoituksia 2 viikotuntia. Ensimmäinen luento 3.9.13. Ei luentoa 4.9.2013 eikä 24.9.13.
38
39 === Kokeet ===
40
41 Ensimmäinen kurssikoe on pe 18.10. klo 13-15 salissa A111 tai B123. Tarkempi salijako ilmoitetaan salien ovella ennen kokeen alkua. Ensimmäisen kurssikokeen alue on laskuharjoitukset 1-6. Kurssikokeen keskiarvo oli 17,0. Tehtävien keskiarvot olivat 1 (5,5), 2 (5,2), 3 (4,0), 4 (2,6).
42
43 (% style="color: rgb(255,0,0);" %)**Toinen kurssikoe on 12.12.2013 klo 16-18, CK112. Jos tämä ei sovi jollekin, voi neuvotella luennoitsijan kanssa. Koealue on laskuharjotukset 7-12. **
44
45 ====== Kirjallisuus ======
46
47 [[Luentoteksti>>attach:luentoteksti2013.pdf]]
48
49 === [[Ilmoittaudu kurssille>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=||shape="rect"]] ===
50
51
52 Unohditko ilmoittautua? [[Katso ohjeet täältä!>>doc:mathstatOpiskelu.Kysymys4]]
53
54 === Laskuharjoitukset ===
55
56 |=(((
57 Ryhmä
58 )))|=(((
59 Päivä
60 )))|=(((
61 Aika
62 )))|=(((
63 Paikka
64 )))|=(% colspan="1" %)(((
65 Pitäjä
66 )))
67 |(((
68 1.
69 )))|(((
70 to
71 )))|(((
72 10-12
73 )))|(((
74 B322
75 )))|(% colspan="1" %)(((
76 Miika Hannula
77 )))
78
79 === Tehtävät ===
80
81 1. [[Tehtävät 1>>attach:matloglask2013.1.pdf]] 12.9.13 Vihjeitä ratkaisuista.
82 1. [[Tehtävät 2>>attach:matloglask2013.2.pdf]] 19.9.13 Vihjeitä ratkaisuista.
83 1. [[Tehtävät 3>>attach:matloglask2013.3.pdf]] 26.9.13 Vihjeitä ratkaisuista.
84 1. [[Tehtävät 4>>attach:matloglask2013.4.pdf]] 3.10.13 Vihjeitä ratkaisuista.
85 1. [[Tehtävät 5>>attach:matloglask2013.5.pdf]] 10.10.13 Vihjeitä ratkaisuista.
86 1. [[Tehtävät 6>>attach:matloglask2013.6.pdf]] 17.10.13 Vihjeitä ratkaisuista. Ensimmäisen kurssikokeen (18.10.13) alue on laskuharjoitukset 1-6.
87 1. [[Tehtävät 7>>attach:matloglask2013.7.pdf]] 31.10.13 Vihjeitä ratkaisuista.
88 1. [[Tehtävät 8>>attach:matloglask2013.8.pdf]] 7.11.13. Vihjeitä ratkaisuista.
89 1. [[Tehtävät 9>>attach:matloglask2013.9.pdf]] 14.11.13 Vihjeitä ratkaisuista.
90 1. [[Tehtävät 10>>attach:matloglask2013.10.pdf]] 21.11.13 Vihjeitä ratkaisuista. Huom: Tehtävän 5 ratkaisussa otetaan diagonaali \phi(x) = \neg \psi(x,x).
91 1. [[Tehtävät 11>>attach:matloglask2013.11.pdf]] 28.11.13 Vihjeitä ratkaisuista.
92 1. [[Tehtävät 12>>attach:matloglask2013.12.pdf]] 5.12.13 Vihjeitä ratkaisuista. Keskiviikkona 11.12.2013 ei luentoa. Torstaina 12.12.2013 toinen kurssikoe (kts yllä).