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

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

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

1.
Bucková, Terézia roz. Šulganová
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: Logická analýza angličtiny pomocí TIL | Práce na příbuzné téma Zobrazit popisek

2.
Horák, Aleš
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Analysis of Knowledge in Sentences | Práce na příbuzné téma

3.
Hala, Michal
Fakulta: Fakulta informatiky
Rok: 2020, 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: Implementace efektivní sémantické sítě pro tvorbu báze znalostí | Práce na příbuzné téma

4.
Aharodnikav, Kiryl
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Referenční model IFRS pro SME | Práce na příbuzné téma
Obhajoba diplomové práce: Interaktivní referenční model IFRS pro SME | Práce na příbuzné téma

5.
Aharodnikava, Yuliya
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Referenční model daňového systému ČR | Práce na příbuzné téma
Obhajoba diplomové práce: Referenční model zdanění příjmů ze živnostenského podnikání | Práce na příbuzné téma

6.
Balík, Daniel
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Montaguova logika ve srovnání s Transparentní intenzionální logikou | Práce na příbuzné téma

7.
Bartesková, Monika
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika (Specializace 1 - logopedie a surdopedie)
Obhajoba diplomové práce: Interaktivní box v procesu rozvoje komunikační schopnosti u dětí se sluchovým postižením | Práce na příbuzné téma

8.
Borýsková, Anna
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika (Specializace 1 - logopedie a surdopedie)
Obhajoba diplomové práce: Stimulace dílčích funkcí u žáků na 1. stupni základních škol | Práce na příbuzné téma

9.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Aplikace logické analýzy přirozeného jazyka na práci s databází

10.
Burianová, Milada
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: A Relevance-Theoretic Perspective on the Ideology of Christian Advertisement | Práce na příbuzné téma

11.
Čítková, Michaela
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika pro učitele
Obhajoba diplomové práce: Přístupy pedagogů k dětem s deficity dílčích funkcí v mateřské škole | Práce na příbuzné téma

12.
Dobrovolná, Denisa
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Rozvoj dílčích funkcí dětí předškolního věku v logopedické třídě mateřské školy | Práce na příbuzné téma

13.
Dolnáková, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Experimentální biologie / Matematická biologie
Obhajoba bakalářské práce: Odvozování haplotypů a hodnocení asociací v MHC | Práce na příbuzné téma

14.
Dumpíková, Věra
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Diagnostika školní připravenosti a stimulace dílčích funkcí v předškolním věku | Práce na příbuzné téma

15.
Filipová, Jana
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Úroveň sluchové analýzy a syntézy u dětí předškolního věku s narušenou komunikační schopností | Práce na příbuzné téma

16.
Gardoň, Andrej
Fakulta: Fakulta informatiky
Rok: 2013, 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: Improving QA Systems with Temporal Reasoning and Multilingual Input | Práce na příbuzné téma

17.
Gregorová, Eva
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Metoda dobrého startu jako prevence deficitů dílčích funkcí | Práce na příbuzné téma

18.
Horák, Aleš
Fakulta: Fakulta informatiky
Rok: 2002, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Matematická informatika
Obhajoba disertační práce: The Normal Translation Algorithm in Transparent Intensional Logic for Czech | Práce na příbuzné téma

19.
Chudáčková, Petra
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: 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 | Práce na příbuzné téma

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

21.
Konečná, Zuzana
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika (Specializace 2 - oftalmopedie)
Obhajoba diplomové práce: Rozvoj dílčích funkcí u dětí se slabozrakostí v předškolním a mladším školním věku | Práce na příbuzné téma

22.
Konečný, Jakub
Fakulta: Filozofická fakulta
Rok: 2016, 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: Mělké sémantické valence a přechodová pravidla | Práce na příbuzné téma
Obhajoba bakalářské práce: Mělké sémantické valence a přechodová pravidla | Práce na příbuzné téma

23.
Kövári, Adam
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Reaktivní platforma federované databáze | Práce na příbuzné téma

24.
Krupanská, Kristýna roz. Kordíková
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika (Specializace 5 - souběžné postižení více vadami)
Obhajoba diplomové práce: Rozvoj předmatematických představ u dítěte s Edwardsnovým syndromem v předškolním věku | Práce na příbuzné téma

