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

odvozovaci system, propositional logic, sketch, vyrokova logika, parcialni transformace, equational theories, teorie modelu, skec, morphism of sketches, logika prvniho radu, rovnostni teorie, morfizmus skeci, parcialni homomorfizmus, model theory, first-order logic, partial transformation, partial homomorphism, deduction system

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Ď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 Display description

2.
Habarda, Radoslav
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Eliminace kvantifikátorů v logice komplexních čísel | Theses on a related topic

3.
Hejdová, Petra
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Úlohy výrokové logiky v testech TSP | Theses on a related topic

4.
Hejdová, Petra
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School English Language Teacher Training, Lower Secondary School Teacher Training in Mathematics
Master's thesis defence: Vybrané úlohy prohlubující logické myšlení ve výuce matematiky 2. stupně ZŠ | Theses on a related topic

5.
Plesníková, Patricie
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Booleova algebra a její modely | Theses on a related topic

6.
Procházková, Pavla
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Ultrasoučiny | Theses on a related topic

7.
Štěpánek, Roman
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Efektové algebry a kvantové logiky | Theses on a related topic

8.
Balážik, Štěpán
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Informatics with another discipline, Mathematics with a view to Education
Bachelor's thesis defence: Interaktivní webová aplikace pro výuku formálního jazyka matematiky | Theses on a related topic

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

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

11.
Fiedler, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Deduction in Matching Logic | Theses on a related topic

12.
Halushko, Yelyzaveta
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Combined Art Studies / Combined Art Studies
Bachelor's thesis defence: Přenos komedie z obrazovky na jeviště: specifika absurdního humoru v divadelních představeních Monty Pythonů | Theses on a related topic

13.
Hrdlička, Jan
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: A bit of fry and Laurie, Translation and Analysis | Theses on a related topic

14.
Husonka, Nelya
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / Russian-language Translation
Master's thesis defence: S. A. Sokurov, "Jazyk do Kijeva dovedet" (komentovaný překlad publicistického textu) | Theses on a related topic

15.
Kaňová, Marika
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Geography and Cartography with a view to Education, Mathematics with a view to Education
Bachelor's thesis defence: Matematická logika ve výuce na středních školách | Theses on a related topic

16.
Kaňová, Marika
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Teaching of Mathematics for Secondary Schools / Teaching of Mathematics for Secondary Schools, Upper Secondary School Teacher Training in Geography and Cartography
Master's thesis defence: Kapitoly z matematické logiky pro učitele | Theses on a related topic

17.
Kopáček, Petr
Faculty: Faculty of Arts
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Philosophy / Philosophy
Master's thesis defence: Vyplývání | Theses on a related topic

18.
Krátká, Lucie
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Physics
Bachelor's thesis defence: Algebra a aritmetika kolem nás | Theses on a related topic

19.
Marek, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Nástroj pro interaktivní konstrukci tablových důkazů | Theses on a related topic
Master's thesis defence: Nástroj pro interaktivní konstrukci tablových důkazů | Theses on a related topic

20.
Markosová, Svetlana
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Použitelnost uživatelského rozhraní nemocničního IS | Theses on a related topic

21.
Markosová, Svetlana
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Uživatelské rozhraní pro ovládání inteligentního skleníku | Theses on a related topic

22.
Racek, Lukáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Návrh uživatelského rozhraní multimediálního systému ve veřejné dopravě | Theses on a related topic

23.
Schildberger, František
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Czech Literature
Doctoral thesis defence: Poetika reportáže | Theses on a related topic

24.
Slunský, Petr
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Theoretical Legal Sciences / Theory of Law
Doctoral thesis defence: Obecná a teoretická hlediska tvorby soudního rozhodnutí | Theses on a related topic

25.
Trnková, Petra
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Bachelor's thesis defence: Žurnalistické žánry v Apetitu | Theses on a related topic

26.
Volaříková, Jana maiden name: Bartoňová
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Straubingova-Thérienova hierarchie jazyků | Theses on a related topic

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

28.
Zrůcký, Jakub
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Booleova algebra a její aplikace | Theses on a related topic

29.
Zuchová, Barbora Zoja maiden name: Vacková
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Obrazy z Rus a Obrazy z okolí domažlického. Črta v pojetí B. Němcové a K. Havlíčka Borovského | Theses on a related topic