Práce na příbuzné téma (mají shodná klíčová slova):
k, agda, formal semantics, formalna semantika, operacna semantika, prepisovacia logika, kagda, teoria typov, type theory, dependent type systems, typove systemy so zavislymi typmi, operational semantics, rewriting logicKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Adámková, Markéta
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Právní režim změn druhů pozemků | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Právní režim změn druhů pozemků | Práce na příbuzné téma
2.
Blaha, Dalibor
Fakulta: Právnická fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Odpovědnost ČR za následky porušení práva ES
Fakulta: Právnická fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Odpovědnost ČR za následky porušení práva ES
3.
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
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
4.
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
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
5.
Dočekal, Mojmír
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Filologie / Český jazyk a literatura
Obhajoba rigorózní práce: Vázané proměnné v češtině (teze disertační práce) | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Filologie / Český jazyk a literatura
Obhajoba rigorózní práce: Vázané proměnné v češtině (teze disertační práce) | Práce na příbuzné téma
6.
Fredy, Lada
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Novodobé otroctví v kontextu České republiky | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Novodobé otroctví v kontextu České republiky | Práce na příbuzné téma
7.
Grünwaldová, Petra
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Obecná jazykověda
Obhajoba bakalářské práce: Rasmus Rask - život a dílo | Práce na příbuzné téma
Obhajoba bakalářské práce: Vybrané přístupy k presupozicím | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Obecná jazykověda
Obhajoba bakalářské práce: Rasmus Rask - život a dílo | Práce na příbuzné téma
Obhajoba bakalářské práce: Vybrané přístupy k presupozicím | Práce na příbuzné téma
8.
Homola, Lukáš
Fakulta: Lékařská fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Pediatrie (čtyřleté) / Pediatrie
Obhajoba disertační práce: Substituce vitaminů u cystické fibrózy | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Pediatrie (čtyřleté) / Pediatrie
Obhajoba disertační práce: Substituce vitaminů u cystické fibrózy | Práce na příbuzné téma
9.
Horovská, Rhiana
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná jazykověda / Obecná jazykověda
Obhajoba bakalářské práce: Distributive operators quantifying over objecst: an experiment | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná jazykověda / Obecná jazykověda
Obhajoba bakalářské práce: Distributive operators quantifying over objecst: an experiment | Práce na příbuzné téma
10.
Hromada, Vladimír
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Java aplet pro zobrazení a simulaci SLR(k) analyzátorů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Java aplet pro zobrazení a simulaci SLR(k) analyzátorů | Práce na příbuzné téma
11.
Jelínek, Vít
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
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
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
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
12.
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
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
13.
Krupička, Adam
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Coinductive Formalization of SECD Machine in Agda | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Coinductive Formalization of SECD Machine in Agda | Práce na příbuzné téma
14.
Michálek, Marek
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Filozofie / Anglický jazyk a literatura, Filozofie
Obhajoba bakalářské práce: Intuicionistic Type Theory and its Application to Natural Language | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Filozofie / Anglický jazyk a literatura, Filozofie
Obhajoba bakalářské práce: Intuicionistic Type Theory and its Application to Natural Language | Práce na příbuzné téma
15.
Míšek, Jan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Strategie a ohodnocovací funkce hry Connect6 | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Strategie a ohodnocovací funkce hry Connect6 | Práce na příbuzné téma
16.
Pavlík, David
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Local Type Argument Synthesis for Erlang | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Local Type Argument Synthesis for Erlang | Práce na příbuzné téma
17.
Schneider, Jiří
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geologie / Geologie
Obhajoba bakalářské práce: Gamaspektrometricke vyhodnocení průzkumných vrtů na uranové zrudnění | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geologie / Geologie
Obhajoba bakalářské práce: Gamaspektrometricke vyhodnocení průzkumných vrtů na uranové zrudnění | Práce na příbuzné téma
18.
Schneider, Jiří
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geologie / Geologie
Obhajoba diplomové práce: Gamaspektrometrická charakteristika alkalicko-živcového syenitu u Naloučan. | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geologie / Geologie
Obhajoba diplomové práce: Gamaspektrometrická charakteristika alkalicko-živcového syenitu u Naloučan. | Práce na příbuzné téma
19.
Strachoňová, Hana
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura, Španělský jazyk a literatura
Obhajoba diplomové práce: Negativní shoda v současné češtině | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura, Španělský jazyk a literatura
Obhajoba diplomové práce: Negativní shoda v současné češtině | Práce na příbuzné téma
20.
Strachoňová, Hana
Fakulta: Filozofická fakulta
Rok: 2010, 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, Učitelství španělského jazyka a literatury pro střední školy
Obhajoba diplomové práce: Negativní shoda v současné češtině | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2010, 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, Učitelství španělského jazyka a literatury pro střední školy
Obhajoba diplomové práce: Negativní shoda v současné češtině | Práce na příbuzné téma
21.
Strachoňová, Hana
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Obecná jazykověda
Obhajoba disertační práce: Česká free choice indefinita | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Obecná jazykověda
Obhajoba disertační práce: Česká free choice indefinita | Práce na příbuzné téma
22.
Šírová, Lenka
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - německý jazyk
Obhajoba bakalářské práce: Typické výslovnostní chyby českých rodilých mluvčí a metody jejich odstraňování | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - německý jazyk
Obhajoba bakalářské práce: Typické výslovnostní chyby českých rodilých mluvčí a metody jejich odstraňování | Práce na příbuzné téma
23.
Tušil, Jan
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: An Executable Formal Semantics of C++ | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: An Executable Formal Semantics of C++ | Práce na příbuzné téma