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

semantics, semantika, 2-category theory, teorie typu, bikolimity, type theory, logic, bicolimits, 2-kategorie, logika

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Dvořáková, Markéta
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Philology / General Linguistics
Master's thesis defence: Sémantická interpretace textu | Theses on a related topic Display description

102.
Faltýnková, Michaela
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Humanities / Czech Language and Literature, History
Master's thesis defence: The morphosyntax of the Czech "purpose adjective:" an infinitive in disguise | Theses on a related topic

103.
Fargaš, Oto
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: GUI pro zadávání hypotéz v hybridní logice | Theses on a related topic

104.
Franek, Juraj
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / Classical Greek Language and Literature, Latin Language and Literature
Bachelor's thesis defence: Dialektika v diele Martiana Capellu De Nuptiis Philologiae et Mercurii | Theses on a related topic

105.
Glaubaufová, Lenka
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: The Passive Voice from a Semantico-Syntactic Perspective | Theses on a related topic

106.
Govind, Prashanth Reddy
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Design and detection of Hardware Trojans | Theses on a related topic

107.
Gregar, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Semantics Visualization and Visual Semantics: in E-learning and other Applications | Theses on a related topic

108.
Hájková, Veronika
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature, Upper Secondary School Teacher Training in German Language and Literature
Master's thesis defence: Frekvenční a sémantická analýza doplnění tranzitivních sloves | Theses on a related topic

109.
Hao, Xuechun
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language for Education / English Language for Education
Bachelor's thesis defence: A comparative study of English determiners vs Chinese classifiers | Theses on a related topic

110.
Hejlová, Jitka
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature, French Language and Literature
Bachelor's thesis defence: "Nul part ailleurs" ou quelques remarques sur les noms de restaurants à Marseille | Theses on a related topic

111.
Hrdličková, Raisa
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Philology / Bulgarian Language and Literature
Master's thesis defence: Porovnání frazeologie a idiomantiky v českých a bulharských společenských časopisech | Theses on a related topic

112.
Hutařová, Edita
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Die Entwicklung der deutschen Verwandtschaftsnamen mit besonderer Berücksichtigung des semantischen Bereichs | Theses on a related topic

113.
Hutařová, Edita
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in German Language and Literature
Master's thesis defence: Die Entwicklung der deutschen Verwandtschaftsnamen mit besonderer Berücksichtigung des semantischen Bereichs | Theses on a related topic

114.
Chumchalová, Lucie
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: General Linguistics / General Linguistics
Bachelor's thesis defence: Negative Polarity Items and monotonicity inferences: experimental study | Theses on a related topic

115.
Isaeva, Ivka
Faculty: Faculty of Arts
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Philology / General Linguistics
Master's thesis defence: Některé bulharské a české partikule. Historicko-srovnávací studie. | Theses on a related topic

116.
Ježík, Matúš
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Online simulátor logické úlohy Peg solitaire | Theses on a related topic

117.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic

118.
Klangová, Libuše
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: PhDr.
Programme/field: Philology / Russian Language and Literature
Advanced Master's thesis defence: Studie o citoslovcích v ruštině a češtině (na materiálu divadelních her) | Theses on a related topic

119.
Kolomiiets, Anastasiia
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: French Literature and Linguistics / French language and literature
Master's thesis defence: Procédés linguistiques de la propagande de guerre : l'exemple de la persuasion russe dans la presse française | Theses on a related topic

120.
Kosztolányi, Štefan
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Aesthetics and Culture Studies
Master's thesis defence: Estetické vlastnosti v analytické estetice: ontologická a sémantická analýza | Theses on a related topic

121.
Králová, Jana
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature, Russian Language and Literature
Master's thesis defence: Odborný jazyk v německých tiskových médiích náhradní stylistické formy odborných názvů | Theses on a related topic

122.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic

123.
Kuba, Martin
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: SEAGRIN: Grid Infrastructure for Sharing Medical Knowledge | Theses on a related topic

