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

intuicionismus, per martin-lof, computational linguistics, semantics, semantika, natural language processing, natural language, teorie typu, intuicionisticka teorie typu, komputacni lingvistika, intuitionism, type theory, intuitionistic type theory, prirozeny jazyk, aarne ranta, logika, logic

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Jelínek, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Discrete algorithms and models
Master's thesis defence: Type theory and its semantics | Theses on a related topic Display description

2.
Bachratý, Adam
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Pravdivost informace | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Theses on a related topic

3.
Koláčková, Eva
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Sémantická klasifikace sloves ve valenční databázi | Theses on a related topic

4.
Koláčková, Jana
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Bachelor's thesis defence: Sémantická analýza a jmenné fráze | Theses on a related topic

5.
Kunovský, Adam
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Master's thesis defence: Sémantické třídy českých sloves | Theses on a related topic

6.
Říhová, Pavlína
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Sémantická klasifikace subjektu | Theses on a related topic

7.
Trávníček, Zdeněk
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Problémy dialetheismu | Theses on a related topic

8.
Babický, Vlastimil
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / Spanish Language and Literature
Bachelor's thesis defence: Análisis léxico-semántico de las pintadas políticas recogidas en la Universidad de Castellón | Theses on a related topic

9.
Balcerčíková, Jana
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, French Language and Literature
Bachelor's thesis defence: Les dérivés en -esque : propriétés morphosyntaxiques et sémantiques | Theses on a related topic

10.
Bartošíková, Tereza
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism (combination/specialization: Journalism), Sociology
Bachelor's thesis defence: Patnáct minut slávy – žánr story v Brněnském deníku Rovnost | Theses on a related topic

11.
Bartošová, Dominika
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language and Literature
Master's thesis defence: Sémantika českých názvů pece, pečení a pečených kulinářských výrobků | Theses on a related topic

12.
Bartošová, Dominika
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Sémantika českých názvů pece, pečení a pečených kulinářských výrobků | Theses on a related topic

13.
Bezek, Matúš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: FO interpretations in restricted graph classes | Theses on a related topic

14.
Blahová, Jaroslava
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: Místo logu v Hérakleitově a stoické filosofii | Theses on a related topic

15.
Bobrzyková, Olga
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: Neologismy v poezii V. Chlebnikova. Stylistické použití. | Theses on a related topic

16.
Brantálová, Michaela
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Les énoncés exclamo-négatifs : analyse sémantique et syntaxique | Theses on a related topic

17.
Burianová, Marcela
Faculty: Faculty of Education
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Foreign Languages - German
Bachelor's thesis defence: Slovesa s odlučitelnou a / nebo neodlučitelnou předponou | Theses on a related topic

18.
Burianová, Marcela
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in German Language
Master's thesis defence: Verben mit dem trennbaren und / oder untrennbaren Präfix | Theses on a related topic

19.
Coufalík, Marek
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Homotopická teorie typů | Theses on a related topic

20.
Cvetkova, Zornica Cvetanova
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Paleoslavic and Slavic Languages
Doctoral thesis defence: Sémantika slovesného vidu v bulharštině a češtině z pohledu formální sémantiky | Theses on a related topic

21.
Demianenko, Daria
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: German Language and Literature / German linguistics
Master's thesis defence: Modalverben im Deutschen in diachroner Perspektive. Eine Skizze anhand des Werkes Ackermann aus Böhmen | Theses on a related topic

22.
Denysenko, Anna
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Philology / General Linguistics
Master's thesis defence: Názvy domácích zvířat v ruštině, ukrajinštině, češtině a angličtině | Theses on a related topic

23.
Dosedlová, Aneta
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / Culture Studies of China
Bachelor's thesis defence: Semantic Description of Numeral Classifiers ke and zhu in Mandarin Chinese: A Corpus-based Analysis | Theses on a related topic

24.
Dosedlová, Aneta
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / Culture Studies of China
Master's thesis defence: Semantics and synonymy of selected numeral classifiers of categories of plants and animals | Theses on a related topic

25.
Doskočil, Patrik
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Explikační síla teorie fikčních světů | Theses on a related topic

