Thesis title | Year of announcement | Year of defence | Thesis type | Thesis discipline | Supervisor | Author | Announced | Assigned | Department | Faculty | |
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 | |
Complexity of computations and proofs | 2024/2025 | dissertation | P4M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden | 28.02.2024 | 09.08.2024 | Katedra algebry (32-KA) | MFF | ||
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 | |
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 | ||
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 | |
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 | |
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 | |||
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 | |
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 | |
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 | ||
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | ||
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 | |
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 | ||
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 | ||
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 |
Results 1-43 of 43 1