Teorie modelů - NMAG407

• Anglický název: Model Theory
• Zajišťuje: Katedra algebry (32-KA)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2023
• Semestr: zimní
• E-Kredity: 3
• Rozsah, examinace: zimní s.:2/0, Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: angličtina, čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Další informace: http://www.karlin.mff.cuni.cz/~krajicek/mt.html
• Garant: Dmitrii Zhuk, Ph.D.
• Třída: M Mgr. MMIB; M Mgr. MMIB > Povinně volitelné; M Mgr. MSTR; M Mgr. MSTR > Povinné
• Kategorizace předmětu: Matematika > Algebra
• Neslučitelnost : NLTM011
• Záměnnost : NLTM011

Anotace

čeština

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.

angličtina

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

čeština

Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (10.06.2019)

Předmět je zakončen ústní zkouškou.

angličtina

Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (28.10.2019)

Students have to pass oral exam.

Literatura

čeština

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

čeština

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.

angličtina

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

čeština

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.

angličtina

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

čeština

Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (17.05.2019)

Základní znalosti matematické logiky.

angličtina

Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (17.05.2019)

Basic knowledge of matematical logic.