Wiki-palvelun osoite wiki.helsinki.fi muuttuu 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 will change 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 ändras 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 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 |