  Název práce |
Rok vypsání |
Rok obhájení |
Typ práce | Obor práce | Vedoucí / školitel |
Řešitel |
Vypsáno |
Zadáno | Ústav | Fakulta | |
 |
Výroková logika a algebra | 2006/2007 | 2007/2008 | diplomová práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
07.12.2006 | 07.12.2006 | Katedra algebry (32-KA) | MFF |
|
Search Problems and Bounded Arithmetic | 2000/2001 | 2003/2004 | disertační práce | M1 | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
01.10.2000 | 01.10.2000 | Matematický ústav AV ČR, v.v.i. (32-MUAV) | MFF |
|
Teorie konečných modelů | 2007/2008 | projekt | MOM | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
11.10.2007 | 28.11.2007 | Katedra algebry (32-KA) | MFF | |
|
Komunikační složitost | 2011/2012 | 2011/2012 | bakalářská práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
26.09.2010 | 18.10.2011 | Katedra algebry (32-KA) | MFF |
|
Pseudofinite structures | 2015/2016 | 2015/2016 | bakalářská práce | MAT | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
18.09.2015 | 19.10.2015 | Katedra algebry (32-KA) | MFF |
|
Student-teacher computations and search problems | 2023/2024 | diplomová práce | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
18.09.2023 | 14.12.2023 | Katedra algebry (32-KA) | MFF | ||
|
The incompleteness theorems and Berry's paradox | 2020/2021 | 2021/2022 | bakalářská práce | MMIT | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
14.09.2020 | 25.11.2020 | Katedra algebry (32-KA) | MFF |
|
Dosvědčování existenčních vět | 2019/2020 | 2020/2021 | diplomová práce | MSTR | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
01.03.2018 | 15.01.2020 | Katedra algebry (32-KA) | MFF |
|
Matematická logika a teorie výpočetní složitosti | 2010/2011 | disertační práce | 4M1 | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
31.03.2010 | 01.10.2010 | Katedra algebry (32-KA) | MFF | |
|
Propositional Proof Complexity and Rewriting | 2004/2005 | 2007/2008 | disertační práce | M1 | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
23.11.2004 | 23.11.2004 | Matematický ústav AV ČR, v.v.i. (32-MUAV) | MFF |
|
Kombinatorika matematických struktur | 2009/2010 | 2009/2010 | diplomová práce | MSTR | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
31.03.2009 | 20.07.2010 | Katedra algebry (32-KA) | MFF |
|
Složitost výpočtů a důkazů | 2023/2024 | disertační práce | P4M1 | prof. RNDr. Jan Krajíček, DrSc. | 28.02.2024 | Ne | Katedra algebry (32-KA) | MFF | ||
|
Pseudofinite structures and limits | 2020/2021 | 2021/2022 | diplomová práce | MSTR | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
26.09.2020 | 11.01.2021 | Katedra algebry (32-KA) | MFF |
|
Implicit propositional proofs | 2004/2005 | 2005/2006 | diplomová práce | ITI | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
06.10.2004 | 05.11.2004 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Model constructions for bounded arithmetic | 2011/2012 | 2014/2015 | disertační práce | 4M1 | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
28.09.2011 | 18.10.2011 | Katedra algebry (32-KA) | MFF |
|
Vyhledávací problémy a hledání kolizí pro hašovací funkce | 2008/2009 | 2010/2011 | diplomová práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
05.10.2007 | 27.11.2008 | Katedra algebry (32-KA) | MFF |
|
On the Power of Weak Extensions of V0 | 2009/2010 | 2012/2013 | disertační práce | 4M1 | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
22.04.2009 | 30.09.2009 | Katedra algebry (32-KA) | MFF |
|
The BSS model and cryptography | 2013/2014 | 2015/2016 | diplomová práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
09.04.2014 | 10.04.2014 | Katedra algebry (32-KA) | MFF |
|
Těžké tautologie | 2009/2010 | 2010/2011 | diplomová práce | MSTR | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
12.10.2009 | 14.10.2009 | Katedra algebry (32-KA) | MFF |
|
Složitost Booleovských funkcí | 2008/2009 | 2008/2009 | bakalářská práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
09.10.2008 | 10.10.2008 | Katedra algebry (32-KA) | MFF |
|
Logika a kryptografie | 2012/2013 | 2014/2015 | diplomová práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
08.07.2012 | 09.01.2013 | Katedra algebry (32-KA) | MFF |
|
Models of bounded arithmetic | 2020/2021 | 2021/2022 | diplomová práce | MSTR | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
11.01.2021 | 05.03.2021 | Katedra algebry (32-KA) | MFF |
|
Různé definice Turingova stroje | 2009/2010 | 2009/2010 | bakalářská práce | MOM | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
25.10.2009 | 26.10.2009 | Katedra algebry (32-KA) | MFF |
|
Spectrum problem | 2022/2023 | 2022/2023 | bakalářská práce | 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 | disertační práce | P4M1 | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
13.02.2022 | 02.08.2022 | Katedra algebry (32-KA) | MFF | |
|
Definovatelnost v matematických strukturách | 2007/2008 | 2007/2008 | bakalářská práce | MOM | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
01.11.2007 | 01.11.2007 | Katedra algebry (32-KA) | MFF |
|
Silné důkazové systémy | 2006/2007 | 2006/2007 | diplomová práce | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
05.10.2006 | 23.11.2006 | Katedra algebry (32-KA) | MFF | |
|
Matematická logika a složitost výpočtů a důkazů | 2021/2022 | disertační práce | P4M1 | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
03.03.2022 | 02.08.2022 | Katedra algebry (32-KA) | MFF | |
|
NP vyhledávací problémy | 2009/2010 | 2010/2011 | diplomová práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
22.10.2009 | 12.11.2009 | Katedra algebry (32-KA) | MFF |
|
Spectrum problem | 2019/2020 | 2019/2020 | bakalářská práce | MMIT | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
10.12.2018 | 21.10.2019 | Katedra algebry (32-KA) | MFF |
|
Teorie Razborova a Rudiche a omezená aritmetika | 2008/2009 | 2008/2009 | bakalářská práce | MOM | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
16.10.2008 | 19.10.2008 | Katedra algebry (32-KA) | MFF |
|
Limits of classes of finite structures in model theory | 2016/2017 | 2018/2019 | diplomová práce | MAT | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
24.04.2016 | 23.02.2017 | Katedra algebry (32-KA) | MFF |
|
NP-úplné problémy | 2008/2009 | 2008/2009 | bakalářská práce | MOM | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
29.10.2008 | 30.10.2008 | Katedra algebry (32-KA) | MFF |
|
NP vyhledávací problémy a redukce mezi nimi | 2010/2011 | 2011/2012 | diplomová práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
01.10.2010 | 14.10.2010 | Katedra algebry (32-KA) | MFF |
|
Proof Complexity of CSP | 2018/2019 | 2023/2024 | disertační práce | P4M1 | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
28.02.2018 | 27.09.2018 | Katedra algebry (32-KA) | MFF |
|
Univerzálny Turingov stroj | 2018/2019 | 2018/2019 | bakalářská práce | MMIT | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
01.03.2018 | 11.10.2018 | Katedra algebry (32-KA) | MFF |
|
DPLL algoritmus a výrokové důkazy | 2011/2012 | 2011/2012 | bakalářská práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
26.09.2010 | 03.10.2011 | Katedra algebry (32-KA) | MFF |
|
Complexity theory in Feasible Mathematics | 2011/2012 | 2014/2015 | disertační práce | 4M1 | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
19.04.2011 | 26.09.2011 | Katedra algebry (32-KA) | MFF |
|
Problém spektra | 2009/2010 | 2010/2011 | bakalářská práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | Mgr. Kristýna Poláková | 29.10.2009 | 24.11.2009 | Katedra algebry (32-KA) | MFF |
|
Algebraické důkazové systémy | 2006/2007 | 2008/2009 | diplomová práce | MMIB | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
07.12.2006 | 07.12.2006 | Katedra algebry (32-KA) | MFF |
|
Universální Turingův stroj | 2009/2010 | 2009/2010 | bakalářská práce | MOM | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
04.11.2009 | 05.11.2009 | Katedra algebry (32-KA) | MFF |
|
Weak Pigeonhole Principle and Randomized Computation | 2001/2002 | 2004/2005 | disertační práce | M1 | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
01.10.2001 | 01.10.2001 | Matematický ústav AV ČR, v.v.i. (32-MUAV) | MFF |
|
NP vyhledávací problémy | 2021/2022 | diplomová práce | MSPN | prof. RNDr. Jan Krajíček, DrSc. | skrytý |
11.11.2021 | 11.11.2021 | Katedra algebry (32-KA) | MFF |
Výsledky 1-43 z 43 1