Malliteoria, syksy 2010
Luennoitsija
Laajuus
10 op.
Tyyppi
Syventävä opinto
Esitietovaatimukset
Perustiedot matemaattisesta logiikasta, esim. kurssin matemaattinen logiikka
alkuosa ja lisäksi eduksi olisi hallita naiivin joukko-opin perusasiat
(ordinaalit, kardinaalit ja induktiot).
Sisältö (alustava)
Tutustumme klassiseen 50 ja 60 lukujen malliteoriaan, erityisesti
kvanttoreiden eliminointiin, Ehrenfeucht-Fraisse peliin, tyypin käsitteeseen ja
Ehrenfeucht-Mostowski malleihin.
Materiaali (alustava, luentojen edistyessä teen korjauksia ja muutoksia)
Luentoajat
Viikot 36-42 ja 44-50 ma 14-16, to 14-16 C124.
Kokeet
Kirjallisuus
Ilmoittaudu
Unohditko ilmoittautua? Mitä tehdä.
Laskuharjoitukset
The first exercise class will be on Monday 20.9.
Ryhmä |
Päivä |
Aika |
Paikka |
Pitäjä |
|---|---|---|---|---|
1. |
ma |
16-18 |
C124 |
Tapani Hyttinen |