Theses on a related topic (having the same keywords):
eilenbergomoore algebras, definovatelnost, definability, nekonecne lesy, eilenbergovyomooreho algebry, monads, infinite forests, logic, monady, logikaKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Bezek, Matúš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: FO interpretations in restricted graph classes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: FO interpretations in restricted graph classes | Theses on a related topic
2.
Blahová, Jaroslava
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Místo logu v Hérakleitově a stoické filosofii | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Místo logu v Hérakleitově a stoické filosofii | Theses on a related topic
3.
Dupyn, Yuriy
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Algebraické struktury | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Algebraické struktury | Theses on a related topic
4.
Ďurigová, Karolína
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / German Language for Education, Mathematics for Education
Bachelor's thesis defence: Úlohy z matematické logiky v TSP a Scio testech | Theses on a related topic
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / German Language for Education, Mathematics for Education
Bachelor's thesis defence: Úlohy z matematické logiky v TSP a Scio testech | Theses on a related topic
5.
Dvořáková, Martina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Music
Bachelor's thesis defence: Logické a kombinatorické problémy v matematice na ZŠ | Theses on a related topic
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Music
Bachelor's thesis defence: Logické a kombinatorické problémy v matematice na ZŠ | Theses on a related topic
6.
Džmura, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Knihovna pro animace v logice | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Knihovna pro animace v logice | Theses on a related topic
7.
Gregorová, Lenka
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Leibniz ako filozof a matematik | Theses on a related topic
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Leibniz ako filozof a matematik | Theses on a related topic
8.
Homolová, Zuzana
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Music / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Hudba 20. století v kontextu matematiky a logiky | Theses on a related topic
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Music / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Hudba 20. století v kontextu matematiky a logiky | Theses on a related topic
9.
Jelínek, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Discrete algorithms and models
Master's thesis defence: Type theory and its semantics | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Discrete algorithms and models
Master's thesis defence: Type theory and its semantics | Theses on a related topic
10.
Jurčo, Štefan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická kontrola rezolučních důkazů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická kontrola rezolučních důkazů | Theses on a related topic
11.
Klementová, Soňa
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Matematik muzikantem aneb jak se dva různé obory navzájem ovlivňují | Theses on a related topic
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Matematik muzikantem aneb jak se dva různé obory navzájem ovlivňují | Theses on a related topic
12.
Kutálková, Veronika
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: Sbírka úloh z diskrétní matematiky | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: Sbírka úloh z diskrétní matematiky | Theses on a related topic
13.
Mačák, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic
14.
Michálek, Marek
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Philosophy / English Language and Literature, Philosophy
Bachelor's thesis defence: Intuicionistic Type Theory and its Application to Natural Language | Theses on a related topic
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Philosophy / English Language and Literature, Philosophy
Bachelor's thesis defence: Intuicionistic Type Theory and its Application to Natural Language | Theses on a related topic
15.
Podhorská, Zuzana
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Animace ve výuce logiky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Animace ve výuce logiky | Theses on a related topic
16.
Skalová, Michaela
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Mathematics
Master's thesis defence: Odraz Descartovy filosofie v českém myšlení po roce 1990 | Theses on a related topic
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Mathematics
Master's thesis defence: Odraz Descartovy filosofie v českém myšlení po roce 1990 | Theses on a related topic
17.
Trávníček, Zdeněk
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Problémy dialetheismu | Theses on a related topic
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Problémy dialetheismu | Theses on a related topic
18.
Bachratý, Adam
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Pravdivost informace | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Pravdivost informace | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Theses on a related topic
19.
Bartošek, Marek
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výukové animace v jazyce JavaScript | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výukové animace v jazyce JavaScript | Theses on a related topic
20.
Di Liberti, Ivan
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Mathematics and Statistics / Algebra, Number Theory and Mathematical Logic
Doctoral thesis defence: The Scott adjunction | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Mathematics and Statistics / Algebra, Number Theory and Mathematical Logic
Doctoral thesis defence: The Scott adjunction | Theses on a related topic
21.
Fargaš, Oto
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: GUI pro zadávání hypotéz v hybridní logice | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: GUI pro zadávání hypotéz v hybridní logice | Theses on a related topic
22.
Franek, Juraj
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / Classical Greek Language and Literature, Latin Language and Literature
Bachelor's thesis defence: Dialektika v diele Martiana Capellu De Nuptiis Philologiae et Mercurii | Theses on a related topic
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / Classical Greek Language and Literature, Latin Language and Literature
Bachelor's thesis defence: Dialektika v diele Martiana Capellu De Nuptiis Philologiae et Mercurii | Theses on a related topic
23.
Govind, Prashanth Reddy
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Design and detection of Hardware Trojans | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Design and detection of Hardware Trojans | Theses on a related topic
24.
Ježík, Matúš
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Online simulátor logické úlohy Peg solitaire | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Online simulátor logické úlohy Peg solitaire | Theses on a related topic
25.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic
26.
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
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
27.
Koláčková, Jana
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Bachelor's thesis defence: Sémantická analýza a jmenné fráze | Theses on a related topic
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Bachelor's thesis defence: Sémantická analýza a jmenné fráze | Theses on a related topic
28.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic
29.
Laurinčík, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Logiky pro popis vlastností stochastických her | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Logiky pro popis vlastností stochastických her | Theses on a related topic
30.
Molčanová, Agáta
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Gallery Education and Arts Facilitation, Visual Arts
Master's thesis defence: Oděv jako nástroj lidské symbolizace | Theses on a related topic
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Gallery Education and Arts Facilitation, Visual Arts
Master's thesis defence: Oděv jako nástroj lidské symbolizace | Theses on a related topic
31.
Opálený, Filip
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Sbírka příkladů pro předmět IB000 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Sbírka příkladů pro předmět IB000 | Theses on a related topic
32.
Pendl, Jakub
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Konverze výukových animací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Konverze výukových animací | Theses on a related topic
33.
Richter, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro interaktivní dokazování tvrzení o formálních jazycích | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro interaktivní dokazování tvrzení o formálních jazycích | Theses on a related topic
34.
Říhová, Jana
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Epikúros versus stoikové | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Epikúros versus stoikové | Theses on a related topic
35.
Spurný, Robert
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Tomáš Kulka: Pro et Contra | Theses on a related topic
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Tomáš Kulka: Pro et Contra | Theses on a related topic
36.
Suchánek, Otto
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Special Education for Education
Bachelor's thesis defence: Logika v učebnicích středních škol | Theses on a related topic
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Special Education for Education
Bachelor's thesis defence: Logika v učebnicích středních škol | Theses on a related topic
37.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
38.
Trnka, Jan
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: General Theory and History of Arts and Culture (4-years) / Theory and History of Theatre, Film and Audio-Visual Culture Studies
Doctoral thesis defence: Dobrý scenárista Josef Neuberg. Procesy psaní a vývoje scénáře v české kinematografii 1919–1965 | Theses on a related topic
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: General Theory and History of Arts and Culture (4-years) / Theory and History of Theatre, Film and Audio-Visual Culture Studies
Doctoral thesis defence: Dobrý scenárista Josef Neuberg. Procesy psaní a vývoje scénáře v české kinematografii 1919–1965 | Theses on a related topic
39.
Zahradníčková, Alena
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Generování nových logických úloh pro IB000 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Generování nových logických úloh pro IB000 | Theses on a related topic
40.
Ziembová, Lucie
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Special Education for Education
Bachelor's thesis defence: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Theses on a related topic
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Special Education for Education
Bachelor's thesis defence: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Theses on a related topic