Složitost výpočtů a důkazů

• Název práce v češtině: Složitost výpočtů a důkazů
• Název v anglickém jazyce: Complexity of computations and proofs
• Klíčová slova: důkazová složitost|výpočetní složitost|matematická logika
• Klíčová slova anglicky: proof complexity|computational complexity|mathematical logic
• Akademický rok vypsání: 2024/2025
• Typ práce: disertační práce
• Ústav: Katedra algebry (32-KA)
• Vedoucí / školitel: prof. RNDr. Jan Krajíček, DrSc.

Zásady pro vypracování

Proof complexity relates to computational complexity and to mathematical logic. 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 proof and computational complexity theory.

Předběžná náplň práce v anglickém jazyce

Interplay between proof and computational complexity theory.