Pokročilá matematická logika - NAIL111
|
|
|
||
Matematická logika formuluje a rozvíjí zejména problematiku dedukce, pravdivosti a algoritmické řešitelnosti.
Přináší koncept axiomatických teorií a jim odpovídajících sémantických realizací čili modelů. Takové teorie pak
umožňuje analyzovat s ohledem na bezespornost, úplnost, rozhodnutelnost, deskriptivní složitost, charakter
axiomatiky atd. Poskytuje metody konstrukce modelů a řeší problém axiomatizovatelnosti tříd modelů. Konstruuje
nestandardní modely a prezentuje tak nestandardní veličiny a metody. Věnuje se nejen dvouhodnotové logice, ale i
vícehodnotové, modální, temporální aj.
Poslední úprava: T_KTI (12.04.2016)
|
|
||
Cílem je zprostředkovat hlubší a obsáhlejší poznatky z matematické logiky a osvojit si je pomocí důležitých a četných příkladů. Poslední úprava: T_KTI (12.04.2016)
|
|
||
Ústní zkouška Poslední úprava: Hric Jan, RNDr. (07.06.2019)
|
|
||
W. Hodges, Model theory, Cambridge University Press, 1993
F. Kröger, S. Merz, Temporal logic and state systems, Springer, 2008
W. Rautenberg, A concise introduction to mathematical logic, Springer, 2009
A. Sochor, Klasická matematická logika, Karolinum, 2001
V. Švejdar, Logika, neúplnost, složitost a nutnost, Academia, 2002 Poslední úprava: T_KTI (12.04.2016)
|
|
||
Předpokládá se znalost základů predikátové logiky.
Poslední úprava: Hric Jan, RNDr. (27.04.2018)
|