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

completeness, deduction, satisfiability, proof systems, conservative extensions, consistency, canonical models, matching logic, first-order logic, compactness

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Svoboda, Filip
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Metrický prostor spojitých funkcí: teorie a aplikace | Theses on a related topic Display description

2.
Almássy, Dávid
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: International Relations and Energy Security / International Relations and Energy Security
Master's thesis defence: Postoj Českej republiky k infraštruktúrnym projektom v plynovej oblasti Nord stream 1 a Nord stream 2 | Theses on a related topic

3.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Disjunctive Modal Transition Systems | Theses on a related topic

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

5.
Boršková, Miroslava
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Komparace politických východisek Margaret Thatcher a Václava Klause | Theses on a related topic

6.
Bukvová, Alena
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Firemní kultura a strategie výrobního podniku | Theses on a related topic

7.
Dudycha, Dominik
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Test proporcionality v judikatuře Ústavního soudu | Theses on a related topic

8.
Ferulíková, Lucie
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Výzkum abstrakce a zobecnění u dětí | Theses on a related topic

9.
Fouma, Matěj
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Analysing Czech redubs of Star Wars: Episode IV – A New Hope | Theses on a related topic

10.
Grunová, Jana
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Cartography and geoinformatics / Cartography and geoinformatics
Master's thesis defence: Vliv vlastností přispěvatelů na kvalitu dat OpenStreetMap | Theses on a related topic

11.
Chodil, Miroslav
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Problém splnitelnosti pro pravděpodobnostní temporální logiky | Theses on a related topic

12.
Ibrahim, Rami
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature (Eng.)
Master's thesis defence: Logico-Structural Integration in American Presidential Speeches | Theses on a related topic

13.
Jankaničová, Natália
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Algorithms for Counting of Maximal Satisfiable Subsets | Theses on a related topic

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

15.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: SMT Solving for the Theory of Bit-Vectors | Theses on a related topic

16.
Králíková, Kamila
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Basic Aspects of Terminology Management | Theses on a related topic

17.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Fundamental Properties of Probabilistic Branching-Time Logics | Theses on a related topic

18.
Křetínský, Jan
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Modální přechodové systémy | Theses on a related topic

19.
Lédl, Jakub
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Vícedruhová rovnostní logika | Theses on a related topic

20.
Marčík, Michal
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

21.
Muzikář, Václav
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Návrh a implementace „lehkého“ CMS | Theses on a related topic

22.
Navrátilová, Lenka
Faculty: Faculty of Social Studies
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies and International Relations
Master's thesis defence: Problém konzistence ve vnějších aktivitách Evropské unie | Theses on a related topic

23.
Pálková, Barbora
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Vývoj a pilotní ověření metody k měření deduktivních schopností u dětí pomocí videohry | Theses on a related topic

24.
Pálmášiová, Kateřina
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Voltairovy slovníky | Theses on a related topic

25.
Pantůček, Tomáš
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

26.
Pepuchová, Lucie
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: English-language Translation / English-language Translation
Master's thesis defence: Translation Consistency of Specific Terms and Vocabulary in the Assassin’s Creed Series | Theses on a related topic

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

28.
Polášková, Ivana
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

29.
Rajivv, Rajivv
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering (eng.)
Master's thesis defence: Assessing the Data Quality of Wikipedia | Theses on a related topic

30.
Růžička, Jaroslav
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Humanities / Aesthetics and Culture Studies, Philosophy
Master's thesis defence: Nástin teorie vědy jako soustavy neúplných modelů | Theses on a related topic

31.
Růžička, Jaroslav
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Social Studies Basics
Master's thesis defence: Nástin teorie vědy jako soustavy neúplných modelů | Theses on a related topic

32.
Síč, Juraj
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Satisfiability of DQBF Using Binary Decision Diagrams | Theses on a related topic

33.
Sklenář, Jan
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

34.
Sukup, Karel
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management (combination/specialization: Management)
Bachelor's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

35.
Šafránek, Jakub
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

36.
Šalata, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Konfigurovatelná konzistence pro distribuované systémy | Theses on a related topic

37.
Šimková, Nikola maiden name: Betlachová
Faculty: Faculty of Arts
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature, English Language and Literature
Bachelor's thesis defence: Linguistic Relativity and Color Terminology with Focus on English

38.
Škopek, Jan
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Odpočet DPH | Theses on a related topic

39.
Šula, Martin
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Organizační kultura a rozpory v jejím vnímání ve vybrané organizaci soukromého sektoru | Theses on a related topic

40.
Taufar, Patrik
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Political Science / Political Science
Doctoral thesis defence: "The Vienna doctrine" of Human Rights. In a Quest for Political Theory of Human Rights. | Theses on a related topic

41.
Tkadlecová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Povinné odvody z příjmů ze závislé činnosti | Theses on a related topic

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

43.
Veselá, Lenka
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in French Language and Literature, Lower Secondary School Teacher Training in Special Education
Master's thesis defence: Le lexique | Theses on a related topic

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

45.
Wranová, Vendula
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Vztah mezi výkonem v gamifikovaném testu fluidní inteligence a deficity některých dovedností ve zpracování jazyka | Theses on a related topic

46.
Záthurecký, Jakub
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Teorie modelů | Theses on a related topic

47.
Zatrochová, Zuzana
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Analysis and testing of distributed NoSQL datastore Riak | Theses on a related topic

48.
Zukal, Dominik
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Ecological and Evolutionary Biology / Botany (combination/specialization: Ecology of Plants)
Master's thesis defence: Vliv počtu jedinců rostlin na diverzitu lesní vegetace | Theses on a related topic