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

51.
Ha Trinh, Hung Son
Fakulta: Lékařská fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Oko jako biometrický identifikátor | Práce na příbuzné téma Zobrazit popisek

52.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma

53.
Havlina, Jaromír
Fakulta: Právnická fakulta
Rok: 2020, studium neúspěšně ukončeno
Program/obor Veřejná správa / Veřejná správa
Obhajoba diplomové práce: Dokazování v přestupkovém řízení | Práce na příbuzné téma

54.
Havlínová, Zdena
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Estetika, Sdružená uměnovědná studia
Obhajoba bakalářské práce: Pojem realismus v českém filmu 60. let. | Práce na příbuzné téma
Obhajoba bakalářské práce: Pojem realismus v českém filmu 60. let | Práce na příbuzné téma

55.
Hejtmánková, Zuzana
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Pojetí vědy u Emanuela Rádla | Práce na příbuzné téma
Obhajoba diplomové práce: Pojetí vědy u Emanuela Rádla | Práce na příbuzné téma

56.
Hromádková, Věra
Fakulta: Právnická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Důkazní řízení jako narativ | Práce na příbuzné téma

57.
Hudečková, Jana
Fakulta: Pedagogická fakulta
Rok: 2011, 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: Pojetí krásna (estetična) v dějinách evropských či světových kultur | Práce na příbuzné téma

58.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Teoretická informatika
Obhajoba rigorózní práce: Symbolic Execution for Verification | Práce na příbuzné téma

59.
Jarec, Samuel
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Policejní provokace a zkouška spolehlivosti - meze jejich užití v trestním řízení | Práce na příbuzné téma

60.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma

61.
Kačer, Tomáš
Fakulta: Filozofická fakulta
Rok: 2004, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Humanitní studia / Anglický jazyk a literatura, Filozofie
Obhajoba diplomové práce: Science on Stage: Scientific Issues in Contemporary Anglo-American Playwriting | Práce na příbuzné téma

62.
Kadaši, Jakub
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Verifikace paralelní hashovací tabulky z knihovny Folly | Práce na příbuzné téma

63.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Virtual File System in DIVINE 4 | Práce na příbuzné téma

64.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma

65.
Kelnar, David
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství speciální pedagogiky pro základní školy, Učitelství technické výchovy pro základní školy
Obhajoba diplomové práce: Informovanost pedagogických pracovníků základních škol o problematice poruch příjmu potravy | Práce na příbuzné téma

66.
Klečková, Sára
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie, Sociologie
Obhajoba bakalářské práce: Souvislost mezi tendencí ke lhaní a schopností efektivně řešit konflikty | Práce na příbuzné téma
Obhajoba bakalářské práce: Souvislost mezi tendencí ke lhaní a styly řešení konfliktů | Práce na příbuzné téma

67.
Klimendová, Iva
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: Výslech jako důkazní prostředek se zaměřením na jeho taktiku | Práce na příbuzné téma

68.
Kocián, Pavel
Fakulta: Právnická fakulta
Rok: 2014, 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: Využití odborníků a znalců při kriminalistické činnosti | Práce na příbuzné téma

69.
Kociánová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Práce na příbuzné téma

70.
Kollár, Matej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Formální manipulace s odvozovacími systémy | Práce na příbuzné téma

71.
Kopáček, Petr
Fakulta: Fakulta sociálních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Filozofie, Mediální studia a žurnalistika (kombinace/zaměření: Mediální studia)
Obhajoba bakalářské práce: Sémantika fikčních světů: zpátky do filosofie | Práce na příbuzné téma

72.
Kováč, Vladimír
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma

73.
Kovalíková, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Bioanalytická laboratorní diagnostika ve zdravotnictví - Bioanalytik / Bioanalytická laboratorní diagnostika ve zdravotnictví - Bioanalytik
Obhajoba diplomové práce: Exprese proteinu Schlafen 11 u karcinomu ovaria | Práce na příbuzné téma

74.
Krajáč, Petr
Fakulta: Filozofická fakulta
Rok: 2018, studium neúspěšně ukončeno
Program/obor Filozofie / Filozofie
Obhajoba rigorózní práce: Pravda v lidské komunikaci | Práce na příbuzné téma

