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: | 16.06.2023 09:00 | ||
Department: | Department of Logic | ||
Room: | C116 (door # 116 (původně 119)), FF UK, Celetná 20, Praha 1, | ||
Committee: | Chair: | doc. Mgr. Radek Honzík, Ph.D. | |
Members: | doc. RNDr. Vítězslav Švejdar, CSc. Mgr. Pavel Arazim, Ph.D. Mgr. Vít Punčochář, Ph.D. Mgr. Šárka Stejskalová, Ph.D. | ||
Parts of SE: | ASZKB1LO09 - Logic ASZKB1LO19 - Logic ASZKB2LO19 - Logic | ||
Students: | |||
Bc. Ivana Dragonová | ASZKB1LO19 (Topics: Logika, Modální logiky , Analytická filosofie ) | ||
Bc. Ivana Dragonová | Defence: | Hyperintensional Modal Logic: Motivation, Semantic Frameworks, and Basic Theory. | |
Thesis supervisor: | Mgr. Igor Sedlár | ||
Opponent(s): | Mgr. Vít Punčochář, Ph.D. | ||
Bc. Martin Georgiu | ASZKB1LO19 (Topics: Logika, Historie a filosofie matematiky a logiky , Analytická filosofie ) | ||
Bc. Martin Georgiu | Defence: | Federated learning | |
Thesis supervisor: | Mgr. Petr Švarný, Ph.D. | ||
Opponent(s): | Mgr. Martin Blicha, Ph.D. | ||
Bc. Barbora Heřmanová | ASZKB1LO19 (Topics: Logika, Historie a filosofie matematiky a logiky , Modální logiky ) | ||
Bc. Barbora Heřmanová | Defence: | Elementary axiomatic theories over intuitionistic logic | |
Thesis supervisor: | doc. RNDr. Vítězslav Švejdar, CSc. | ||
Opponent(s): | Nicholas Ferenz, Ph.D. | ||
Martin Putzer | ASZKB2LO19 (Topics: Logika, Vyčíslitelnost) | ||
Martin Putzer | Defence: | Monadic NP sets | |
Thesis supervisor: | prof. RNDr. Jan Krajíček, DrSc. | ||
Opponent(s): | doc. Mgr. Radek Honzík, Ph.D. | ||
Bc. Jan Štefanišin | ASZKB1LO09 (omluven) (Topics: Logika, Analytická filosofie, Vyčíslitelnost) | ||
Bc. Jan Štefanišin | Defence: | The notion of interpretation between axiomatic theories | |
Thesis supervisor: | doc. RNDr. Vítězslav Švejdar, CSc. | ||
Opponent(s): | RNDr. Zuzana Haniková, Ph.D. |
Show invitation in PDF