26.
Ďurigová, Karolína
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / German Language for Education, Mathematics for Education
Bachelor's thesis defence: Úlohy z matematické logiky v TSP a Scio testech | Theses on a related topic

27.
Dvořáková, Martina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Music
Bachelor's thesis defence: Logické a kombinatorické problémy v matematice na ZŠ | Theses on a related topic

28.
Džmura, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Knihovna pro animace v logice | Theses on a related topic

29.
Ejem, Matouš
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Master's thesis defence: Doplněk do prohlížeče pro automatický jazykový korektor | Theses on a related topic

30.
Faltýnková, Michaela
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Humanities / Czech Language and Literature, History
Bachelor's thesis defence: Prostorová slovesa s inkorporací lokativních argumentů | Theses on a related topic

31.
Friedrich, Matouš
Faculty: Faculty of Arts
Year: 2016, 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: Namen der Ortschaften in der Umgebung der Stadt Neuhaus | Theses on a related topic

32.
Gregar, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Zvýšení kvality elektronické podpory výuky pomocí využití sémantických informací o grafických datech | Theses on a related topic

33.
Gruber, Jiří
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Vybrané aspekty veršů v textech českého horrorcoru optikou předválečného Pražského lingvistického kroužku | Theses on a related topic
Bachelor's thesis defence: Vybrané aspekty textů českého horrorcoru | Theses on a related topic

34.
Havelková, Lenka
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, French Language and Literature
Bachelor's thesis defence: Syntactic, Semantic and Morphological Features of Thematic and Rhematic Elements | Theses on a related topic

35.
Hodonská, Šárka
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Topos mostu v díle Vítězslava Nezvala | Theses on a related topic

36.
Homolová, Zuzana
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Music / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Hudba 20. století v kontextu matematiky a logiky | Theses on a related topic

37.
Horák, Jakub
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Stávající možnosti použití technologií HTML5 při tvorbě webové prezentace knihovny | Theses on a related topic
Bachelor's thesis defence: Stávající možnosti použití technologií HTML5 při tvorbě webové prezentace knihovny | Theses on a related topic

38.
Horovská, Rhiana
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: General Linguistics / General Linguistics
Master's thesis defence: Anaphors, person constraint and distributivity: experimental study | Theses on a related topic

39.
Jakubíček, Miloš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Rule-Based Parsing of Morphologically Rich Languages | Theses on a related topic

40.
Jakubíček, Miloš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Advanced Master's thesis defence: Rule-Based Parsing of Morphologically Rich Languages | Theses on a related topic

41.
Jansová, Jana
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philology / Croatian Language and Literature
Master's thesis defence: Názvy barev jako komponent chorvatských a českých frazémů | Theses on a related topic

42.
Jurčo, Štefan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická kontrola rezolučních důkazů | Theses on a related topic

43.
Kabeláčová, Tereza
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Indo-European Comparative Linguistics
Doctoral thesis defence: Baltská deminutiva v genetické a areálové perspektivě | Theses on a related topic

44.
Kadlecaj, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Online Lambda Calculus Evaluator | Theses on a related topic

45.
Karafiát, Vít
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Russian Language and Literature
Bachelor's thesis defence: Komparace sémantiky vybraných anglicizmů v ruském jazyce na příkladu týdeníku "Argumenty i Fakty" | Theses on a related topic

46.
Kaválková, Renata
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Philology / Dutch Language and Literature, German Language and Literature
Master's thesis defence: Erweiterung des verbalen Wortschatzes mittels verbaler Präfixe | Theses on a related topic

47.
Kinská, Ivana
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Philology / General Linguistics
Master's thesis defence: Pragmatická analýza syntaktických konstrukcí typu "Jestliže a, (tak) b" | Theses on a related topic

48.
Klementová, Soňa
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Matematik muzikantem aneb jak se dva různé obory navzájem ovlivňují | Theses on a related topic

49.
Kociánová, Alžběta
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: Český strukturalismus, jeho geneze a problémy v pohledu Olega Suse | Theses on a related topic

50.
Kostelníčková, Šárka
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Teching Features of Informal Face-to-Face Conversation | Theses on a related topic