 Logika - Sinologie NMgr 2 (od 2024) (valid since 2024)
| ALGV19004 | Philosophy of mathematics | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 5 | Mgr. Vít Punčochář, Ph.D. | 21-KLOG | FA | | English | | | ALGV19005 N | Alternative programming paradigms | [SS schedule] | | summer | 0/2 | C | | | HT | | | 4 | Mgr. Petr Švarný, Ph.D. | 21-KLOG | FA | | English | | | ALGV00041 N | Mathematical Fuzzy Logic | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 5 | Mgr. Marta Bílková, Ph.D., Chun-Yu Lin | 21-KLOG | FA | | English | | | ALGV19006 N | Interpretations of Gödel incompleteness theorem | [WS schedule]
[SS schedule] | winter semester | both | 2/0 | Ex | | | HT | | | 5 | doc. RNDr. Vítězslav Švejdar, CSc. | 21-KLOG | FA | | English | | | ALG110008 | Arithmetic and Algorithms | [SS schedule] | | summer | 1/1 | Ex | | | HT | | | 4 | doc. RNDr. Vítězslav Švejdar, CSc. | 21-KLOG | FA | | English, Czech | | | ALGV19012 N | Introduction to group and ring theory | [SS schedule] | | summer | 1/1 | Ex | | | HT | | | 4 | Mgr. Šárka Stejskalová, Ph.D. | 21-KLOG | FA | | Czech | | | ALGV19013 N | Set Theory and Logic Throughout Mathematics | [WS schedule]
[SS schedule] | winter semester | both | 2/0 | Ex | | | HT | | | 4 | Chris Lambie-Hanson, Ph.D. | 21-KLOG | FA | | English | | | ALGV19014 N | Infinite trees | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 4 | Mgr. Šárka Stejskalová, Ph.D. | 21-KLOG | FA | | Czech | | | ALGV19015 | General Theories of Logical Systems | [WS schedule]
[SS schedule] | winter semester | both | 2/0 | Ex | | | HT | | | 4 | Mgr. Marta Bílková, Ph.D., Chun-Yu Lin | 21-KLOG | FA | | English | | | NMAG499 | MSTR Elective 2 | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 3 | doc. RNDr. Jan Šťovíček, Ph.D. | 32-KA | FMP | | English, Czech | | | ALG110009 N | Set Theory II | [WS schedule] | | winter | 2/0 | Ex | | | HT | | | 5 | Mgr. Šárka Stejskalová, Ph.D. | 21-KLOG | FA | | Czech | | | ALGV19017 N | Reading Modern Czech Logic | [WS schedule] | | winter | 0/2 | C | | | HT | | | 4 | RNDr. Zuzana Haniková, Ph.D. | 21-KLOG | FA | | English | | | NMAG537 N | Selected topic from Set Theory | [WS schedule] | | winter | 2/0 | Ex | | | HT | | | 3 | doc. Radek Honzík, Ph.D. | 32-KA | FMP | | English | | | NMTM305 | History of Mathematics I | [WS schedule] | | winter | 2/0 | colloquium | | | HT | | | 2 | Mgr. Zdeněk Halas, DiS., Ph.D., doc. RNDr. Jindřich Bečvář, CSc. | 32-KDM | FMP | NMUM305 | Czech | | | ASZSOP830 | Acknowledged Record | [WS schedule]
[SS schedule] | winter semester | both | 0/0 | --- | | | HT | | | 0 | | 21-DEK | FA | | Czech | | | ALGV19019 N | Infinite combinatorics | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 4 | Mgr. Šárka Stejskalová, Ph.D. | 21-KLOG | FA | | Czech | | | ALGV00012 N | Proof Theory | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 4 | Bc. Jan Bydžovský, M.Sc., Ph.D. | 21-KLOG | FA | | Czech | | | ALGV19018 N | Methods in Philosophical Logic | [WS schedule] | | winter | 2/0 | Ex | | | HT | | | 4 | Daniel Wesley Fussner, Ph.D. | 21-KLOG | FA | | English | | | NUMV059 | Greek Mathematical Texts II | [SS schedule] | | summer | 0/2 | C | | | HT | | | 3 | Mgr. Zdeněk Halas, DiS., Ph.D. | 32-MUUK | FMP | | Czech | | | NMAG439 | Introduction to Set Theory 2 | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 3 | RNDr. David Chodounský, Ph.D., doc. Radek Honzík, Ph.D. | 32-KA | FMP | | Czech | | | ALGV19021 | Readings on Material Inference | [WS schedule] | | winter | 0/2 | C | | | HT | | | 4 | Daniel Wesley Fussner, Ph.D. | 21-KLOG | FA | | English | | | ALGV19022 | Seminar: Trends in Metalogic | [WS schedule] | | winter | 0/2 | C | | | HT | | | 4 | Daniel Wesley Fussner, Ph.D. | 21-KLOG | FA | | English | | | NMMB568 | Formal Mathematics and Proof Assistants | [SS schedule] | | summer | 2/1 | C+Ex | | | HT | | | 4 | Mgr. Miroslav Olšák, Ph.D. | 32-KA | FMP | NMMB566 | English | | | ALGV19023 | Conditionals: Logic, Probability, and New Perspectives | [SS schedule] | | summer | 1/1 | C | | | HT | | | 4 | Giuliano Rosella, Ph.D. | 21-KLOG | FA | | English | | | ALGV19024 | Selected topics in recursion theory | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 5 | doc. RNDr. Vítězslav Švejdar, CSc. | 21-KLOG | FA | | Czech | | | ALGV19025 | Selected topics in set theory | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 5 | doc. Radek Honzík, Ph.D. | 21-KLOG | FA | | Czech | | | ALGV00054 | Introduction to forcing | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 5 | doc. Radek Honzík, Ph.D., Mgr. Šárka Stejskalová, Ph.D. | 21-KLOG | FA | | Czech | |
| ATJ500157 N | Modern Chinese Essay | [WS schedule] | | winter | 2/1 | Ex | | | HT | | | 7 | Mgr. Dušan Andrš, Ph.D. | 21-KSI | FA | | Czech | | | ATJ500159 N | PVP1 Sources and Chinese Historiography | [WS schedule] | | winter | 2/1 | Ex | | | HT | | | 7 | Mgr. Jakub Hrubý, Ph.D. | 21-KSI | FA | | Czech | | | ATJ500170 N | PVP1 Modernization of China | [SS schedule] | | summer | 2/1 | Ex | | | HT | | | 7 | Mariia Guleva, M.A., Ph.D. | 21-KSI | FA | | Czech | | | ATJ500172 N | PVP1 Literary Thoughts | [WS schedule] | | winter | 2/1 | Ex | | | HT | | | 7 | Mgr. Dušan Andrš, Ph.D., Mgr. Šárka Masárová, Ph.D. | 21-KSI | FA | | Czech | | | ATJ500167 N | PVP1 Modern Chinese Literature | [SS schedule] | | summer | 2/1 | Ex | | | HT | | | 7 | Mgr. Dušan Andrš, Ph.D. | 21-KSI | FA | | Czech | | | ATJ500174 | PVP1 Chapters from Modern Chinese Poetry | [WS schedule] | | winter | 2/1 | Ex | | | HT | | | 7 | Mgr. Šárka Masárová, Ph.D. | 21-KSI | FA | | Czech | | | ATJ500161 | PVP1 Selected Problems of Chinese Grammar | [SS schedule] | | summer | 2/1 | Ex | | | HT | | | 7 | doc. Mgr. Lukáš Zádrapa, Ph.D. | 21-KSI | FA | | Czech | | | ATJ500166 N | PVP1 Early China from Comparative Cultural Antropological Perspective | [SS schedule] | | summer | 2/1 | Ex | | | HT | | | 7 | doc. Mgr. Jakub Maršálek, Ph.D. | 21-KSI | FA | | Czech | | | ATJ500180 | PVP 1 State and Society in Contemporary East Asia: Case Studies from Taiwan and China | [WS schedule] | | winter | 2/1 | Ex | | | HT | | | 7 | Jacob Friedemann Tischer, Ph.D., Mariia Guleva, M.A., Ph.D. | 21-KSI | FA | | English | |
| ATJ500151 | Modernisation and Revolution in China in 20th Century | [WS schedule] | | winter | 2/0 | Ex | | | HT | | | 5 | Mariia Guleva, M.A., Ph.D. | 21-KSI | FA | | Czech, English | | | ATJ500150 N | Advanced Grammar of Modern Chinese | [SS schedule] | | summer | 1/1 | Ex | | | HT | | | 5 | doc. Mgr. Lukáš Zádrapa, Ph.D. | 21-KSI | FA | | Czech | | | ATJ500152 | Chinese Literature Between Tradition and Modernity | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 5 | prof. PhDr. Olga Lomová, CSc. | 21-KSI | FA | | Czech | | | ATJ500153 N | Cultural Heritage in Modern China | [SS schedule] | | summer | 2/0 | Ex | | | HT | | | 5 | Mgr. Lenka Chaloupková, Ph.D., Mariia Guleva, M.A., Ph.D., prof. PhDr. Olga Lomová, CSc. | 21-KSI | FA | | English, Czech | |
|
