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í
• Způsob výuky: prezenční
• Garant: doc. Mgr. Jan Hubička, Ph.D.

Anotace

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

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