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 

Jouko Väänänen

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

Luentoteksti

Ilmoittaudu kurssille

 
Unohditko ilmoittautua? Katso ohjeet täältä!

Laskuharjoitukset

Tehtävät

1. Tehtävät 1 12.9.13 Vihjeitä ratkaisuista.
2. Tehtävät 2 19.9.13 Vihjeitä ratkaisuista.
3. Tehtävät 3 26.9.13 Vihjeitä ratkaisuista.
4. Tehtävät 4 3.10.13 Vihjeitä ratkaisuista.
5. Tehtävät 5 10.10.13 Vihjeitä ratkaisuista.
6. Tehtävät 6 17.10.13 Vihjeitä ratkaisuista. Ensimmäisen kurssikokeen (18.10.13) alue on laskuharjoitukset 1-6.
7. Tehtävät 7 31.10.13 Vihjeitä ratkaisuista.
8. Tehtävät 8 7.11.13. Vihjeitä ratkaisuista.
9. Tehtävät 9 14.11.13 Vihjeitä ratkaisuista.
10. Tehtävät 10 21.11.13  Vihjeitä ratkaisuista. Huom: Tehtävän 5 ratkaisussa otetaan diagonaali \phi(x) = \neg \psi(x,x). 
11. Tehtävät 11 28.11.13 Vihjeitä ratkaisuista.
12. Tehtävät 12 5.12.13 Vihjeitä ratkaisuista. Keskiviikkona 11.12.2013 ei luentoa. Torstaina 12.12.2013 toinen kurssikoe (kts yllä).