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

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

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

1.
Svoboda, Filip
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: Metrický prostor spojitých funkcí: teorie a aplikace | Práce na příbuzné téma Zobrazit popisek

2.
Almássy, Dávid
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní vztahy a energetická bezpečnost / Mezinárodní vztahy a energetická bezpečnost
Obhajoba diplomové práce: Postoj Českej republiky k infraštruktúrnym projektom v plynovej oblasti Nord stream 1 a Nord stream 2 | Práce na příbuzné téma

3.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Disjunctive Modal Transition Systems | Práce na příbuzné téma

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

5.
Boršková, Miroslava
Fakulta: Fakulta sociálních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Komparace politických východisek Margaret Thatcher a Václava Klause | Práce na příbuzné téma

6.
Bukvová, Alena
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce
Obhajoba diplomové práce: Firemní kultura a strategie výrobního podniku | Práce na příbuzné téma

7.
Dudycha, Dominik
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Test proporcionality v judikatuře Ústavního soudu | Práce na příbuzné téma

8.
Ferulíková, Lucie
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Předškolní a mimoškolní pedagogika / Učitelství pro mateřské školy
Obhajoba bakalářské práce: Výzkum abstrakce a zobecnění u dětí | Práce na příbuzné téma

9.
Fouma, Matěj
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství anglického jazyka
Obhajoba diplomové práce: Analysing Czech redubs of Star Wars: Episode IV – A New Hope | Práce na příbuzné téma

10.
Grunová, Jana
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografická kartografie a geoinformatika / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Vliv vlastností přispěvatelů na kvalitu dat OpenStreetMap | Práce na příbuzné téma

11.
Chodil, Miroslav
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Problém splnitelnosti pro pravděpodobnostní temporální logiky | Práce na příbuzné téma

12.
Ibrahim, Rami
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura (angl.)
Obhajoba diplomové práce: Logico-Structural Integration in American Presidential Speeches | Práce na příbuzné téma

13.
Jankaničová, Natália
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Algorithms for Counting of Maximal Satisfiable Subsets | Práce na příbuzné téma

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

15.
Jonáš, Martin
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: SMT Solving for the Theory of Bit-Vectors | Práce na příbuzné téma

16.
Králíková, Kamila
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Basic Aspects of Terminology Management | Práce na příbuzné téma

17.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Fundamental Properties of Probabilistic Branching-Time Logics | Práce na příbuzné téma

18.
Křetínský, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Modální přechodové systémy | Práce na příbuzné téma

19.
Lédl, Jakub
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Vícedruhová rovnostní logika | Práce na příbuzné téma

20.
Marčík, Michal
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

21.
Muzikář, Václav
Fakulta: Fakulta informatiky
Rok: 2015, 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: Návrh a implementace „lehkého“ CMS | Práce na příbuzné téma

22.
Navrátilová, Lenka
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Mezinárodní vztahy a evropská studia
Obhajoba diplomové práce: Problém konzistence ve vnějších aktivitách Evropské unie | Práce na příbuzné téma

23.
Pálková, Barbora
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Vývoj a pilotní ověření metody k měření deduktivních schopností u dětí pomocí videohry | Práce na příbuzné téma

24.
Pálmášiová, Kateřina
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Voltairovy slovníky | Práce na příbuzné téma

25.
Pantůček, Tomáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

26.
Pepuchová, Lucie
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství anglického jazyka / Překladatelství anglického jazyka
Obhajoba diplomové práce: Translation Consistency of Specific Terms and Vocabulary in the Assassin’s Creed Series | Práce na příbuzné téma

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

28.
Polášková, Ivana
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

29.
Rajivv, Rajivv
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace (angl.)
Obhajoba diplomové práce: Assessing the Data Quality of Wikipedia | Práce na příbuzné téma

30.
Růžička, Jaroslav
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Humanitní studia / Estetika a kulturní studia, Filozofie
Obhajoba diplomové práce: Nástin teorie vědy jako soustavy neúplných modelů | Práce na příbuzné téma

31.
Růžička, Jaroslav
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství základů společenských věd pro střední školy
Obhajoba diplomové práce: Nástin teorie vědy jako soustavy neúplných modelů | Práce na příbuzné téma

32.
Síč, Juraj
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Satisfiability of DQBF Using Binary Decision Diagrams | Práce na příbuzné téma

33.
Sklenář, Jan
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

34.
Sukup, Karel
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Management (kombinace/zaměření: Management)
Obhajoba bakalářské práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

35.
Šafránek, Jakub
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

36.
Šalata, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Konfigurovatelná konzistence pro distribuované systémy | Práce na příbuzné téma

37.
Šimková, Nikola roz. Betlachová
Fakulta: Filozofická fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura, Český jazyk a literatura
Obhajoba bakalářské práce: Linguistic Relativity and Color Terminology with Focus on English

38.
Škopek, Jan
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Odpočet DPH | Práce na příbuzné téma

39.
Šula, Martin
Fakulta: Fakulta sociálních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Organizační kultura a rozpory v jejím vnímání ve vybrané organizaci soukromého sektoru | Práce na příbuzné téma

40.
Taufar, Patrik
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Politologie / Politologie
Obhajoba disertační práce: "The Vienna doctrine" of Human Rights. In a Quest for Political Theory of Human Rights. | Práce na příbuzné téma

41.
Tkadlecová, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Finanční podnikání
Obhajoba diplomové práce: Povinné odvody z příjmů ze závislé činnosti | Práce na příbuzné téma

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

43.
Veselá, Lenka
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství francouzského jazyka a literatury pro základní školy, Učitelství speciální pedagogiky pro základní školy
Obhajoba diplomové práce: Le lexique | Práce na příbuzné téma

44.
Volaříková, Jana roz. Bartoňová
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Straubingova-Thérienova hierarchie jazyků | Práce na příbuzné téma

45.
Wranová, Vendula
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Vztah mezi výkonem v gamifikovaném testu fluidní inteligence a deficity některých dovedností ve zpracování jazyka | Práce na příbuzné téma

46.
Záthurecký, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Teorie modelů | Práce na příbuzné téma

47.
Zatrochová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Analysis and testing of distributed NoSQL datastore Riak | Práce na příbuzné téma

48.
Zukal, Dominik
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Ekologická a evoluční biologie / Botanika (kombinace/zaměření: Ekologie rostlin)
Obhajoba diplomové práce: Vliv počtu jedinců rostlin na diverzitu lesní vegetace | Práce na příbuzné téma