Computability unsolvability von martin davis (24 Ergebnisse)

Paperback. Zustand: Good. 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. …

Paperback. Zustand: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Paperback. Zustand: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Paperback. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Paperback. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

softcover. Zustand: Fine copy. reprint. 8vo, 248 pp.

Paperback. Zustand: Very Good. First Edition. First Edition, First Printing. Published by Dover Publications, 1985. Octavo. Paperback. Book is very good. Previous owner name on flyleaf.

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Softcover. Zustand: Very Good. First Edition. First dover. Very good in wrappers, a paperback. First Dover edition. Enlarged edition. (still pretty small print). Nice condition.

Hardcover. Zustand: Used: Very Good. 1st ed. First edition, 1958. Very good in red cloth wtih blue and gilt labels. Computability and Unsolvability by Martin Davis is a classic, advanced undergraduate textbook that introduces the theory of computability, covering topics like recursive functions, Turing machines, and unsolvable problems, with applications in logic and mathematics (like Hilbert's Tenth Problem). First published in 1958, it's considered a foundational text in theoretical computer science, known for its clear exposition and for introducing standard terminology still used today. (amz). …

Leinen. Zustand: Gut. 23,5 cm XXV, 210 S. . Gewebeeinband (ROT-Braun). Sprache: Englisch, Zustand: Sehr Gut min. gebräunt (Innen); Bleistiftnotizen nach dem Text; Einband (Außen) hat min. Gebrauchsspuren; Buchrücken min. schief gelagert; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt. …

Zustand: Very Good.

Taschenbuch. Zustand: Neu. Neuware - 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. …

hardcover. Zustand: Very Good. No Jacket. First Edition. shelf wear on the red boards. minor foxing and markings. one inscription. contents are all intact and presentable. may require extra postage. [SK]. Our orders are shipped using tracked courier delivery services.

Zustand: New. &Uumlber den AutorrnrnMartin Davis: Computer Science PioneernDover s publishing relationship with Martin Davis, now retired from NYU and living in Berkeley, goes back to 1985 when we reprinted his classic 1958 book Computability and Unsolvabili.

Zustand: leido. En inglés. Tela 210.

fester Einband. XXV, 210 S. Ln. *Bleistiftanstreichungen im Blattrand, sonst gutes Expl.*. Sprache: Englisch.

Davis, Martin (1928-2023). Computability & unsolvability. xxv, 210pp. New York: McGraw-Hill, 1958. 227 x 150 mm. Original printed boards, light edgewear. Very good. First Edition of Davis's classic work on the theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more. From Martin Davis's library but not signed. .…