£84.57

Wiley Theory of Computation

Price data last checked 92 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£85 today · usual range £0–£0 · best ever £49

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 639 days • 639 data points (No recent data available)

Historical
Generating forecast...
£102.45 £43.18 £56.11 £69.04 £81.98 £94.91 £107.84 09 June 2024 15 November 2024 24 April 2025 30 September 2025 09 March 2026

Price Distribution

Price distribution over 639 days • 5 price ranges

Days at Price
Current Price
31 days 56 days 46 days 150 days · current 356 days 0 89 178 267 356 £49-59 £59-70 £70-81 £81-92 £92-102 Days at Price

Price Analysis

Most common range: £92-102 (356 days, 55.7%)

Price range: £49 - £102

Price levels: 5 price ranges over 639 days

Description

Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do―from the most general model, the URM (Unbounded Register Machines), to the finite automaton. A wealth of programming-like examples and easy-to-follow explanations build the general theory gradually, which guides readers through the modeling and mathematical analysis of computational phenomena and provides insights on what makes things tick and also what restrains the ability of computational processes. Recognizing the importance of acquired practical experience, the book begins with the metatheory of general purpose computer programs, using URMs as a straightforward, technology-independent model of modern high-level programming languages while also exploring the restrictions of the URM language. Once readers gain an understanding of computability theory―including the primitive recursive functions―the author presents automata and languages, covering the regular and context-free languages as well as the machines that recognize these languages. Several advanced topics such as reducibilities, the recursion theorem, complexity theory, and Cook's theorem are also discussed. Features of the book include: A review of basic discrete mathematics, covering logic and induction while omitting specialized combinatorial topics A thorough development of the modeling and mathematical analysis of computational phenomena, providing a solid foundation of un-computability The connection between un-computability and un-provability: Gödel's first incompleteness theorem The book provides numerous examples of specific URMs as well as other programming languages including Loop Programs, FA (Deterministic Finite Automata), NFA (Nondeterministic Finite Automata), and PDA (Pushdown Automata). Exercises at the end of each chapter allow readers to test their comprehension of the presented material, and an extensive bibliography suggests resources for further study. Assuming only a basic understanding of general computer programming and discrete mathematics, Theory of Computation serves as a valuable book for courses on theory of computation at the upper-undergraduate level. The book also serves as an excellent resource for programmers and computing professionals wishing to understand the theoretical limitations of their craft.

Product Specifications

Brand
Wiley
Format
Hardcover
Domain
Amazon UK
Release Date
27 April 2012
Listed Since
07 December 2010

Barcode

No barcode data available

Similar Products You Might Like

What Can Be Computed? – A Practical Guide to the Theory of Computation
97% match

What Can Be Computed? – A Practical Guide to the Theory of Computation

Princeton University Press

£39.35 25 Jan 2026
Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)
97% match

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

Chapman and Hall/CRC

£85.97 23 Jan 2026
Computability
97% match

Computability

Springer

£47.73 20 Feb 2026
Theory of Computation: Automata, Formal Languages, Computation and Complexity
97% match

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Springer

£84.49 15 Feb 2026
Computability: An Introduction to Recursive Function Theory
97% match

Computability: An Introduction to Recursive Function Theory

Cambridge University Press

£50.51 13 Jan 2026
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
97% match

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

Morgan Kaufmann

£40.00 10 Jan 2026
Theory of Computation (Texts in Computer Science)
97% match

Theory of Computation (Texts in Computer Science)

Springer

£63.52 07 Jan 2026
Introduction to the Theory of Computation
97% match

Introduction to the Theory of Computation

Course Technology

£59.08 16 Mar 2026
Computability Theory: An Introduction to Recursion Theory
96% match

Computability Theory: An Introduction to Recursion Theory

Academic Press

£51.69 16 Feb 2026
Introduction to the Theory of Computation
96% match

Introduction to the Theory of Computation

Cengage Learning

£77.95 17 Mar 2026
A Programming Approach to Computability (Monographs in Computer Science)
96% match

A Programming Approach to Computability (Monographs in Computer Science)

Springer

£52.53 08 Mar 2026
Classical Recursion Theory, Volume II (Volume 143) (Studies in Logic and the Foundations of Mathematics, Volume 143)
96% match

Classical Recursion Theory, Volume II (Volume 143) (Studies in Logic and the Foundations of Mathematics, Volume 143)

North Holland

£115.00 13 Jan 2026
Automata and Computability
96% match

Automata and Computability

Springer

£63.13 12 Jan 2026
Automata and Computability (Undergraduate Texts in Computer Science)
96% match

Automata and Computability (Undergraduate Texts in Computer Science)

Springer

£39.84 09 Feb 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
96% match

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Springer

£46.83 10 Apr 2026
Introduction to the Theory of Computation
96% match

Introduction to the Theory of Computation

Jones & Bartlett Learning

£122.61 13 Jan 2026
Computability and Logic
96% match

Computability and Logic

Cambridge University Press

£86.79 11 Apr 2026
The Foundations of Computability Theory
96% match

The Foundations of Computability Theory

Springer

£45.90 15 Feb 2026
Turing Computability: Theory and Applications (Theory and Applications of Computability)
96% match

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Springer

£46.10 25 Feb 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
96% match

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

£61.35 14 Jan 2026
Logic and Language Models for Computer Science: Third Edition
96% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
96% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£133.00 01 Apr 2026
Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II: 5556 (Lecture Notes in Computer Science, 5556)
96% match

Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II: 5556 (Lecture Notes in Computer Science, 5556)

Springer

£85.66 08 Mar 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
96% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£75.35 25 Feb 2026