PERHAPS A GIFT VOUCHER FOR MUM?: MOTHER'S DAY

Close Notification

Your cart does not contain any items

Computability and Unsolvability by Martin Davis at Abbey's Bookshop,
Computability and Unsolvability
— —
Martin Davis

Computability and Unsolvability

Martin Davis

$27.95   $24.70

Paperback

Not in-store but you can order this
How long will it take?
English
Dover Publications Inc.
01 December 1985
Mathematics & Sciences; Mathematical theory of computation
Series: Dover Books on Computer Science
"In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and non-specialists alike.

In Part One (Chapters 1-5), Professor Davis outlines the general theory of computability, discussing such topics as computable functions, operations on computable functions, recursive functions, Turing machines, self-applied, and unsolvable decision problems. The author has been careful, especially in the first seven chapters, to assume no special mathematical training on the part of the reader.

Part Two (Chapters 6-8) comprises a concise treatment of applications of the general theory, incorporating material on combinatorial problems, Diophantine Equations (including Hilbert's Tenth Problem) and mathematical logic. The final three chapters (Part 3) present further development of the general theory, encompassing the Kleene hierarchy, computable functionals, and the classification of unsolvable decision problems.

When first published in 1958, this work introduced much terminology that has since become standard in theoretical computer science. Indeed, the stature of the book is such that many computer scientists regard it as their theoretical introduction to the topic. This new Dover edition makes this pioneering, widely admired text available in an inexpensive format.

For Dover's edition, Dr. Davis has provided a new Preface and an Appendix, """"Hilbert's Tenth Problem Is Unsolvable,"""" an important article he published in The American Mathematical Monthly in 1973, which was awarded prizes by the American Mathematical Society and the Mathematical Association of America. These additions further enhance the value and usefulness of an """"unusually clear and stimulating exposition"""" (Centre National de la Recherche Scientifique, Paris) now available for the first time in paperback."
By:  
Imprint:   Dover Publications Inc.
Country of Publication:   United States
Edition:   New edition
Dimensions:   Height: 215mm,  Width: 136mm,  Spine: 13mm
Weight:   294g
ISBN:   9780486614717
ISBN 10:   0486614719
Series:   Dover Books on Computer Science
Pages:   288
Publication Date:  
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  A / AS level ,  Undergraduate
Format:   Paperback
Publisher's Status:   Unspecified

See Inside

See Also

Computability and Unsolvability

A Short Introduction to Quantum...

Michel Le Bellac (Université de...

Hardback

$109.95 

Not in-store but you can order this

ADD +
Computability and Unsolvability

Validated Numerics

A Short Introduction to Rigorous...

Warwick Tucker

Paperback

$79.99 

Not in-store but you can order this

ADD +
Computability and Unsolvability

Geometry of the Phase Retrieval...

Graveyard of Algorithms

Alexander H. Barnett

Hardback

$179.95 

Not in-store but you can order this

ADD +
Computability and Unsolvability

Investigations on multi output DC...

Sundraramank

Paperback

$55.95  $47.68

Not in-store but you can order this

ADD +
Computability and Unsolvability

200 Problems on Languages, Automata,...

Filip Murlak (University of Warsaw)...

Paperback

$56.95 

Not in-store but you can order this

ADD +
Computability and Unsolvability

Techniques for Searching, Parsing,...

Alberto Pettorossi

Paperback

$168.95  $134.76

Not in-store but you can order this

ADD +