Teorie modelů - NMAG407

• Anglický název: Model Theory
• Zajišťuje: Katedra algebry (32-KA)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2024
• 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í
• Další informace: http://www.karlin.mff.cuni.cz/~krajicek/mt.html
• Garant: prof. RNDr. Jan Krajíček, DrSc.
• Vyučující: prof. RNDr. Jan Krajíček, DrSc.
• Třída: M Mgr. MSTR; M Mgr. MSTR > Povinně volitelné
• Kategorizace předmětu: Matematika > Algebra
• Neslučitelnost : NLTM011
• Záměnnost : NLTM011

Anotace

čeština

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: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (11.09.2013)

angličtina

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.

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

Cíl předmětu

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.

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

Podmínky zakončení předmětu

čeština

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

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

angličtina

Students have to pass oral exam.

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

Literatura

čeština

D. Marker, Model Theory: An Introduction (Springer, 2002).

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

Požadavky ke zkoušce

čeština

Zkouška má ústní formu. Její požadavky odpovídají obsahu přednesené látky.

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

angličtina

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.

Poslední úprava: Šaroch Jan, doc. Mgr., Ph.D. (12.10.2017)

Sylabus

čeština

Základní pojmy, metody a fakta teorie modelů a příklady jejich aplikací v algebře, geometrii a teorii čísel.

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

angličtina

Basic concepts, methods and facts of model theory and examples of their applications in algebra, geometry and number theory.

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

Vstupní požadavky

čeština

Základní znalosti matematické logiky.

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

angličtina

Basic knowledge of matematical logic.

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