Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 284)
Seznam prací
   Přihlásit přes CAS
  
                  
výsledků na stránku
seřadit sestupněseřadit vzestupněNázev práce seřadit sestupněseřadit vzestupněRok vypsání seřadit sestupněseřadit vzestupněRok obhájení Typ práce Obor práce seřadit sestupněseřadit vzestupněVedoucí / školitel seřadit sestupněseřadit vzestupněŘešitel seřadit sestupněseřadit vzestupněVypsáno Zadáno Ústav Fakulta
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail Limity tříd konečných struktur v teorii modelů 2016/2017 diplomová práce MAT prof. RNDr. Jan Krajíček, DrSc. skrytý 24.04.2016 23.02.2017 Katedra algebry (32-KA) MFF
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail Formal proofs of the correctness of SAT algorithms 2018/2019 diplomová práce prof. RNDr. Jan Krajíček, DrSc.   01.03.2018 Ne Katedra algebry (32-KA) MFF
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail Univerzálny Turingov stroj 2018/2019 bakalářská práce prof. RNDr. Jan Krajíček, DrSc. skrytý 01.03.2018 11.10.2018 Katedra algebry (32-KA) MFF
detail 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
detail 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
detail 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
detail 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
detail Problém spektra 2018/2019 bakalářská práce I, MAT, MMIB, MMIT, MOM prof. RNDr. Jan Krajíček, DrSc.   10.12.2018 Ne Katedra algebry (32-KA) MFF
detail Dosvědčování existenčních vět 2018/2019 diplomová práce prof. RNDr. Jan Krajíček, DrSc.   01.03.2018 Ne Katedra algebry (32-KA) MFF
detail 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
detail Důkazová složitost 2018/2019 disertační práce 4M1 prof. RNDr. Jan Krajíček, DrSc. skrytý 28.02.2018 27.09.2018 Katedra algebry (32-KA) MFF
Výsledky 1-35 z 35 1
 
Univerzita Karlova | Informační systém UK