You are viewing an anonymous version of the invitation. If you log in (using the link at the end of this text), you will be able to access additional data (e.g., it will be possible to access the text of the thesis and the reviews through the title of the thesis). Log in
State exams and thesis defences | |||
| Date: | 19.06.2019 10:00 | ||
| Department: | Department of Logic | ||
| Room: | C116 (door # 116 (původně 119)), FF UK, Celetná 20, Praha 1, | ||
| Committee: | Chair: | doc. RNDr. Vítězslav Švejdar, CSc. | |
| Members: | Mgr. Marta Bílková, Ph.D. doc. Mgr. Radek Honzík, Ph.D. prof. PhDr. Petr Koťátko, CSc. Mgr. Ludmila Dostálová, Ph.D. Mgr. Tomáš Marvan, Ph.D. prof. RNDr. Pavel Pudlák, DrSc. RNDr. Petr Savický, CSc. | ||
| Parts of SE: | ASZKB1LO09 - Logic ASZKB2LO09 - Logic | ||
| Students: | |||
| Tereza Kubánková | 10:00 | ASZKB2LO09 (Topics: Logika, Analytická filosofie) | |
| Bc. Martin Maxa | 10:40 | Defence: | Feasible incompleteness |
| Thesis supervisor: | prof. RNDr. Pavel Pudlák, DrSc. | ||
| Opponent(s): | Mgr. Pavel Hrubeš, Ph.D. | ||
| Mgr. Vít Fojtík | 11:40 | Defence: | Lower Bounds on Boolean Formula Size |
| Thesis supervisor: | Mgr. Pavel Hrubeš, Ph.D. | ||
| Opponent(s): | RNDr. Petr Savický, CSc. | ||
| Bc. Martin Maxa | 12:40 | ASZKB1LO09 (Topics: Logika, Modální logiky, Vyčíslitelnost) | |
| Mgr. Vít Fojtík | 13:00 | ASZKB1LO09 (Topics: Logika, Modální logiky, Vyčíslitelnost) | |
Státní bakalářská zkouška. Počítejte prosím s tím, že časy zkoušek (obhajob) se ještě mohou změnit kvůli časovým možnostem členů komisí. Pokud to nenastane, předběžný plán je, že Tereza Koubková by v 10h skládala zkoušku z obou předmětů a asi v 9h by dostala otázky. Martinu Maxovi a Vítu Fojtíkovi by stačilo přijít řekněme v 9:50, Vítu Fojtíkovi dle domluvy ještě později. Na každý předmět se počítá 20 minut, na obhajobu 40 minut, ale někdy se podaří tyto časy zkrátit. V.Š.
Show invitation in PDF