Matemaattinen logiikka, syksy 2013

Last modified by jvaanane@helsinki_fi on 2024/03/27 10:41

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

Ryhmä

Päivä

Aika

Paikka

Pitäjä

1.

to 

10-12 

B322 

Miika Hannula 

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 \phicancel = \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ä).