What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effective or automatic way. This book is an introduction to computability theory (or recursion theory as it is traditionally known to mathematicians). Dr Cutland begins with a mathematical characterisation of computable functions using a simple idealised computer (a register machine); after some comparison with other characterisations, he develops the mathematical theory, including a full discussion of non-computability and undecidability, and the theory of recursive and recursively enumerable sets. The later chapters provide an introduction to more advanced topics such as Gildel's incompleteness theorem, degrees of unsolvability, the Recursion theorems and the theory of complexity of computation. Computability is thus a branch of mathematics which is of relevance also to computer scientists and philosophers. Mathematics students with no prior knowledge of the subject and computer science students who wish to supplement their practical expertise with some theoretical background will find this book of use and interest.
"Sinopsis" puede pertenecer a otra edición de este libro.
This introduction to recursive theory computability begins with a mathematical characterization of computable functions, develops the mathematical theory and includes a full discussion of noncomputability and undecidability. Later chapters move on to more advanced topics such as degrees of unsolvability and Gödel's Incompleteness Theorem.Review:
"Dr. Cutland has produced here an excellent and much needed textbook which will undoubtedly help to establish recursion theory as a more widely taught branch of mainstream mathematics." Mathematics & Physics
"Sobre este título" puede pertenecer a otra edición de este libro.
Descripción Cambridge University Press 1980-06, 1980. Estado de conservación: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-LSI-06850463
Descripción Estado de conservación: New. Depending on your location, this item may ship from the US or UK. Nº de ref. de la librería 97805212946520000000
Descripción Cambridge University Press, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9780521294652_lsuk
Descripción Cambridge University Press. Estado de conservación: New. Brand New! 1st Edition Ships fast! Expedited shipping 2-4 business days; Standard shipping 7-14 business days. Ships from USA!. Nº de ref. de la librería BER-056-656
Descripción Cambridge University Press, 1980. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería LQ-9780521294652
Descripción 1980. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería KB-9780521294652
Descripción Cambridge Univ Pr, 1980. Paperback. Estado de conservación: Brand New. 264 pages. 9.50x6.25x0.75 inches. In Stock. Nº de ref. de la librería __0521294657
Descripción 1980. Paperback. Estado de conservación: NEW. 9780521294652 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0453145
Descripción Cambridge University Press, 1980. Paperback. Estado de conservación: New. Nº de ref. de la librería DADAX0521294657
Descripción Cambridge University Press, 2017. Paperback. Estado de conservación: New. This item is printed on demand. Nº de ref. de la librería P110521294657