  Thesis title |
 Year of announcement |
Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department | Faculty | |
 |
Search Problems and Bounded Arithmetic | 2000/2001 | 2003/2004 | dissertation | M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden |
01.10.2000 | 01.10.2000 | Matematický ústav AV ČR, v.v.i. (32-MUAV) | MFF |
|
Weak Pigeonhole Principle and Randomized Computation | 2001/2002 | 2004/2005 | dissertation | M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden |
01.10.2001 | 01.10.2001 | Matematický ústav AV ČR, v.v.i. (32-MUAV) | MFF |
|
Matematická logika a teorie výpočetní složitosti | 2010/2011 | dissertation | 4M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden |
31.03.2010 | 01.10.2010 | Katedra algebry (32-KA) | MFF | |
|
Witnessing of existential statements | 2019/2020 | 2020/2021 | diploma thesis | MSTR | prof. RNDr. Jan Krajíček, DrSc. | hidden |
01.03.2018 | 15.01.2020 | Katedra algebry (32-KA) | MFF |
|
Various definitions of the Turing machine | 2009/2010 | 2009/2010 | Bachelor's thesis | MOM | prof. RNDr. Jan Krajíček, DrSc. | hidden |
25.10.2009 | 26.10.2009 | Katedra algebry (32-KA) | MFF |
|
Universal Turing machine | 2018/2019 | 2018/2019 | Bachelor's thesis | MMIT | prof. RNDr. Jan Krajíček, DrSc. | hidden |
01.03.2018 | 11.10.2018 | Katedra algebry (32-KA) | MFF |
|
Universal Turing machine | 2009/2010 | 2009/2010 | Bachelor's thesis | MOM | prof. RNDr. Jan Krajíček, DrSc. | hidden |
04.11.2009 | 05.11.2009 | Katedra algebry (32-KA) | MFF |
|
The incompleteness theorems and Berry's paradox | 2020/2021 | 2021/2022 | Bachelor's thesis | MMIT | prof. RNDr. Jan Krajíček, DrSc. | hidden |
14.09.2020 | 25.11.2020 | Katedra algebry (32-KA) | MFF |
|
The BSS model and cryptography | 2013/2014 | 2015/2016 | diploma thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | hidden |
09.04.2014 | 10.04.2014 | Katedra algebry (32-KA) | MFF |
|
Student-teacher computations and search problems | 2023/2024 | diploma thesis | prof. RNDr. Jan Krajíček, DrSc. | hidden |
18.09.2023 | 14.12.2023 | Katedra algebry (32-KA) | MFF | ||
|
Strong proof systems | 2006/2007 | 2006/2007 | diploma thesis | prof. RNDr. Jan Krajíček, DrSc. | hidden |
05.10.2006 | 23.11.2006 | Katedra algebry (32-KA) | MFF | |
|
Spectrum problem | 2009/2010 | 2010/2011 | Bachelor's thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | Mgr. Kristýna Poláková | 29.10.2009 | 24.11.2009 | Katedra algebry (32-KA) | MFF |
|
Spectrum problem | 2019/2020 | 2019/2020 | Bachelor's thesis | MMIT | prof. RNDr. Jan Krajíček, DrSc. | hidden |
10.12.2018 | 21.10.2019 | Katedra algebry (32-KA) | MFF |
|
Spectrum problem | 2022/2023 | 2022/2023 | Bachelor's thesis | MOM | prof. RNDr. Jan Krajíček, DrSc. | Bc. Gabriel Krejčí | 14.09.2020 | 08.11.2022 | Katedra algebry (32-KA) | MFF |
|
Search problems and search for collisions in hash functions | 2008/2009 | 2010/2011 | diploma thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | hidden |
05.10.2007 | 27.11.2008 | Katedra algebry (32-KA) | MFF |
|
Razborov-Rudich theory and bounded arithmetic | 2008/2009 | 2008/2009 | Bachelor's thesis | MOM | prof. RNDr. Jan Krajíček, DrSc. | hidden |
16.10.2008 | 19.10.2008 | Katedra algebry (32-KA) | MFF |
|
Pseudofinite structures and limits | 2020/2021 | 2021/2022 | diploma thesis | MSTR | prof. RNDr. Jan Krajíček, DrSc. | hidden |
26.09.2020 | 11.01.2021 | Katedra algebry (32-KA) | MFF |
|
Pseudofinite structures | 2015/2016 | 2015/2016 | Bachelor's thesis | MAT | prof. RNDr. Jan Krajíček, DrSc. | hidden |
18.09.2015 | 19.10.2015 | Katedra algebry (32-KA) | MFF |
|
Propositional Proof Complexity and Rewriting | 2004/2005 | 2007/2008 | dissertation | M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden |
23.11.2004 | 23.11.2004 | Matematický ústav AV ČR, v.v.i. (32-MUAV) | MFF |
|
Propositional logic and algebra | 2006/2007 | 2007/2008 | diploma thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | hidden |
07.12.2006 | 07.12.2006 | Katedra algebry (32-KA) | MFF |
|
Proof Complexity of CSP | 2018/2019 | 2023/2024 | dissertation | P4M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden |
28.02.2018 | 27.09.2018 | Katedra algebry (32-KA) | MFF |
|
On the Power of Weak Extensions of V0 | 2009/2010 | 2012/2013 | dissertation | 4M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden |
22.04.2009 | 30.09.2009 | Katedra algebry (32-KA) | MFF |
|
NP-complete problems | 2008/2009 | 2008/2009 | Bachelor's thesis | MOM | prof. RNDr. Jan Krajíček, DrSc. | hidden |
29.10.2008 | 30.10.2008 | Katedra algebry (32-KA) | MFF |
|
NP search problems a reductions among them | 2010/2011 | 2011/2012 | diploma thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | hidden |
01.10.2010 | 14.10.2010 | Katedra algebry (32-KA) | MFF |
|
NP search problems | 2021/2022 | diploma thesis | MSPN | prof. RNDr. Jan Krajíček, DrSc. | hidden |
11.11.2021 | 11.11.2021 | Katedra algebry (32-KA) | MFF | |
|
NP search problems | 2009/2010 | 2010/2011 | diploma thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | hidden |
22.10.2009 | 12.11.2009 | Katedra algebry (32-KA) | MFF |
|
Models of bounded arithmetic | 2020/2021 | 2021/2022 | diploma thesis | MSTR | prof. RNDr. Jan Krajíček, DrSc. | hidden |
11.01.2021 | 05.03.2021 | Katedra algebry (32-KA) | MFF |
|
Model constructions for bounded arithmetic | 2011/2012 | 2014/2015 | dissertation | 4M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden |
28.09.2011 | 18.10.2011 | Katedra algebry (32-KA) | MFF |
|
Mathematical logic and complexity of computations and proofs | 2021/2022 | dissertation | P4M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden |
03.03.2022 | 02.08.2022 | Katedra algebry (32-KA) | MFF | |
|
Logic and cryptography | 2012/2013 | 2014/2015 | diploma thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | hidden |
08.07.2012 | 09.01.2013 | Katedra algebry (32-KA) | MFF |
|
Limits of classes of finite structures in model theory | 2016/2017 | 2018/2019 | diploma thesis | MAT | prof. RNDr. Jan Krajíček, DrSc. | hidden |
24.04.2016 | 23.02.2017 | Katedra algebry (32-KA) | MFF |
|
Implicit propositional proofs | 2004/2005 | 2005/2006 | diploma thesis | ITI | prof. RNDr. Jan Krajíček, DrSc. | hidden |
06.10.2004 | 05.11.2004 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Hard tautologies | 2009/2010 | 2010/2011 | diploma thesis | MSTR | prof. RNDr. Jan Krajíček, DrSc. | hidden |
12.10.2009 | 14.10.2009 | Katedra algebry (32-KA) | MFF |
|
Finite model theory | 2007/2008 | project | MOM | prof. RNDr. Jan Krajíček, DrSc. | hidden |
11.10.2007 | 28.11.2007 | Katedra algebry (32-KA) | MFF | |
|
DPLL algorithm and propositional proofs | 2011/2012 | 2011/2012 | Bachelor's thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | hidden |
26.09.2010 | 03.10.2011 | Katedra algebry (32-KA) | MFF |
|
Definability in mathematical structures | 2007/2008 | 2007/2008 | Bachelor's thesis | MOM | prof. RNDr. Jan Krajíček, DrSc. | hidden |
01.11.2007 | 01.11.2007 | Katedra algebry (32-KA) | MFF |
|
Complexity theory in Feasible Mathematics | 2011/2012 | 2014/2015 | dissertation | 4M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden |
19.04.2011 | 26.09.2011 | Katedra algebry (32-KA) | MFF |
|
Complexity of computations and proofs | 2023/2024 | dissertation | P4M1 | prof. RNDr. Jan Krajíček, DrSc. | 28.02.2024 | Ne | Katedra algebry (32-KA) | MFF | ||
|
Complexity of Boolean functions | 2008/2009 | 2008/2009 | Bachelor's thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | hidden |
09.10.2008 | 10.10.2008 | Katedra algebry (32-KA) | MFF |
|
Communication complexity | 2011/2012 | 2011/2012 | Bachelor's thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | hidden |
26.09.2010 | 18.10.2011 | Katedra algebry (32-KA) | MFF |
|
Combinatorics of mathematical structures | 2009/2010 | 2009/2010 | diploma thesis | MSTR | prof. RNDr. Jan Krajíček, DrSc. | hidden |
31.03.2009 | 20.07.2010 | Katedra algebry (32-KA) | MFF |
|
Bounded arithmetic and complexity theory | 2021/2022 | dissertation | P4M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden |
13.02.2022 | 02.08.2022 | Katedra algebry (32-KA) | MFF | |
|
Algebraic proof systems | 2006/2007 | 2008/2009 | diploma thesis | MMIB | prof. RNDr. Jan Krajíček, DrSc. | hidden |
07.12.2006 | 07.12.2006 | Katedra algebry (32-KA) | MFF |
Results 1-43 of 43 1