Matematická logika a složitost výpočtů a důkazů
Název práce v češtině: | Matematická logika a složitost výpočtů a důkazů |
---|---|
Název v anglickém jazyce: | Mathematical logic and complexity of computations and proofs |
Klíčová slova: | důkazová složitost|výpočetní složitost|omezená aritmetika|teorie modelů |
Klíčová slova anglicky: | proof complexity|computational complexity|bounded arithmetic|model theory |
Akademický rok vypsání: | 2021/2022 |
Typ práce: | disertační práce |
Jazyk práce: | češ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í: | 02.08.2022 |
Datum zadání: | 02.08.2022 |
Datum potvrzení stud. oddělením: | 20.09.2022 |
Zásady pro vypracování |
Proof complexity relates in several ways to computational complexity
and both relate to weak formal systems and their model theory. The aim of the PhD research is to contribute to this area with an original result relevant to current research. |
Seznam odborné literatury |
J.Krajicek, "Proof complexity",
Encyclopedia of Mathematics and Its Appplications, Vol.170, Cambridge University Press, 2019. |
Předběžná náplň práce |
Interplay between mathematical logic and complexity theory. |
Předběžná náplň práce v anglickém jazyce |
Interplay between mathematical logic and complexity theory. |