|
|
|
||
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (23.12.2023)
|
|
||
Poslední úprava: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (27.12.2023)
Oral exam. |
|
||
Poslední úprava: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (20.05.2024)
Wilfrid Hodges: Model Theory, Cambridge University Press, 1993.
Michael O. Rabin: Decidable theories, in: Handbook of Mathematical Logic (ed. Jon Barwise), 1977, §C.3, pp. 595–629.
Hans Läuchli, John Leonard: On the elementary theory of linear order, Fundamenta Mathematicae 59 (1966), no. 1, pp. 109–116. |
|
||
Poslední úprava: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (20.05.2024)
Ústní zkouška pro ověření znalosti hlavních výsledků představených na přednášce. Každý student si připraví jednu z následujících tematických skupin dle svého výběru:
|
|
||
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (23.12.2023)
Seznámíme se se základními metodami pro důkaz algoritmické rozhodnutelnosti teorií prvního řádu a nejdůležitějšími konkrétními příklady rozhodnutelných teorií.
Nástroje:
Příklady teorií (dle časových možností):
|
|
||
Poslední úprava: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (27.12.2023)
Základní znalost matematické logiky a teorie modelů |