Prohlížíte si anonymní verzi pozvánky. Jestliže se přihlásíte (odkazem na konci tohoto textu), získáte přístup k dalším rozšiřujícím údajům (např. z názvu závěrečné práce bude možné se dostat k jejímu řešení a posudkům). Přihlásit se
Státní zkoušky a obhajoby prací | |||
Datum: | 16.06.2023 09:00 | ||
Katedra: | Katedra logiky | ||
Místnost: | C116 (č. dveří 116 (původně 119)), FF UK, Celetná 20, Praha 1, | ||
Komise: | Předseda: | doc. Mgr. Radek Honzík, Ph.D. | |
Členové: | doc. RNDr. Vítězslav Švejdar, CSc. Mgr. Pavel Arazim, Ph.D. Mgr. Vít Punčochář, Ph.D. Mgr. Šárka Stejskalová, Ph.D. | ||
Části SZ: | ASZKB1LO09 - Logika ASZKB1LO19 - Logika ASZKB2LO19 - Logika | ||
Studenti: | |||
Bc. Ivana Dragonová | ASZKB1LO19 (Okruhy: Logika, Modální logiky , Analytická filosofie ) | ||
Bc. Ivana Dragonová | Obhajoba: | Hyperintensional Modal Logic: Motivation, Semantic Frameworks, and Basic Theory. | |
Vedoucí práce: | Mgr. Igor Sedlár | ||
Oponent(i): | Mgr. Vít Punčochář, Ph.D. | ||
Bc. Martin Georgiu | ASZKB1LO19 (Okruhy: Logika, Historie a filosofie matematiky a logiky , Analytická filosofie ) | ||
Bc. Martin Georgiu | Obhajoba: | Federated learning | |
Vedoucí práce: | Mgr. Petr Švarný, Ph.D. | ||
Oponent(i): | Mgr. Martin Blicha, Ph.D. | ||
Bc. Barbora Heřmanová | ASZKB1LO19 (Okruhy: Logika, Historie a filosofie matematiky a logiky , Modální logiky ) | ||
Bc. Barbora Heřmanová | Obhajoba: | Elementary axiomatic theories over intuitionistic logic | |
Vedoucí práce: | doc. RNDr. Vítězslav Švejdar, CSc. | ||
Oponent(i): | Nicholas Ferenz, Ph.D. | ||
Martin Putzer | ASZKB2LO19 (Okruhy: Logika, Vyčíslitelnost) | ||
Martin Putzer | Obhajoba: | Monadic NP sets | |
Vedoucí práce: | prof. RNDr. Jan Krajíček, DrSc. | ||
Oponent(i): | doc. Mgr. Radek Honzík, Ph.D. | ||
Bc. Jan Štefanišin | ASZKB1LO09 (omluven) (Okruhy: Logika, Analytická filosofie, Vyčíslitelnost) | ||
Bc. Jan Štefanišin | Obhajoba: | Pojem interpretace axiomatických teorií | |
Vedoucí práce: | doc. RNDr. Vítězslav Švejdar, CSc. | ||
Oponent(i): | RNDr. Zuzana Haniková, Ph.D. |
Zobrazit pozvánku v PDF