Malliteoria, syksy 2010
Last modified by thyttine@helsinki_fi on 2024/03/27 10:09
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 |