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: | 14.09.2016 09:00 | ||
Department: | Department of Logic | ||
Room: | C116 (door # 116 (původně 119)), FF UK, Celetná 20, Praha 1, | ||
Committee: | Chair: | Mgr. Marta Bílková, Ph.D. | |
Members: | doc. Mgr. Radek Honzík, Ph.D. prof. PhDr. Petr Koťátko, CSc. doc. RNDr. Vítězslav Švejdar, CSc. PhDr. Michal Peliš, Ph.D. Mgr. Jonathan Verner, Ph.D. | ||
Parts of SE: | ASZKB1LO09 - Logic | ||
Students: | |||
Michal Ketner | ASZKB1LO09 (omluven) (Topics: Logika, Modální logiky, Teorie množin) | ||
Michal Ketner | Defence: | The constructive universe L | |
Thesis supervisor: | doc. Mgr. Radek Honzík, Ph.D. | ||
Opponent(s): | Mgr. Adam Přenosil, Ph.D. | ||
Bc. Mikuláš Mrva | ASZKB1LO09 (Topics: Logika, Modální logiky, Teorie množin) | ||
Bc. Mikuláš Mrva | Defence: | Reflection principles and large cardinals | |
Thesis supervisor: | doc. Mgr. Radek Honzík, Ph.D. | ||
Opponent(s): | Mgr. Jonathan Verner, Ph.D. | ||
Michal Profeld | ASZKB1LO09 (omluven) (Topics: Logika, Analytická filosofie, Vyčíslitelnost) | ||
Michal Profeld | Defence: | Machine-Free Characterization of Polynomially Computable Functions | |
Thesis supervisor: | doc. RNDr. Vítězslav Švejdar, CSc. | ||
Opponent(s): | Mgr. Jonathan Verner, Ph.D. |