Matemaattinen logiikka, syksy 2009
Last modified by thyttine@helsinki_fi on 2024/03/27 09:57
Matemaattinen logiikka, syksy 2009
Luennoitsija
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
Ryhmä | Päivä | Aika | Paikka | Pitäjä |
|---|---|---|---|---|
1. | ma | 16-18 | C123 | Tapani Hyttinen |