Malliteoria, syksy 2010

Luennoitsija

Tapani Hyttinen

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)

Model theory

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.

Harjoitus 1

Harjoitus 2

Harjoitus 3

Harjoitus 4

Harjoitus 5

Harjoitus 6

Harjoitus 7

Harjoitus 8

Harjoitus 9

Harjoitus 10

Harjoitus 11