![]() ![]() |
![]() ![]() |
![]() ![]() |
Type of assignment | Specialization | ![]() ![]() |
![]() ![]() |
![]() ![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
Proof Complexity | 2018/2019 | dissertation | 4M1 | prof. RNDr. Jan Krajíček, DrSc. | hidden![]() |
28.02.2018 | 27.09.2018 | 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 |
![]() |
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 |
![]() |
Spectrum problem | 2022/2023 | Bachelor's thesis | MOM | prof. RNDr. Jan Krajíček, DrSc. | Markéta Krejčí | 14.09.2020 | 08.11.2022 | 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-41 of 41 1