Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (11.09.2013)
Přednáška probírá hlavní partie teorie modelů se speciálním důrazem na příklady a metody, které jsou důležité pro aplikace teorie modelů v algebře, geometrii a teorii čísel.
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (11.09.2013)
The course covers main parts of model theory with an emphasis on examples and methods important for applications of model theory in algebra, geometry and number theory.
Cíl předmětu
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (05.09.2013)
Cílem je porozumět základním metodám teorie modelů a způsobům jejich aplikací v kontextu algebry, geometrie či teorie čísel.
Podmínky zakončení předmětu -
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (10.06.2019)
Předmět je zakončen ústní zkouškou.
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (28.10.2019)
Students have to pass oral exam.
Literatura -
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (05.09.2013)
D. Marker, Model Theory: An Introduction (Springer, 2002).
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (05.09.2013)
D. Marker, Model Theory: An Introduction (Springer, 2002).
Požadavky ke zkoušce -
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (10.06.2019)
Zkouška má ústní formu. Její požadavky odpovídají obsahu přednesené látky.
Poslední úprava: doc. Mgr. Jan Šaroch, Ph.D. (12.10.2017)
The exam has an oral form. After receiving an exam question, the student has plenty of time to prepare written notes which he/she subsequently reproduces to the examiner. The requirements correspond to the extent of the material presented during lectures.
Sylabus -
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (06.09.2013)
Základní pojmy, metody a fakta teorie modelů a příklady jejich aplikací v algebře, geometrii a teorii čísel.
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (06.09.2013)
Basic concepts, methods and facts of model theory and examples of their applications in algebra, geometry and number theory.
Vstupní požadavky -
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (17.05.2019)
Základní znalosti matematické logiky.
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (17.05.2019)