75.
Krajáč, Petr
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Filozofie / Filozofie
Obhajoba rigorózní práce: Aktuální problémy pravdy - Filosofická analýza | Práce na příbuzné téma

76.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma

77.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma

78.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Enhanced parser for DVE modelling language | Práce na příbuzné téma

79.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Modal Transition Systems: Extensions and Analysis | Práce na příbuzné téma

80.
Kucharczyk, Jakub
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství občanské výchovy pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Měl Machiavelli pravdu? | Práce na příbuzné téma
Obhajoba bakalářské práce: Měl Machiavelli pravdu? | Práce na příbuzné téma

81.
Madzia, Roman
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Pragmatistické kořeny filosofie George Herberta Meada | Práce na příbuzné téma

82.
Maksović, Sofija
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Model-Based Analysis of Forensic-Ready Software Systems | Práce na příbuzné téma

83.
Marková, Petra
Fakulta: Fakulta sociálních studií
Rok: 2019, 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: Mytológia v karikatúrach s náboženskou tematikou v dennej tlači na Slovensku | Práce na příbuzné téma

84.
Matuška, Jindřich
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Verification of binarised neural networks using ASP | Práce na příbuzné téma

85.
Mičan, Pavel
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma

86.
Mihalkovič, Vincent
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Improved translation of LLVM IR code to C | Práce na příbuzné téma

87.
Michálek, Marek
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Filozofie / Anglický jazyk a literatura, Filozofie
Obhajoba bakalářské práce: Intuicionistic Type Theory and its Application to Natural Language | Práce na příbuzné téma

88.
Miléřová, Drahoslava
Fakulta: Právnická fakulta
Rok: 2011, 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: Postavení státního zástupce v trestním řízení | Práce na příbuzné téma

89.
Moravčík, Marek
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vizualizace stavových prostorů | Práce na příbuzné téma

90.
Murasová, Markéta
Fakulta: Lékařská fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Laboratorní diagnostika ve zdravotnictví / Laboratorní diagnostika ve zdravotnictví
Obhajoba bakalářské práce: Zavedení nové metody pro stanovení glukózy | Práce na příbuzné téma

91.
Nagy, Imrich
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Building open profiles of certified cryptographic devices | Práce na příbuzné téma

92.
Němec, Richard
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství odborných předmětů pro střední školy - specializace strojírenství
Obhajoba diplomové práce: Zvýšení odborné způsobilosti žáků středních odborných škol s elektrotechnickým zaměřením | Práce na příbuzné téma

93.
Nevěčná, Kamila
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Loves from Different Points of View in I. Murdoch's Novels | Práce na příbuzné téma

94.
Nikl, Radek
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství anglického jazyka a literatury pro střední školy
Obhajoba diplomové práce: The Concept of Memory in Selected Works by Julian Barnes | Práce na příbuzné téma

95.
Nohejl, Jaroslav
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Sekty a sektářství - nebezpečí pro mladé lidi současné společnosti | Práce na příbuzné téma

96.
Novák, Jakub
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Improvements of Memory Management in KLEE | Práce na příbuzné téma

97.
Novák, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, 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: Lazy object initialization support in KLEE | Práce na příbuzné téma

98.
Opavský, Vladimír
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Bezpečnosť technológie JavaCard | Práce na příbuzné téma

99.
Oravec, Michal
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Dokumentární film | Práce na příbuzné téma

100.
Oškrkaný, Pavel
Fakulta: Fakulta sociálních studií
Rok: 2012, studium neúspěšně ukončeno
Program/obor Humanitní studia / Historie, Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika)
Obhajoba bakalářské práce: Jugoslávský konflikt na stránkách českého a slovenského denního tisku v letech 1991– 1993 | Práce na příbuzné téma
Obhajoba bakalářské práce: Jugoslávský konflikt na stránkách českého a slovenského denního tisku v letech 1991– 1993 | Práce na příbuzné téma
Obhajoba bakalářské práce: Jugoslávský konflikt na stránkách českého a slovenského denního tisku v letech 1991–1993 | Práce na příbuzné téma