Items related to Computability theory: an introduction (ACM monograph...
Synopsis
Computability An Introduction provides information pertinent to the major concepts, constructions, and theorems of the elementary theory of computability of recursive functions. This book provides mathematical evidence for the validity of the Church–Turing thesis.
Organized into six chapters, this book begins with an overview of the concept of effective process so that a clear understanding of the effective computability of partial and total functions is obtained. This text then introduces a formal development of the equivalence of Turing machine computability, enumerability, and decidability with other formulations. Other chapters consider the formulas of the predicate calculus, systems of recursion equations, and Post's production systems. This book discusses as well the fundamental properties of the partial recursive functions and the recursively enumerable sets. The final chapter deals with different formulations of the basic ideas of computability that are equivalent to Turing-computability.
This book is a valuable resource for undergraduate or graduate students.
"synopsis" may belong to another edition of this title.
Search results for Computability theory: an introduction (ACM monograph...
Stock Image
Computability theory: an introduction (ACM monograph series)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_479203797
Stock Image
Computability theory: an introduction (ACM monograph series)
Seller: mountain, GEORGETOWN, CO, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Acceptable. cover is torn, exlibrary hardcover no dust jacket. usual library markings, has some light wear throughout. Seller Inventory # mon0000023418
Stock Image
Computability Theory
Published by
Elsevier Science & Technology, 1973
ISBN 10: 0123900506
ISBN 13: 9780123900500
Used
Hardcover
First Edition
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. 1st. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # GRP65463072
Buy Used
US$ 14.03
US$ 6.76 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
COMPUTABILITY THEORY: AN INTRODUCTION.
Published by
Academic Press,, New York:, 1973
ISBN 10: 0123900506
ISBN 13: 9780123900500
Used
Hardcover
Seller: Nelson & Nelson, Booksellers, Trenton, SC, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: VG. Dust Jacket Condition: No Dust Jacket. Black cloth covers clean, bright; pages tight, unmarked, though paper a tad browned due to paper quality and age. No DJ. Not a former library copy; no underlining, etc. ; Seller Inventory # 34495