Browsing by Advisor "Krajíček, Jan"
Now showing items 1-20 of 29
-
Algebraické důkazové systémy
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 1. 6. 2009 -
The BSS model and cryptography
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 16. 6. 2016Real numbers are usually represented by various discrete objects such as floating points or partial decimal expansions. This is mainly because the clas- sical computability theory relates to computers which work with ... -
Complexity theory in Feasible Mathematics
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 7. 11. 2014Title: Complexity Theory in Feasible Mathematics Author: Ján Pich Department: Department of Algebra Supervisor: Prof. RNDr. Jan Krajíček, DrSc., MAE Abstract: We study the provability of statements and conjectures from ... -
Definovatelnost v matematických strukturách
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Date of defense: 19. 9. 2008Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene ... -
Dosvědčování existenčních vět
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)Date of defense: 23. 6. 2021Tato práce formuluje a dokazuje dosvědčovací větu pro tvrzení dokazatelná v teorii SPV tvaru ∀x∃yA(x, y), kde A odpovídá relaci rozhodnutelné v polynomiálním čase. Teo- rií SPV se zde rozumí rozšíření teorie TPV (univerzální ... -
DPLL algoritmus a výrokové důkazy
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 22. 6. 2012Dôkazová zložitosť je zaujímavá súčasť matematiky nachádzajúca sa na pomedzí obrovskej oblasti logiky a teórie zložitosti. Skúma aké dôkazové systémy sú potrebné na efektívne dokazovanie rôznych matematických tvrdení. ... -
Implicit propositional proofs
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Date of defense: 22. 5. 2006 -
Kombinatorika matematických struktur
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 16. 9. 2010Kombinatorika matematické struktury prvního řádu je třída všech formulí, které platí ve všech strukturách v ní definovatelných. Tento pojem poprvé zavedl Krajíček v [6]. V předložené práci se zabýváme charakterizací a ... -
Komunikační složitost
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 22. 6. 2012Název práce: Komunikační složitost Autor: Vojtěch Wagner Katedra: Katedra algebry Vedoucí bakalářské práce: prof. RNDr. Jan Krajíček, DrSc. Abstrakt: Práce se zabývá teorií komunikační složitosti, která uvažuje model dvou ... -
Limits of classes of finite structures in model theory
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)Date of defense: 12. 9. 2019 -
Logika a kryptografie
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 10. 9. 2015Název práce: Logika a kryptografie Autor: Bc. Vojtěch Wagner Katedra: Katedra algebry Vedoucí diplomové práce: prof. RNDr. Jan Krajíček, DrSc. Abstrakt: Práce se zabývá studiem metod pro formalizaci kryptografických ... -
Model constructions for bounded arithmetic
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 22. 9. 2015Název práce: Konstrukce modelů omezené aritmetiky Autor: Michal Garlík Abstrakt: Studujeme konstrukce modelů teorií omezené aritmetiky. Pomocí základních technik teorie modelů podáme nový důkaz Ajtaiovy věty o úplnosti pro ... -
NP vyhledávací problémy
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Date of defense: 19. 5. 2011Název práce: NP vyhledávací problémy Autor: Tomáš Jirotka Katedra: Katedra algebry Vedoucí diplomové práce: Prof. RNDr. Jan Krajíček, DrSc. Abstrakt: Práce shrnuje dosavadní výsledky v oblasti NP vyhledávacích problémů. ... -
NP vyhledávací problémy a redukce mezi nimi
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 25. 5. 2012NP vyhledávací problémy a redukce mezi nimi Renáta Ševčíková V předložené práci studujeme třídu Total NP vyhledávacích problémů. Větší pozornost je věnována studiu podtříd této třídy a redukcí mezi nimi. Kombinujeme známé ... -
NP-úplné problémy
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 18. 9. 2009 -
On the Power of Weak Extensions of V0
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Date of defense: 5. 2. 2013Název práce: O síle slabých rozšírení teorie V0 Autor: Sebastian Müller Katedra: Katedra Algebry Vedoucí disertační práce: Prof. RNDr. Jan Krajíček, DrSc., Katedra Algebry. Abstrakt: V predložené disertacní práci zkoumáme ... -
Problém spektra
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Date of defense: 22. 6. 2011V této práci studujeme problém spektra, který předložil v roce 1952 H. Scholz. Definujeme základní pojmy, které s tímto problémem souvisí. Sledujeme jeho další vývoj a především souvislosti s množinami z třídy výpočetní ... -
Propositional Proof Complexity and Rewriting
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Date of defense: 4. 9. 2008 -
Pseudofinite structures
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 17. 6. 2016Táto práca je určená pre študentov logiky ktorí sa zaujímajú o teóriu konečných modelov. Práca pojednáva o konštrukcii štruktúr ktoré sú limitami tried konečne generovaných štruktúr- takzvaných pseudokonečných štruktúr. ... -
Různé definice Turingova stroje
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 24. 6. 2010