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. | ||