Theses on a related topic (having the same keywords):

verifikacia, per martin-lof, truth conditions, dokaz, michael dummett, truth, verification, pravda, pravdivostne podmienky, proof

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Podhora, Martin
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Forensic profiles of certified cryptographic smartcards | Theses on a related topic Display description

102.
Polián, Tomáš
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Theses on a related topic

103.
Pospíšilová, Alžběta
Faculty: Faculty of Science
Year: 2024, studies under way
Programme/field: Upper Secondary School Teacher Training in Biology / Teaching of Mathematics for Secondary Schools, Upper Secondary School Teacher Training in Biology
Master's thesis defence: Něco zajímavého do výuky | Theses on a related topic

104.
Purgerová, Katrin
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: JUDr.
Programme/field: Law and Legal Science / Law (combination/specialization: Criminal Law)
Advanced Master's thesis defence: Dokazování v trestním řízení – plody z otráveného stromu | Theses on a related topic

105.
Sedláček, Jiří
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Specifika dokazování v přestupkovém řízení | Theses on a related topic

106.
Skalová, Michaela
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Descartovy dopisy princezně Falcké | Theses on a related topic

107.
Slabá, Iva
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Theses on a related topic

108.
Slámečka, Ondřej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Monte Carlo Tree Search in Verification of Markov Decision Processes | Theses on a related topic

109.
Slámová, Dana
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Úloha autoevaluace v mateřské škole | Theses on a related topic

110.
Slovák, Petr
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Theses on a related topic

111.
Stražovský, Oldřich
Faculty: Faculty of Informatics
Year: 2003, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Efektivní analýza ohraničených Petriho sítí | Theses on a related topic

112.
Svrček, Lukáš
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: JUDr.
Programme/field: Law and Legal Science / Law (combination/specialization: Criminal Law)
Advanced Master's thesis defence: Problematika dokazování v průběhu trestního řízení
Advanced Master's thesis defence: Problematika dokazování v průběhu trestního řízení | Theses on a related topic

113.
Šidáková, Lucie
Faculty: Faculty of Law
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Zákonnost důkazů v civilním řízení | Theses on a related topic

114.
Šimáček, Michael
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic

115.
Šimša, Jiří
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic

116.
Široký, Roman
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Dokazování ve správním řízení | Theses on a related topic

117.
Štampachová, Tereza
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Sebevražda v českém denním tisku - analýza případu Jana Masaryka, Jana Palacha a Karla Svobody | Theses on a related topic
Master's thesis defence: Sebevražda v českém denním tisku - analýza případu Jana Masaryka, Jana Palacha a Karla Svobody | Theses on a related topic

118.
Štěpánek, Jan
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Tarského definice pojmu pravdy a její kritika | Theses on a related topic

119.
Štrofová, Zuzana
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Sociology / Sociology
Bachelor's thesis defence: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Theses on a related topic

120.
Tomeček, Václav
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Základní zásady aplikace práva ve veřejné správě | Theses on a related topic

121.
Tomešová, Julie
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Good and Truth in Iris Murdoch's Novel The Green Knight | Theses on a related topic

122.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Quantitative Formal Methods for High-level Robot Path Planning | Theses on a related topic

123.
Uhaľová, Simona
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Mediálny obraz strany Ľudová strana Naše Slovensko a jej predstaviteľov v denníkoch SME, Pravda a Nový Čas | Theses on a related topic

124.
Unčovský, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic

125.
Vacarda, Pavel
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Filozolofe výchovy u Jana Patočky | Theses on a related topic

126.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic

127.
Vacková, Petra
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Basics of Social Studies for Education, Music for Education
Bachelor's thesis defence: Reflexe Plótínova rozvinutí Platónových motivů ve vybrané české filosofické literatuře | Theses on a related topic

128.
Vaněček, Petr
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Theoretical Legal Sciences / Criminal Law
Doctoral thesis defence: Problematické aspekty dokazování v trestním řízení | Theses on a related topic

129.
Vašíček, Jan
Faculty: Faculty of Law
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Dokazování elektronickými prostředky | Theses on a related topic

130.
Vaššová, Barbora
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic

131.
Vik, Matúš
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / Culture Studies of China
Bachelor's thesis defence: Zobrazenie incidentu na námestí Tian’anmen z roku 1989 v československej socialistickej tlači | Theses on a related topic

132.
Višňovská, Ema
Faculty: Faculty of Social Studies
Year: 2024, studies under way
Programme/field: International Relations / International Relations
Bachelor's thesis defence: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Theses on a related topic

133.
Vrba, Martin
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Matematická ontologie umění Alaina Badiou | Theses on a related topic

134.
Vyvijalová, Barbora
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Basics of Social Studies for Education
Bachelor's thesis defence: Sebereflexe člověka v současném mýtu | Theses on a related topic
Bachelor's thesis defence: Realizace průřezového tématu osobnostní a sociální výchova v rámci tělesné výchovy na základní škole | Theses on a related topic

135.
Wiesner, David
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic

136.
Zahradníček, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Algoritmická analýza populačních protokolů | Theses on a related topic

137.
Zárubová, Darja
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Motiv klamu v Románu o Lišákovi | Theses on a related topic
Bachelor's thesis defence: Motiv klamu v Románu o Lišákovi a v dílech jím inspirovaných | Theses on a related topic

138.
Zavřel, Viktor
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Život a doba pojmu Noéma | Theses on a related topic

139.
Zobáková, Barbora
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Politika verzus vojna - komparačná analýza denníkov Pravda a Čas v období Slovenského národného povstania | Theses on a related topic

140.
Zuzaníková, Monika
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Mathematics
Master's thesis defence: Vybrané matematické důkazy na ZŠ - Pythagorova věta | Theses on a related topic