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

use--mention distinction, partial functions, intensions, transparent intensional logic, $\lambda$-calculus, de dicto/de re, til, logical analysis, functional programming, anaphora, inference

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Bucková, Terézia maiden name: Šulganová
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Logická analýza angličtiny pomocí TIL | Theses on a related topic Display description

2.
Horák, Aleš
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Analysis of Knowledge in Sentences | Theses on a related topic

3.
Hala, Michal
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Implementace efektivní sémantické sítě pro tvorbu báze znalostí | Theses on a related topic

4.
Aharodnikav, Kiryl
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Referenční model IFRS pro SME | Theses on a related topic
Master's thesis defence: Interaktivní referenční model IFRS pro SME | Theses on a related topic

5.
Aharodnikava, Yuliya
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Referenční model daňového systému ČR | Theses on a related topic
Master's thesis defence: Referenční model zdanění příjmů ze živnostenského podnikání | Theses on a related topic

6.
Balík, Daniel
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Montaguova logika ve srovnání s Transparentní intenzionální logikou | Theses on a related topic

7.
Bartesková, Monika
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education (Specialization 1 - Speech Therapy and Hearing Impairment)
Master's thesis defence: Interaktivní box v procesu rozvoje komunikační schopnosti u dětí se sluchovým postižením | Theses on a related topic

8.
Borýsková, Anna
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education (Specialization 1 - Speech and Hearing Impairments)
Master's thesis defence: Stimulace dílčích funkcí u žáků na 1. stupni základních škol | Theses on a related topic

9.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Aplikace logické analýzy přirozeného jazyka na práci s databází

10.
Burianová, Milada
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: A Relevance-Theoretic Perspective on the Ideology of Christian Advertisement | Theses on a related topic

11.
Čítková, Michaela
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education for Teachers
Master's thesis defence: Přístupy pedagogů k dětem s deficity dílčích funkcí v mateřské škole | Theses on a related topic

12.
Dobrovolná, Denisa
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Master's thesis defence: Rozvoj dílčích funkcí dětí předškolního věku v logopedické třídě mateřské školy | Theses on a related topic

13.
Dolnáková, Lenka
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Mathematical Biology
Bachelor's thesis defence: Odvozování haplotypů a hodnocení asociací v MHC | Theses on a related topic

14.
Dumpíková, Věra
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Diagnostika školní připravenosti a stimulace dílčích funkcí v předškolním věku | Theses on a related topic

15.
Filipová, Jana
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Úroveň sluchové analýzy a syntézy u dětí předškolního věku s narušenou komunikační schopností | Theses on a related topic

16.
Gardoň, Andrej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Advanced Master's thesis defence: Improving QA Systems with Temporal Reasoning and Multilingual Input | Theses on a related topic

17.
Gregorová, Eva
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Metoda dobrého startu jako prevence deficitů dílčích funkcí | Theses on a related topic

18.
Horák, Aleš
Faculty: Faculty of Informatics
Year: 2002, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Mathematical Informatics
Doctoral thesis defence: The Normal Translation Algorithm in Transparent Intensional Logic for Czech | Theses on a related topic

19.
Chudáčková, Petra
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Vliv stimulace dílčích funkcí na základě diagnostiky metodou B. Sindelar na jejich rozvoj u dětí předškolního věku | Theses on a related topic

20.
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

21.
Konečná, Zuzana
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education (Specialization 2 - Education of Individuals with Visual Disability)
Master's thesis defence: Rozvoj dílčích funkcí u dětí se slabozrakostí v předškolním a mladším školním věku | Theses on a related topic

22.
Konečný, Jakub
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Bachelor's thesis defence: Mělké sémantické valence a přechodová pravidla | Theses on a related topic
Bachelor's thesis defence: Mělké sémantické valence a přechodová pravidla | Theses on a related topic

23.
Kövári, Adam
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Reaktivní platforma federované databáze | Theses on a related topic

