Computability and Unsolvability (Dover Books on Computer Science)
Current price:
$16.95
This product is not returnable.
Publication Date: December 1st, 1985
Publisher:
Dover Publications
ISBN:
9780486614717
Pages:
288
Available in 3-7 business days
Description
Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.
Other Books in Series
Introductory Discrete Mathematics (Dover Books on Computer Science)
Paperback
The Art of Modeling Dynamic Systems: Forecasting for Chaos, Randomness, and Determinism (Dover Books on Computer Science)
Paperback
Mathematical Modelling Techniques (Dover Books on Computer Science)
Paperback
Real Computing Made Real: Preventing Errors in Scientific and Engineering Calculations (Dover Books on Computer Science)
Paperback
Boolean Algebra and Its Applications (Dover Books on Computer Science)
Paperback
Dynamic Programming: Models and Applications (Dover Books on Computer Science)
Paperback
Mathematical Economics (Dover Books on Computer Science)
Paperback
Dynamic Programming (Dover Books on Computer Science)
Paperback
A Short Course in Discrete Mathematics (Dover Books on Computer Science)
Paperback
Linear Programming and Economic Analysis (Dover Books on Computer Science)
Paperback
Linear Programming: Methods and Applications (Dover Books on Computer Science)
Paperback
Theory of Scheduling (Dover Books on Computer Science)
Paperback
Methods of Operations Research (Dover Books on Computer Science)
Paperback
Toward Human-Level Artificial Intelligence: Representation and Computation of Meaning in Natural Language (Dover Books on Computer Science)
Paperback
Introduction to Artificial Intelligence: Third Edition (Dover Books on Computer Science)
Paperback
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Paperback
Mathematical Programming (Dover Books on Computer Science)
Paperback
Multiobjective Programming and Planning (Dover Books on Computer Science)
Paperback
Data Structures & Algorithm Analysis in C++ (Dover Books on Computer Science)
Paperback