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: | 01.02.2016 09:00 | ||
Katedra: | Katedra logiky | ||
Místnost: | C116 (č. dveří 116 (původně 119)), FF UK, Celetná 20, Praha 1, | ||
Komise: | Předseda: | Mgr. Marta Bílková, Ph.D. | |
Členové: | doc. RNDr. Vítězslav Švejdar, CSc. PhDr. Michal Peliš, Ph.D. doc. RNDr. Vladimír Petkevič, CSc. | ||
Části SZ: | ASZKB1LO09 - Logika | ||
Studenti: | |||
Bc. Petr Révay | ASZKB1LO09 (Okruhy: Logika, Modální logiky, Vyčíslitelnost) | ||
Bc. Petr Révay | Obhajoba: | Formalizace relace odvoditelnosti pro výrokové fuzzy logiky | |
Vedoucí práce: | Mgr. Libor Běhounek, Ph.D. | ||
Oponent(i): | Mgr. Josef Urban, Ph.D. |