24.
Krupanská, Kristýna maiden name: Kordíková
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education (Specialization 5 - Multiple Disabilities)
Master's thesis defence: Rozvoj předmatematických představ u dítěte s Edwardsnovým syndromem v předškolním věku | Theses on a related topic

25.
Kříž, Petr
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Logická analýza v rámci systému SYNT | Theses on a related topic

26.
Kusáková, Radomíra maiden name: Šťavíková
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education for Teachers
Master's thesis defence: Rozvoj předmatematických představ dětí v předškolním věku | Theses on a related topic

27.
Lancouchová, Barbora
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 - English
Bachelor's thesis defence: Using Magazines and Newspapers in ELT with Interpersonal and Intrapersonal types of Students | Theses on a related topic

28.
Macurová, Petra
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language and Literature
Master's thesis defence: Kontrolové infinitivy | Theses on a related topic

29.
Macurová, Petra
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Czech Language
Doctoral thesis defence: Demonstrativa ten a tento a jejich italské ekvivalenty il, questo a quello | Theses on a related topic

30.
Míková, Lenka
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education for Teachers
Master's thesis defence: Diagnostika a náprava deficitů dílčích funkcí u dětí předškolního věku | Theses on a related topic

31.
Mises, Pavel maiden name: Dvořák
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Syntactic analysis and type evaluation in Haskell | Theses on a related topic

32.
Mises, Pavel maiden name: Dvořák
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Web applications in Haskell | Theses on a related topic

33.
Nedomová, Pavla
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Eliminování deficitů dílčích funkcí | Theses on a related topic

34.
Němčík, Václav
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Anaphora Resolution | Theses on a related topic

35.
Novák, Stanislav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Haskell Hero -- interaktivní učebnice funkcionálního programování | Theses on a related topic

36.
Novotná, Jitka
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education for Teachers
Master's thesis defence: Využití Metody Dobrého startu u předškolních dětí jako formy prevence specifických poruch učení | Theses on a related topic

37.
Palíšek, Petr
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Kognitivní heuristiky v rozhodování českých soudců | Theses on a related topic

38.
Pastirčák, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Application of functional programming in the development of enterprise systems | Theses on a related topic

39.
Petrovič, Marek
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Big data
Master's thesis defence: One Bit at a Time: Impact of Quantisation on Neural Machine Translation | Theses on a related topic

40.
Pezlar, Ivo
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Philosophy (4-years) / Philosophy
Doctoral thesis defence: Investigations into Transparent Intensional Logic: A Rule-based Approach | Theses on a related topic

41.
Pilař, Petr
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: In-memory dictionaries with multidimensional keys in Haskell | Theses on a related topic

42.
Pivodová, Renáta
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Zpracování nových gramatických fenoménů v logické analýze přirozeného jazyka | Theses on a related topic

43.
Pražáková, Anna
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Prevence školního neúspěchu u žáků prvních ročníků na základní škole | Theses on a related topic

44.
Raclavský, Jiří
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: PhDr.
Programme/field: Philosophy / Philosophy
Advanced Master's thesis defence: Logická analýza pojmových postojů (teze disertační práce) | Theses on a related topic

45.
Remenárová, Veronika
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Arts and Visual Creative Works / Secondary School Teacher Training in Arts and Visual Creative Works, Secondary School Teacher Training in Special Education
Master's thesis defence: Analýza deficitov čiastkových funkcií a ich stimulácia aplikáciou autorského súboru výtvarných aktivít u detí v prostredí materskej školy | Theses on a related topic

46.
Sedláčková, Helena
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Rozvoj fonematického vnímání u dětí předškolního věku | Theses on a related topic

47.
Sedláčková, Sylvie
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Prevence specifických poruch učení | Theses on a related topic

48.
Šandera, Petr
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work
Master's thesis defence: Faktory ohrožující práci s gay a lesbickými klienty vnímané sociálními pracovníky | Theses on a related topic

49.
Ševc, Branislav
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro zpracování asynchronních událostí v C++ | Theses on a related topic

50.
Šimurka, Andrej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Inference of Boolean Networks | Theses on a related topic