Práce na příbuzné téma (mají shodná klíčová slova):

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

Klíčová slova abecedně | Klíčová slova dle četnosti

101.
Pánik, Matúš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Rozpoznávání obličejů s využitím technologií iFace SDK a IDKit Multimodal SDK | Práce na příbuzné téma Zobrazit popisek

102.
Petruchová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace komponentových systémů s dynamickou komunikací | Práce na příbuzné téma

103.
Podhora, Martin
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Forensic profiles of certified cryptographic smartcards | Práce na příbuzné téma

104.
Polián, Tomáš
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Práce na příbuzné téma

105.
Pospíšilová, Alžběta
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství biologie pro střední školy / Učitelství biologie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Něco zajímavého do výuky | Práce na příbuzné téma

106.
Purgerová, Katrin
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: JUDr.
Program/obor Právo a právní věda / Právo (kombinace/zaměření: Trestní právo)
Obhajoba rigorózní práce: Dokazování v trestním řízení – plody z otráveného stromu | Práce na příbuzné téma

107.
Sedláček, Jiří
Fakulta: Právnická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Specifika dokazování v přestupkovém řízení | Práce na příbuzné téma

108.
Skalová, Michaela
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství matematiky pro základní školy, Pedagogické asistentství občanské výchovy pro základní školy
Obhajoba bakalářské práce: Descartovy dopisy princezně Falcké | Práce na příbuzné téma

109.
Slabá, Iva
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba diplomové práce: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Práce na příbuzné téma

110.
Slámečka, Ondřej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Monte Carlo Tree Search in Verification of Markov Decision Processes | Práce na příbuzné téma

111.
Slámová, Dana
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Předškolní a mimoškolní pedagogika / Učitelství pro mateřské školy
Obhajoba bakalářské práce: Úloha autoevaluace v mateřské škole | Práce na příbuzné téma

112.
Slovák, Petr
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Práce na příbuzné téma

113.
Stražovský, Oldřich
Fakulta: Fakulta informatiky
Rok: 2003, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Efektivní analýza ohraničených Petriho sítí | Práce na příbuzné téma

114.
Svobodová, Zuzana
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Estetika / Estetika
Obhajoba bakalářské práce: Země, krajina, cesta a obloha: estetika obrazů Václava Rabase | Práce na příbuzné téma

115.
Svrček, Lukáš
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: JUDr.
Program/obor Právo a právní věda / Právo (kombinace/zaměření: Trestní právo)
Obhajoba rigorózní práce: Problematika dokazování v průběhu trestního řízení
Obhajoba rigorózní práce: Problematika dokazování v průběhu trestního řízení | Práce na příbuzné téma

116.
Šidáková, Lucie
Fakulta: Právnická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Zákonnost důkazů v civilním řízení | Práce na příbuzné téma

117.
Šimáček, Michael
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Symbolic-size Memory Allocation Support for Klee | Práce na příbuzné téma

118.
Šimša, Jiří
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Monitorování chování systémů | Práce na příbuzné téma

119.
Široký, Roman
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná správa / Veřejná správa
Obhajoba diplomové práce: Dokazování ve správním řízení | Práce na příbuzné téma

120.
Štampachová, Tereza
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba diplomové práce: Sebevražda v českém denním tisku - analýza případu Jana Masaryka, Jana Palacha a Karla Svobody | Práce na příbuzné téma
Obhajoba diplomové práce: Sebevražda v českém denním tisku - analýza případu Jana Masaryka, Jana Palacha a Karla Svobody | Práce na příbuzné téma

121.
Štěpánek, Jan
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Tarského definice pojmu pravdy a její kritika | Práce na příbuzné téma

122.
Štrofová, Zuzana
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie
Obhajoba bakalářské práce: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Práce na příbuzné téma

123.
Tomeček, Václav
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Základní zásady aplikace práva ve veřejné správě | Práce na příbuzné téma

124.
Tomešová, Julie
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Good and Truth in Iris Murdoch's Novel The Green Knight | Práce na příbuzné téma

125.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Quantitative Formal Methods for High-level Robot Path Planning | Práce na příbuzné téma

126.
Uhaľová, Simona
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba diplomové práce: Mediálny obraz strany Ľudová strana Naše Slovensko a jej predstaviteľov v denníkoch SME, Pravda a Nový Čas | Práce na příbuzné téma

127.
Unčovský, Vít
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Práce na příbuzné téma

128.
Vacarda, Pavel
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Filozolofe výchovy u Jana Patočky | Práce na příbuzné téma

129.
Vacek, Václav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma

130.
Vacková, Petra
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Hudební výchova se zaměřením na vzdělávání, Základy společenských věd se zaměřením na vzdělávání
Obhajoba bakalářské práce: Reflexe Plótínova rozvinutí Platónových motivů ve vybrané české filosofické literatuře | Práce na příbuzné téma

131.
Vaněček, Petr
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy / Trestní právo
Obhajoba disertační práce: Problematické aspekty dokazování v trestním řízení | Práce na příbuzné téma

132.
Vašíček, Jan
Fakulta: Právnická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Dokazování elektronickými prostředky | Práce na příbuzné téma

133.
Vaššová, Barbora
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma

134.
Vik, Matúš
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Kulturní studia Číny
Obhajoba bakalářské práce: Zobrazenie incidentu na námestí Tian’anmen z roku 1989 v československej socialistickej tlači | Práce na příbuzné téma

135.
Višňovská, Ema
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba bakalářské práce: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Práce na příbuzné téma

136.
Vrba, Martin
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba diplomové práce: Matematická ontologie umění Alaina Badiou | Práce na příbuzné téma

137.
Vyvijalová, Barbora
Fakulta: Fakulta sportovních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Základy společenských věd se zaměřením na vzdělávání
Obhajoba bakalářské práce: Sebereflexe člověka v současném mýtu | Práce na příbuzné téma
Obhajoba bakalářské práce: Realizace průřezového tématu osobnostní a sociální výchova v rámci tělesné výchovy na základní škole | Práce na příbuzné téma

138.
Wiesner, David
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelizace obrazového simulátoru buněčných populací | Práce na příbuzné téma

139.
Zahradníček, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Algoritmická analýza populačních protokolů | Práce na příbuzné téma

140.
Zárubová, Darja
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Estetika
Obhajoba bakalářské práce: Motiv klamu v Románu o Lišákovi | Práce na příbuzné téma
Obhajoba bakalářské práce: Motiv klamu v Románu o Lišákovi a v dílech jím inspirovaných | Práce na příbuzné téma

141.
Zavřel, Viktor
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Život a doba pojmu Noéma | Práce na příbuzné téma

142.
Zobáková, Barbora
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba diplomové práce: Politika verzus vojna - komparačná analýza denníkov Pravda a Čas v období Slovenského národného povstania | Práce na příbuzné téma

143.
Zuzaníková, Monika
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství matematiky pro základní školy, Učitelství občanské výchovy pro základní školy
Obhajoba diplomové práce: Vybrané matematické důkazy na ZŠ - Pythagorova věta | Práce na příbuzné téma