Wiki-palvelun osoite wiki.helsinki.fi muuttui wiki-emerita.it.helsinki.fi -osoitteeksi 4.12.2023 – katso lisätietoja tiedotteestamme: https://flamma.helsinki.fi/s/1uCkV
The Wiki address wiki.helsinki.fi has changed to wiki-emerita.it.helsinki.fi on 4 December 2023 – see more information on Flamma: https://flamma.helsinki.fi/s/sreoE
Wiki-tjänstens adress wiki.helsinki.fi ändrades till wiki-emerita.it.helsinki.fi 4.12.2023 – läs mer i vårt meddelande: https://flamma.helsinki.fi/s/fe3MT
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 |
Laskuharjoitustehtäviä
Harjoitus 1
Harjoitus 2
Harjoitus 3
Harjoitus 4
Harjoitus 5
Harjoitus 6
Harjoitus 7
Harjoitus 8
Harjoitus 9
Harjoitus 10