On the Power of Weak Extensions of V0
| Název práce v češtině: | O síle slabých rozšíření teorie V0 |
|---|---|
| Název v anglickém jazyce: | On the Power of Weak Extensions of V0 |
| Klíčová slova: | omezená aritmetika, důkazová složitost, Fregeho důkazový systém, Fregeho důkazový systém omezené hloubky, rezoluce |
| Klíčová slova anglicky: | Bounded Arithmetic, Proof Complexity, Frege proof system, bounded depth Frege proof system, Resolution |
| Akademický rok vypsání: | 2009/2010 |
| Typ práce: | disertační práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra algebry (32-KA) |
| Vedoucí / školitel: | prof. RNDr. Jan Krajíček, DrSc. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 29.09.2009 |
| Datum zadání: | 30.09.2009 |
| Datum a čas obhajoby: | 05.02.2013 10:00 |
| Datum odevzdání elektronické podoby: | 19.12.2012 |
| Datum odevzdání tištěné podoby: | 26.10.2012 |
| Datum proběhlé obhajoby: | 05.02.2013 |
| Oponenti: | Neil Thapen |
| Prof. Leszek Kolodziejczyk | |
| Konzultanti: | prof. RNDr. Pavel Pudlák, DrSc. |