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

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

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

1.
Jelínek, Vít
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Teoretická informatika / Diskrétní algoritmy a modely
Obhajoba diplomové práce: Type theory and its semantics | Práce na příbuzné téma Zobrazit popisek

2.
Bachratý, Adam
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Pravdivost informace | Práce na příbuzné téma
Obhajoba bakalářské práce: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Práce na příbuzné téma
Obhajoba bakalářské práce: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Práce na příbuzné téma

3.
Koláčková, Eva
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství českého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Sémantická klasifikace sloves ve valenční databázi | Práce na příbuzné téma

4.
Koláčková, Jana
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk se specializací počítačová lingvistika
Obhajoba bakalářské práce: Sémantická analýza a jmenné fráze | Práce na příbuzné téma

5.
Kunovský, Adam
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk se specializací počítačová lingvistika
Obhajoba diplomové práce: Sémantické třídy českých sloves | Práce na příbuzné téma

6.
Říhová, Pavlína
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura
Obhajoba bakalářské práce: Sémantická klasifikace subjektu | Práce na příbuzné téma

7.
Trávníček, Zdeněk
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Problémy dialetheismu | Práce na příbuzné téma

8.
Babický, Vlastimil
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Španělský jazyk a literatura
Obhajoba bakalářské práce: Análisis léxico-semántico de las pintadas políticas recogidas en la Universidad de Castellón | Práce na příbuzné téma

9.
Balcerčíková, Jana
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura, Francouzský jazyk a literatura
Obhajoba bakalářské práce: Les dérivés en -esque : propriétés morphosyntaxiques et sémantiques | Práce na příbuzné téma

10.
Bartošíková, Tereza
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika), Sociologie
Obhajoba bakalářské práce: Patnáct minut slávy – žánr story v Brněnském deníku Rovnost | Práce na příbuzné téma

11.
Bartošová, Dominika
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura
Obhajoba diplomové práce: Sémantika českých názvů pece, pečení a pečených kulinářských výrobků | Práce na příbuzné téma

12.
Bartošová, Dominika
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství českého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Sémantika českých názvů pece, pečení a pečených kulinářských výrobků | Práce na příbuzné téma

13.
Bezek, Matúš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: FO interpretations in restricted graph classes | Práce na příbuzné téma

14.
Blahová, Jaroslava
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství českého jazyka a literatury pro základní školy, Učitelství občanské výchovy pro základní školy
Obhajoba diplomové práce: Místo logu v Hérakleitově a stoické filosofii | Práce na příbuzné téma

15.
Bobrzyková, Olga
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství ruského jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Neologismy v poezii V. Chlebnikova. Stylistické použití. | Práce na příbuzné téma

16.
Brantálová, Michaela
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Les énoncés exclamo-négatifs : analyse sémantique et syntaxique | Práce na příbuzné téma

17.
Burianová, Marcela
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Učitelství pro základní školy / Učitelství cizích jazyků pro základní školy - němčina
Obhajoba bakalářské práce: Slovesa s odlučitelnou a / nebo neodlučitelnou předponou | Práce na příbuzné téma

18.
Burianová, Marcela
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Verben mit dem trennbaren und / oder untrennbaren Präfix | Práce na příbuzné téma

19.
Coufalík, Marek
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Homotopická teorie typů | Práce na příbuzné téma

20.
Cvetkova, Zornica Cvetanova
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Paleoslovenistika a slovanské jazyky
Obhajoba disertační práce: Sémantika slovesného vidu v bulharštině a češtině z pohledu formální sémantiky | Práce na příbuzné téma

21.
Demianenko, Daria
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Německý jazyk a literatura / Německá jazykověda
Obhajoba diplomové práce: Modalverben im Deutschen in diachroner Perspektive. Eine Skizze anhand des Werkes Ackermann aus Böhmen | Práce na příbuzné téma

22.
Denysenko, Anna
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Obecná jazykověda
Obhajoba diplomové práce: Názvy domácích zvířat v ruštině, ukrajinštině, češtině a angličtině | Práce na příbuzné téma

23.
Dosedlová, Aneta
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Kulturní studia Číny
Obhajoba bakalářské práce: Semantic Description of Numeral Classifiers ke and zhu in Mandarin Chinese: A Corpus-based Analysis | Práce na příbuzné téma

24.
Dosedlová, Aneta
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Kulturní studia Číny
Obhajoba diplomové práce: Semantics and synonymy of selected numeral classifiers of categories of plants and animals | Práce na příbuzné téma

25.
Doskočil, Patrik
Fakulta: Filozofická fakulta
Rok: 2013, 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: Explikační síla teorie fikčních světů | Práce na příbuzné téma

26.
Ďurigová, Karolína
Fakulta: Pedagogická fakulta
Rok: 2023, studium probíhá
Program/obor Matematika se zaměřením na vzdělávání / Matematika se zaměřením na vzdělávání, Německý jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: Úlohy z matematické logiky v TSP a Scio testech | Práce na příbuzné téma