25.
Kříž, Petr
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Logická analýza v rámci systému SYNT | Práce na příbuzné téma

26.
Kusáková, Radomíra roz. Šťavíková
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika pro učitele
Obhajoba diplomové práce: Rozvoj předmatematických představ dětí v předškolním věku | Práce na příbuzné téma

27.
Lancouchová, Barbora
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 - angličtina
Obhajoba bakalářské práce: Using Magazines and Newspapers in ELT with Interpersonal and Intrapersonal types of Students | Práce na příbuzné téma

28.
Macurová, Petra
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura
Obhajoba diplomové práce: Kontrolové infinitivy | Práce na příbuzné téma

29.
Macurová, Petra
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Český jazyk
Obhajoba disertační práce: Demonstrativa ten a tento a jejich italské ekvivalenty il, questo a quello | Práce na příbuzné téma

30.
Míková, Lenka
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika pro učitele
Obhajoba diplomové práce: Diagnostika a náprava deficitů dílčích funkcí u dětí předškolního věku | Práce na příbuzné téma

31.
Mises, Pavel roz. Dvořák
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: Syntactic analysis and type evaluation in Haskell | Práce na příbuzné téma

32.
Mises, Pavel roz. Dvořák
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Web applications in Haskell | Práce na příbuzné téma

33.
Nedomová, Pavla
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Eliminování deficitů dílčích funkcí | Práce na příbuzné téma

34.
Němčík, Václav
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Anaphora Resolution | Práce na příbuzné téma

35.
Novák, Stanislav
Fakulta: Fakulta informatiky
Rok: 2011, 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: Haskell Hero -- interaktivní učebnice funkcionálního programování | Práce na příbuzné téma

36.
Novotná, Jitka
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika pro učitele
Obhajoba diplomové práce: Využití Metody Dobrého startu u předškolních dětí jako formy prevence specifických poruch učení | Práce na příbuzné téma

37.
Palíšek, Petr
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Kognitivní heuristiky v rozhodování českých soudců | Práce na příbuzné téma

38.
Pastirčák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Application of functional programming in the development of enterprise systems | Práce na příbuzné téma

39.
Petrovič, Marek
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Zpracování a analýza rozsáhlých dat
Obhajoba diplomové práce: One Bit at a Time: Impact of Quantisation on Neural Machine Translation | Práce na příbuzné téma

40.
Pezlar, Ivo
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filozofie (čtyřleté) / Filozofie
Obhajoba disertační práce: Investigations into Transparent Intensional Logic: A Rule-based Approach | Práce na příbuzné téma

41.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: In-memory dictionaries with multidimensional keys in Haskell | Práce na příbuzné téma

42.
Pivodová, Renáta
Fakulta: Fakulta informatiky
Rok: 2020, 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: Zpracování nových gramatických fenoménů v logické analýze přirozeného jazyka | Práce na příbuzné téma

43.
Pražáková, Anna
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Prevence školního neúspěchu u žáků prvních ročníků na základní škole | Práce na příbuzné téma

44.
Raclavský, Jiří
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Filozofie / Filozofie
Obhajoba rigorózní práce: Logická analýza pojmových postojů (teze disertační práce) | Práce na příbuzné téma

45.
Remenárová, Veronika
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství výtvarné výchovy a vizuální tvorby pro základní a střední školy / Speciální pedagogika pro učitele základních a středních škol, Učitelství výtvarné výchovy a vizuální tvorby pro základní a střední školy
Obhajoba diplomové práce: 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 | Práce na příbuzné téma

46.
Sedláčková, Helena
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Rozvoj fonematického vnímání u dětí předškolního věku | Práce na příbuzné téma

47.
Sedláčková, Sylvie
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Prevence specifických poruch učení | Práce na příbuzné téma

48.
Šandera, Petr
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální práce
Obhajoba diplomové práce: Faktory ohrožující práci s gay a lesbickými klienty vnímané sociálními pracovníky | Práce na příbuzné téma

49.
Ševc, Branislav
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Knihovna pro zpracování asynchronních událostí v C++ | Práce na příbuzné téma

50.
Šimurka, Andrej
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Inference of Boolean Networks | Práce na příbuzné téma