Bookbot
The book is currently out of stock

A Recursive Introduction to the Theory of Computation

Authors

Parameters

Pages
160 pages
Reading time
6 hours

More about the book

Focusing on the theory of computation, this textbook begins with models of computation and examples, then delves into the limitations of effective computation through basic recursion theory. It introduces self-reference and other essential tools for algorithm manipulation, followed by an exploration of computational complexity and measures. The book concludes with a classification of computable functions based on time and space measures. Designed for graduate students with basic knowledge of discrete mathematics, it includes numerous exercises and solutions.

Book purchase

A Recursive Introduction to the Theory of Computation, Carl Smith

Language
Released
2012
We’ll notify you via email once we track it down.

Payment methods