On the Computing Paradigm and Computational Complexity
MFCS, pp. 82-92, 1995.
computing paradigmcomputational complexityinformation processingtheorem proving
Computational complexity theory is the study of the quantitative laws that govern computing. Since the computing paradigm is universal and pervasive, the quantitative laws of computational complexity apply to all information processing from numerical computations and simulation to logical reasoning and formal theorem proving, as well as p...More
Full Text (Upload PDF)
PPT (Upload PPT)