27.
Dvořáková, Martina
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství hudební výchovy pro základní školy, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Logické a kombinatorické problémy v matematice na ZŠ | Práce na příbuzné téma

28.
Džmura, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Knihovna pro animace v logice | Práce na příbuzné téma

29.
Ejem, Matouš
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk se specializací počítačová lingvistika
Obhajoba diplomové práce: Doplněk do prohlížeče pro automatický jazykový korektor | Práce na příbuzné téma

30.
Faltýnková, Michaela
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Český jazyk a literatura, Historie
Obhajoba bakalářské práce: Prostorová slovesa s inkorporací lokativních argumentů | Práce na příbuzné téma

31.
Friedrich, Matouš
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství německého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Namen der Ortschaften in der Umgebung der Stadt Neuhaus | Práce na příbuzné téma

32.
Gregar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Zvýšení kvality elektronické podpory výuky pomocí využití sémantických informací o grafických datech | Práce na příbuzné téma

33.
Gruber, Jiří
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Vybrané aspekty veršů v textech českého horrorcoru optikou předválečného Pražského lingvistického kroužku | Práce na příbuzné téma
Obhajoba bakalářské práce: Vybrané aspekty textů českého horrorcoru | Práce na příbuzné téma

34.
Havelková, Lenka
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura, Francouzský jazyk a literatura
Obhajoba bakalářské práce: Syntactic, Semantic and Morphological Features of Thematic and Rhematic Elements | Práce na příbuzné téma

35.
Hodonská, Šárka
Fakulta: Filozofická fakulta
Rok: 2009, 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: Topos mostu v díle Vítězslava Nezvala | Práce na příbuzné téma

36.
Homolová, Zuzana
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství hudební výchovy pro základní a střední školy / Učitelství hudební výchovy pro základní a střední školy, Učitelství matematiky pro základní školy
Obhajoba diplomové práce: Hudba 20. století v kontextu matematiky a logiky | Práce na příbuzné téma

37.
Horák, Jakub
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Stávající možnosti použití technologií HTML5 při tvorbě webové prezentace knihovny | Práce na příbuzné téma
Obhajoba bakalářské práce: Stávající možnosti použití technologií HTML5 při tvorbě webové prezentace knihovny | Práce na příbuzné téma

38.
Horovská, Rhiana
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Obecná jazykověda / Obecná jazykověda
Obhajoba diplomové práce: Anaphors, person constraint and distributivity: experimental study | Práce na příbuzné téma

39.
Jakubíček, Miloš
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Rule-Based Parsing of Morphologically Rich Languages | Práce na příbuzné téma

40.
Jakubíček, Miloš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba rigorózní práce: Rule-Based Parsing of Morphologically Rich Languages | Práce na příbuzné téma

41.
Jansová, Jana
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Chorvatský jazyk a literatura
Obhajoba diplomové práce: Názvy barev jako komponent chorvatských a českých frazémů | Práce na příbuzné téma

42.
Jurčo, Štefan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická kontrola rezolučních důkazů | Práce na příbuzné téma

43.
Kabeláčová, Tereza
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Srovnávací indoevropská jazykověda
Obhajoba disertační práce: Baltská deminutiva v genetické a areálové perspektivě | Práce na příbuzné téma

44.
Kadlecaj, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Online Lambda Calculus Evaluator | Práce na příbuzné téma

45.
Karafiát, Vít
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství anglického jazyka a literatury pro základní školy, Pedagogické asistentství ruského jazyka a literatury pro základní školy
Obhajoba bakalářské práce: Komparace sémantiky vybraných anglicizmů v ruském jazyce na příkladu týdeníku "Argumenty i Fakty" | Práce na příbuzné téma

46.
Kaválková, Renata
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Německý jazyk a literatura, Nizozemský jazyk a literatura
Obhajoba diplomové práce: Erweiterung des verbalen Wortschatzes mittels verbaler Präfixe | Práce na příbuzné téma

47.
Kinská, Ivana
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Obecná jazykověda
Obhajoba diplomové práce: Pragmatická analýza syntaktických konstrukcí typu "Jestliže a, (tak) b" | Práce na příbuzné téma

48.
Klementová, Soňa
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství matematiky pro základní školy / Učitelství hudební výchovy pro základní a střední školy, Učitelství matematiky pro základní školy
Obhajoba diplomové práce: Matematik muzikantem aneb jak se dva různé obory navzájem ovlivňují | Práce na příbuzné téma

49.
Kociánová, Alžběta
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Estetika a kulturní studia
Obhajoba diplomové práce: Český strukturalismus, jeho geneze a problémy v pohledu Olega Suse | Práce na příbuzné téma

50.
Kostelníčková, Šárka
Fakulta: Pedagogická fakulta
Rok: 2011, 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: Teching Features of Informal Face-to-Face Conversation | Práce na příbuzné téma