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