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: | 07.09.2021 10:00 | ||
Katedra: | Katedra logiky | ||
Místnost: | P209 (č. dveří 209), FF UK, nám. Jana Palacha 2, Praha 1, | ||
Komise: | Předseda: | doc. Mgr. Radek Honzík, Ph.D. | |
Členové: | Mgr. Marta Bílková, Ph.D. doc. RNDr. Vítězslav Švejdar, CSc. Mgr. Šárka Stejskalová, Ph.D. | ||
Části SZ: | ASZKB1LO19 - Logika | ||
Studenti: | |||
Bc. Jiří Rýdl | ASZKB1LO19 (Okruhy: Logika, Modální logiky , Vyčíslitelnost ) | ||
Bc. Jiří Rýdl | Obhajoba: | Aspects of the Cut-Elimination Theorem | |
Vedoucí práce: | doc. RNDr. Vítězslav Švejdar, CSc. | ||
Oponent(i): | Mgr. Marta Bílková, Ph.D. |