D.C. Kozen
Theory of Computation
Series: Texts in Computer Science
▶ Meets dual need by exploring core material in computing, and
introducing more advanced topics
▶ Collects more than 40 lectures for first year graduate students
▶ Includes more than a dozen homework sets and exercises
▶ Well suited for advanced undergraduates and first-year graduates in
Computer Science or Mathematics
2006, XIV, 418 p. 1 illus.
Printed book
Hardcover
▶ 79,95 € | £72.00 | $109.00
▶ *85,55 € (D) | 87,95 € (A) | CHF 115.00
eBook
Available from your library or
In these early years of the 21st Century, researchers in the field of computing are delving
ever further into the new possibilities of the science and to the primary tools that form its
foundations. The theory behind computation has never been more important.
Theory of Computation is a unique textbook that serves the dual purposes of covering
core material in the foundations of computing, as well as providing an introduction
to some more advanced contemporary topics. This innovative text focuses primarily,
although by no means exclusively, on computational complexity theory: the classification
of computational problems in terms of their inherent complexity. It incorporates rigorous
treatment of computational models, such as deterministic, nondeterministic, and
alternating Turing machines; circuits; probabilistic machines; interactive proof systems;
automata on infinite objects; and logical formalisms. Although the complexity universe
stops at polynomial space in most treatments, this work also examines higher complexity
levels all the way up through primitive and partial recursive functions and the arithmetic
and analytic hierarchies.
▶ springer.com/shop
MyCopy
Printed eBook for just
▶ € | $ 24.99
▶ springer.com/mycopy
Order online at springer.com ▶ or for the Americas call (toll free) 1-800-SPRINGER ▶ or email us at:
[email protected]. ▶ For outside the Americas call +49 (0) 6221-345-4301 ▶ or email us at:
[email protected].
The first € price and the £ and $ price are net prices, subject to local VAT. Prices indicated with * include VAT for books; the €(D) includes 7% for
Germany, the €(A) includes 10% for Austria. Prices indicated with ** include VAT for electronic products; 19% for Germany, 20% for Austria. All prices
exclusive of carriage charges. Prices and other details are subject to change without notice. All errors and omissions excepted.