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

satisfiability, complexity, satisfiability modulo theories, bit-vectors, logic

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

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

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

3.
Abaffy, Matúš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Složitost řešení patrolovacích her na orientovaných grafech | Práce na příbuzné téma

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

5.
Bauch, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Automating Software Development with Explicit Model Checking | Práce na příbuzné téma

6.
Bednářová, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba diplomové práce: Faktory ovlivňující dodržování daňových předpisů: Teoretické a experimentální přístupy | Práce na příbuzné téma

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

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

9.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma

10.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma

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

12.
Ď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

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

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

15.
Fiedler, Adam
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Deduction in Matching Logic | Práce na příbuzné téma

16.
Fodor, Jakub
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: The Relevance of Stochastic Variables in Economics | Práce na příbuzné téma

17.
Fronček, Peter
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociologie / Sociologie
Obhajoba diplomové práce: Utilizing the Complexity Paradigm in Sociology | Práce na příbuzné téma

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

19.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma

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

21.
Hrdlička, Martin
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Designed to Adapt: Towards Resilient Teams and Ecosystems | Práce na příbuzné téma
Obhajoba diplomové práce: Designed to Adapt: Towards Resilient Teams and Ecosystems | Práce na příbuzné téma

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

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

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

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

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.
Kettner, Daniel
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Elektrodermální komplexita a její vztah ke konvergentnímu a divergentnímu myšlení | Práce na příbuzné téma

28.
Klejchová, Vendula
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba bakalářské práce: Breaking the Mold: Queer Representation Revolution in Heartbreak High and Its Reboot | Práce na příbuzné téma

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

30.
Kovářová, Marie
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Psychologie (čtyřleté) / Obecná psychologie
Obhajoba disertační práce: Komplexita a její vztah k duševním onemocněním | Práce na příbuzné téma

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

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

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

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

35.
Lédl, Jakub
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Algebras for unranked trees | Práce na příbuzné téma

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

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

38.
Morháčová, Veronika
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální práce / Sociální práce mikro – poradenství
Obhajoba diplomové práce: Kritická sociálna práca a stratégie komplexného riešenia zložitých a neprehľadných sociálnych problémov | Práce na příbuzné téma

39.
Navrátil, Peter
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: Adding Support for Bit-Vectors to BDD Libraries CUDD and Sylvan | Práce na příbuzné téma

40.
Nešpor, Zdeněk
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: Informace, chaos a komplexita: Nové hranice informační vědy | Práce na příbuzné téma

41.
Novotná Škarková, Jana
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: Algoritmus AKS | Práce na příbuzné téma

42.
Novotný, Petr
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: Algebraické metody pro CSP | Práce na příbuzné téma

43.
Pavlík, Matěj
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementation of 3-valued BDDs in Q3B | Práce na příbuzné téma

44.
Pipek, Vojtěch
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství anglického jazyka a literatury pro střední školy, Učitelství speciální pedagogiky pro střední školy
Obhajoba diplomové práce: On Backchannels in English Conversation | Práce na příbuzné téma

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

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

47.
Staněk, Ondřej
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teorie interaktivních médií / Management v kultuře, Teorie interaktivních médií
Obhajoba diplomové práce: Teorie architektury a designu v digitálním věku: teoretická revize myšlení o digitálně zprostředkované architektuře a designu | Práce na příbuzné téma

48.
Stehlík, Ondřej
Fakulta: Fakulta sportovních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Management sportu
Obhajoba diplomové práce: Finanční náročnost přípravy mladých hráčů ve sportovních hrách | Práce na příbuzné téma

49.
Š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

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