Matemaattinen logiikka, syksy 2012

Luennoitsija

Tapani Hyttinen

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 ma 14-16, pe 12-14 D123, lisäksi laskuharjoituksia 2 viikkotuntia.

Kokeet

1. välikoe: Ma 15.10 13-15 A111 tai B123 Koealue: Monisteen sivut 1-44 pois lukien sijoitettavuuslause.
 Kokeen tulokset ilmoitustaululla.

2. välikoe: Ti 11.12 13-15 A111 tai B123 Koealue: Monisteen sivut 45-86.

Kirjallisuus

J. Väänänen, Matemaattinen Logiikka

Rekursiivisista määritelmistä

Ilmoittaudu

Unohditko ilmoittautua? Mitä tehdä.

Laskuharjoitukset

Ensimmäiset harjoitukset 17.9