Interakce teorie modelů a kombinatoriky - NDMI117

• Anglický název: Interactions between model theory and combinatorics
• Zajišťuje: Katedra aplikované matematiky (32-KAM)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2022
• 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
• Způsob výuky: prezenční
• Garant: doc. Mgr. Jan Hubička, Ph.D.
• Vyučující: Samuel Walker Braunfeld, Ph.D.; doc. Mgr. Jan Hubička, Ph.D.

Anotace

We will cover the basic and some not-so-basic concepts from model theory, and then apply these to find and analyze some natural classes of structures. This will, for example, lead to studying generalizations of various well-behaved graph classes with good algorithmic properties. No previous knowledge of model theory or logic will be assumed

Poslední úprava: Hubička Jan, doc. Mgr., Ph.D. (09.05.2022)