The Pillars of Computation Theory State, Encoding, Nondeterminism /

• Main Author: Rosenberg, Arnold L. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: New York, NY : Springer New York, 2010.
• Edition: First.
• Series: Universitext
• Subjects: Computer science.; Computers.; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Theory of Computation.; Mathematics of Computing.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Foundations.; Computation by Abstract Devices.; Mathematical Logic and Formal Languages.

Computation theory is a discipline that strives to use mathematical tools and concepts in order to expose the nature of the activity that we call “computation” and to explain a broad range of observed computational phenomena. Why is it harder to perform some computations than others? Are the differe...