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
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 |