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