Wiki-palvelun osoite wiki.helsinki.fi muuttuu wiki-emerita.it.helsinki.fi -osoitteeksi 4.12.2023 – katso lisätietoja tiedotteestamme: https://flamma.helsinki.fi/s/1uCkV
The Wiki address wiki.helsinki.fi will change to wiki-emerita.it.helsinki.fi on 4 December 2023 – see more information on Flamma: https://flamma.helsinki.fi/s/sreoE
Wiki-tjänstens adress wiki.helsinki.fi ändras till wiki-emerita.it.helsinki.fi 4.12.2023 – läs mer i vårt meddelande: https://flamma.helsinki.fi/s/fe3MT
Matemaattinen logiikka, syksy 2013
Ajankohtaista
- Laskuharjoitustehtäviä 1 muutettiin yksinkertaistamalla ohjeita ja lisäämällä uusi kohta tehtävään 4.
- Ei luentoa 24.9.13 eikä 2.10.13.
- 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.
- Ylimääräinen luento ke 9.10.13 klo 14-16 samassa salissa D123, kuin muutkin luennot.
- Kun luennolla käytiin läpi deduktioteoreeman (7.14) todistusta, ilmeni, että oletus "ψ on lause" on turha. Korjaan luentotekstin tältä osin.
- Lauseeseen 8.21 (Los-Vaught) lisättiin oletus "jolla ei ole äärellisiä malleja".
- Laskuharjoituksissa 8 on tehtävään 1 pujahtanut painovirhe. Pitää olettaa, että c ei ole L:ssä. Se on nyt korjattu.
Luento 27.11.2013 on peruttu.
- 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.
- Keskiviikkona 11.12.2013 ei ole luentoa.
Luennoitsija
Laajuus
10 op.
Tyyppi
Syventävä opinto
Esitietovaatimukset
Kurssi Logiikka I auttaa, mutta ei ole aivan välttämätön.
Luentoajat
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.
Kokeet
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).
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.
Kirjallisuus
Ilmoittaudu kurssille
Unohditko ilmoittautua? Katso ohjeet täältä!
Laskuharjoitukset
Ryhmä | Päivä | Aika | Paikka | Pitäjä |
---|---|---|---|---|
1. | to | 10-12 | B322 | Miika Hannula |
Tehtävät
- Tehtävät 1 12.9.13 Vihjeitä ratkaisuista.
- Tehtävät 2 19.9.13 Vihjeitä ratkaisuista.
- Tehtävät 3 26.9.13 Vihjeitä ratkaisuista.
- Tehtävät 4 3.10.13 Vihjeitä ratkaisuista.
- Tehtävät 5 10.10.13 Vihjeitä ratkaisuista.
- Tehtävät 6 17.10.13 Vihjeitä ratkaisuista. Ensimmäisen kurssikokeen (18.10.13) alue on laskuharjoitukset 1-6.
- Tehtävät 7 31.10.13 Vihjeitä ratkaisuista.
- Tehtävät 8 7.11.13. Vihjeitä ratkaisuista.
- Tehtävät 9 14.11.13 Vihjeitä ratkaisuista.
- Tehtävät 10 21.11.13 Vihjeitä ratkaisuista. Huom: Tehtävän 5 ratkaisussa otetaan diagonaali \phi(x) = \neg \psi(x,x).
- Tehtävät 11 28.11.13 Vihjeitä ratkaisuista.
- Tehtävät 12 5.12.13 Vihjeitä ratkaisuista. Keskiviikkona 11.12.2013 ei luentoa. Torstaina 12.12.2013 toinen kurssikoe (kts yllä).