Thesis (Selection of subject)

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

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

Thesis title in Czech:	Složitost výpočtů a důkazů
Thesis title in English:	Complexity of computations and proofs
Key words:	důkazová složitost\|výpočetní složitost\|matematická logika
English key words:	proof complexity\|computational complexity\|mathematical logic
Academic year of topic announcement:	2023/2024
Thesis type:	dissertation
Thesis language:
Department:	Department of Algebra (32-KA)
Supervisor:	prof. RNDr. Jan Krajíček, DrSc.
Author:

Guidelines

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.

References

J.Krajicek, "Proof complexity",
Encyclopedia of Mathematics and Its Appplications, Vol.170,
Cambridge University Press, 2019.

Preliminary scope of work

Interplay between proof and computational complexity theory.

Preliminary scope of work in English

Interplay between proof and computational complexity theory.