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

eilenbergomoore algebras, definovatelnost, definability, nekonecne lesy, eilenbergovyomooreho algebry, monads, infinite forests, logic, monady, logika

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

1.
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 Zobrazit popisek

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

3.
Dupyn, Yuriy
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Algebraické struktury | Práce na příbuzné téma

4.
Ďurigová, Karolína
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
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

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

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

7.
Gregorová, Lenka
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství matematiky pro základní školy, Pedagogické asistentství občanské výchovy pro základní školy
Obhajoba bakalářské práce: Leibniz ako filozof a matematik | Práce na příbuzné téma

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

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

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

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

12.
Kutálková, Veronika
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Aplikovaná matematika pro víceoborové studium, Ekonomie
Obhajoba bakalářské práce: Sbírka úloh z diskrétní matematiky | Práce na příbuzné téma

13.
Mačák, Jan
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: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | 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

15.
Podhorská, Zuzana
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Animace ve výuce logiky | Práce na příbuzné téma

16.
Skalová, Michaela
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství matematiky pro základní školy, Učitelství občanské výchovy pro základní školy
Obhajoba diplomové práce: Odraz Descartovy filosofie v českém myšlení po roce 1990 | Práce na příbuzné téma

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

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

19.
Bartošek, Marek
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Výukové animace v jazyce JavaScript | Práce na příbuzné téma

20.
Di Liberti, Ivan
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika a statistika / Algebra, teorie čísel a matematická logika
Obhajoba disertační práce: The Scott adjunction | Práce na příbuzné téma

21.
Fargaš, Oto
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: GUI pro zadávání hypotéz v hybridní logice | Práce na příbuzné téma

22.
Franek, Juraj
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Klasický řecký jazyk a literatura, Latinský jazyk a literatura
Obhajoba bakalářské práce: Dialektika v diele Martiana Capellu De Nuptiis Philologiae et Mercurii | Práce na příbuzné téma

23.
Govind, Prashanth Reddy
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Design and detection of Hardware Trojans | Práce na příbuzné téma

24.
Ježík, Matúš
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Online simulátor logické úlohy Peg solitaire | Práce na příbuzné téma

25.
Jonáš, Martin
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Práce na příbuzné téma

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

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

28.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Modal Transition Systems: Extensions and Analysis | Práce na příbuzné téma

29.
Laurinčík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Logiky pro popis vlastností stochastických her | Práce na příbuzné téma

30.
Molčanová, Agáta
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Galerijní pedagogika a zprostředkování umění, Vizuální tvorba
Obhajoba diplomové práce: Oděv jako nástroj lidské symbolizace | Práce na příbuzné téma

31.
Opálený, Filip
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Sbírka příkladů pro předmět IB000 | Práce na příbuzné téma

32.
Pendl, Jakub
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Konverze výukových animací | Práce na příbuzné téma

33.
Richter, Tomáš
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro interaktivní dokazování tvrzení o formálních jazycích | Práce na příbuzné téma

34.
Říhová, Jana
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: Epikúros versus stoikové | Práce na příbuzné téma

35.
Spurný, Robert
Fakulta: Filozofická fakulta
Rok: 2020, 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: Tomáš Kulka: Pro et Contra | Práce na příbuzné téma

36.
Suchánek, Otto
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Matematika se zaměřením na vzdělávání, Speciální pedagogika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Logika v učebnicích středních škol | Práce na příbuzné téma

37.
Šmijáková, Eva
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma

38.
Trnka, Jan
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Obecná teorie a dějiny umění a kultury (čtyřleté) / Teorie a dějiny divadla, filmu a audiovizuální kultury
Obhajoba disertační práce: Dobrý scenárista Josef Neuberg. Procesy psaní a vývoje scénáře v české kinematografii 1919–1965 | Práce na příbuzné téma

39.
Zahradníčková, Alena
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Generování nových logických úloh pro IB000 | Práce na příbuzné téma

40.
Ziembová, Lucie
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Matematika se zaměřením na vzdělávání, Speciální pedagogika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Práce na příbuzné téma