124.
Kučera, Adam
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Semantics-Driven Middleware Layer for Building Operation Analysis in Large-Scale Environments | Theses on a related topic

125.
Kučeráková, Lucie maiden name: Korešová
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Compound nouns related to healthy lifestyle, fitness and diet | Theses on a related topic

126.
Kurajda, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Informační systém na podporu zapojení veřejnosti do ochrany životního prostředí | Theses on a related topic

127.
Laurinčík, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Logiky pro popis vlastností stochastických her | Theses on a related topic

128.
Lesičko, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: C++14 - mapping between the standard and a formal semantics | Theses on a related topic

129.
Lindrová, Lucie maiden name: Kořistková
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Sémantický web a mikroformáty | Theses on a related topic

130.
Líška, Martin
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Building the Ultimate Math Search Engine | Theses on a related topic

131.
Mach, Tomáš
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, German Language and Literature
Bachelor's thesis defence: Lexical Priming as an Approach to Meaning Analysis: The Case of Adverb Modifiers of Verbs in the Troponymical Relation | Theses on a related topic

132.
Matscheová, Denisa
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: The Internal Semantic Structure of a Selected Group of English Verbs | Theses on a related topic

133.
Mazáčová, Nella
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Bachelor's thesis defence: Aplikace typového systému pro valenční rámce | Theses on a related topic

134.
Melkusová, Zuzana
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Bachelor's thesis defence: Rozvoj slovní zásoby u dětí předškolního věku | Theses on a related topic

135.
Molčanová, Agáta
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Gallery Education and Arts Facilitation, Visual Arts
Master's thesis defence: Oděv jako nástroj lidské symbolizace | Theses on a related topic

136.
Nasirinia, Mohammadehsan
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language and Literature / English Language and Literature
Bachelor's thesis defence: On the Language of TV Shows: Wordplay in Rick and Morty | Theses on a related topic

137.
Onoeva, Mariia
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Philology / General Linguistics
Master's thesis defence: Inferential behavior of degree achievements: an experimental study | Theses on a related topic

138.
Opálený, Filip
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Sbírka příkladů pro předmět IB000 | Theses on a related topic

139.
Paulovčáková, Miroslava
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: English Language and Literature / English Language and Literature
Master's thesis defence: The Analysis of Conceptual Metaphor in the Young Adult Magazine Discourse | Theses on a related topic

140.
Pendl, Jakub
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Konverze výukových animací | Theses on a related topic

141.
Peremilovská, Adriana
Faculty: Faculty of Arts
Year: 2022, studies terminated for failure to fulfill study requirements
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Propozice a propoziční postoje, jejich vývoj a role v logice | Theses on a related topic

142.
Poprocká, Michaela
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philology / Norwegian Language and Literature
Bachelor's thesis defence: Semantics of covaluation expressions: truth value judgment task | Theses on a related topic

143.
Prausová, Barbora
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature, French Language and Literature
Bachelor's thesis defence: Brzdy pasiva | Theses on a related topic

144.
Priatelová, Martina
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Theoretical Approaches to Prototype Theory | Theses on a related topic

145.
Racková, Karolína
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language for Education, French Language for Education
Bachelor's thesis defence: “False friends” between English and French | Theses on a related topic

146.
Richter, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro interaktivní dokazování tvrzení o formálních jazycích | Theses on a related topic

147.
Ryška, Adam
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures
Bachelor's thesis defence: Mapování příbuzenské terminologie v baltofinských jazycích v etymologické perspektivě | Theses on a related topic

148.
Řiháková, Jana
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in Russian Language
Master's thesis defence: Sloveso se slovním základem „poln“ v ruském jazyce, v porovnání s češtinou | Theses on a related topic

149.
Říhová, Jana
Faculty: Faculty of Education
Year: 2008, 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 Czech Language and Literature
Master's thesis defence: Epikúros versus stoikové | Theses on a related topic

150.
Sekera, Tomáš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Obrázkově sémantická hra | Theses on a related topic