Matemaattinen logiikka, syksy 2009

Luennoitsija

Tapani Hyttinen

Laajuus

10 op.

Tyyppi

Syventävä opinto.

Esitietovaatimukset

Luentoajat

Viikot 37-40 ja 45-51 ma 14-16 D123, to 14-16 D123, pe 12-13 B322, lisäksi laskuharjoituksia 2 viikkotuntia.
Kokeen (17.12) jälkeiset luennot on peruutettu.

Kokeet

Kirjallisuus

J. Väänänen, Matemaattinen logiikka (verkosta ladattava luentomateriaali 2001).
Termien ja struktuurien kohdalla käytämme samaa notaatiota kuin kurssilla Logiikka I
ja myös Tarskin totuusmääritelmä esitetään samoin kuin kurssilla Logiikka I (kokeessa
voi käyttä tätä tai kurssimateriaalin tapaa).

Ilmoittaudu

Unohditko ilmoittautua? Mitä tehdä.

Laskuharjoitukset

Laskuharjoitustehtäviä

Harjoitus 1
Harjoitus 2
Harjoitus 3
Harjoitus 4
Harjoitus 5
Harjoitus 6
Harjoitus 7
Harjoitus 8
Harjoitus 9
Harjoitus 10