Matemaattinen logiikka, syksy 2011
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 ma 14-16, to 14-16 D123, lisäksi laskuharjoituksia 2 viikkotuntia.
Kokeet
1. välikoe Pe 21.10 Klo 13-15 A111 Koealue: monisteen sivut 1-44
2. välikoe Ke 14.12 Klo 13-15 A111 Koealue: monisteen sivut 45-85
Kirjallisuus
J. Väänänen, Matemaattinen logiikka
Ilmoittaudu
Unohditko ilmoittautua? Mitä tehdä.
Laskuharjoitukset
Ensimmäiset harjoitukset 19.9.
Malliratkaisut löytyvät huoneen C127 seinältä kohdasta malliteoria.
Ryhmä |
Päivä |
Aika |
Paikka |
Pitäjä |
|---|---|---|---|---|
1. |
ma |
16-18 |
C123 |
Tapani Hyttinen |