Předmět Teorie modelů (KAG / PGSTM)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KAG / PGSTM - Teorie modelů, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
Teorie modelů výrokové logiky, Lindenbaumova věta, věta o kompaktnosti.Jazyky, modely, splnitelnost. Elementárně ekvivalentní modely. Teorie,úplnost a kompaktnost. Věta o kompaktnoti a její důsledky. Elementárnírozšíření modelů, úplné teorie, kategorické teorie. Ultrasoučiny, ultrafiltry.
Získané způsobilosti
4. Analýza informacíAnalyzovat obecné teorie a modely.
Literatura
Poizat B. A Course in Model Theory. Springer, 2000. ISBN 0-387-98655-3.Chang C. C., Keisler H. J. Model Theory. North Holland, 1990. ISBN 0-444-10475-5.
Požadavky
Rozumět látce a aplikovat ji na příkladech.
Garant
prof. RNDr. Jiří Rachůnek, DrSc.