Model constructions for bounded arithmetic
| Název práce v češtině: | Konstrukce modelů omezené aritmetiky |
|---|---|
| Název v anglickém jazyce: | Model constructions for bounded arithmetic |
| Klíčová slova: | formální teorie, nestandardní model, třída složitosti |
| Klíčová slova anglicky: | formal theory, nonstandard model, complexity class |
| Akademický rok vypsání: | 2011/2012 |
| 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í: | 28.09.2011 |
| Datum zadání: | 18.10.2011 |
| Datum potvrzení stud. oddělením: | 12.12.2011 |
| Datum a čas obhajoby: | 22.09.2015 10:00 |
| Datum odevzdání elektronické podoby: | 18.06.2015 |
| Datum odevzdání tištěné podoby: | 18.06.2015 |
| Datum proběhlé obhajoby: | 22.09.2015 |
| Oponenti: | prof. Samuel Buss |
| Neil Thapen | |
| Konzultanti: | prof. RNDr. Pavel Pudlák, DrSc. |
| Zásady pro vypracování |
| Prohloubit souvislosti mezi matematickou logikou a teorií složitosti. |
| Seznam odborné literatury |
| J.Krajíček,
"Bounded arithmetic, propositional logic, and complexity theory", Encyclopedia of Mathematics and Its Applications, Vol.60, Cambridge University Press, Cambridge - New York - Melbourne, (1995), 343pp. |