Thesis (Selection of subject)Thesis (Selection of subject)(version: 278)
List of assignments
   Login via CAS
  
                  
results per page
sort in descending ordersort in ascending orderTitle sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Type of assignment Specialization sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail Limits of classes of finite structures in model theory 2016/2017 diploma thesis MAT prof. RNDr. Jan Krajíček, DrSc. hidden 24.04.2016 23.02.2017 Katedra algebry (32-KA) MFF
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail Universal Turing machine 2018/2019 Bachelor's thesis prof. RNDr. Jan Krajíček, DrSc. hidden 01.03.2018 11.10.2018 Katedra algebry (32-KA) MFF
detail 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
detail Formal proofs of the correctness of SAT algorithms 2018/2019 diploma thesis prof. RNDr. Jan Krajíček, DrSc.   01.03.2018 Ne Katedra algebry (32-KA) MFF
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail Witnessing of existential statements 2018/2019 Bachelor's thesis prof. RNDr. Jan Krajíček, DrSc.   01.03.2018 Ne Katedra algebry (32-KA) MFF
detail 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
detail 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
detail 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
detail 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
detail Spectrum problem 2018/2019 Bachelor's thesis I, MAT, MMIB, MMIT, MOM prof. RNDr. Jan Krajíček, DrSc.   10.12.2018 Ne Katedra algebry (32-KA) MFF
detail 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
detail Proof Complexity 2018/2019 dissertation 4M1 prof. RNDr. Jan Krajíček, DrSc. hidden 28.02.2018 27.09.2018 Katedra algebry (32-KA) MFF
Results 1-35 of 35 1
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html