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.
《蒲褐山房诗话新编》内容简介:以诗话命名的著作始于欧阳修。它是一种以文学为内容的随笔。所以许颉说:『诗话者,辨句法,备古今
《推开红酒的门》内容简介:葡萄酒的世界很有趣,但是初学者往往遇上麻烦:在餐厅,看着酒单上密密麻麻的字一脸懵;面对货架上琳琅
HIGHLIGHTUpdatedfromtheclassicoriginal,TheQuickPythonBook,SecondEditionwillhelpw...
Mathematica基础与应用(含CD光盘1张) 本书特色 《Mathematica基础与应用(附光盘)》的前世是笔者丁大正编著的《科学计算强档Mathema...
《中国资本市场三十年》内容简介:本书是为中国资本市场三十年而写,由导论、11章和文献附录,以及后记组成,重点研究中国资本市场
《单片机基础及应用项目式教程》内容简介:本书以宏晶公司的STC89C52RC单片机为例,采用“项目和任务驱动”模式编写,将单片机基础
云计算概念.技术与架构 本书特色 《云计算:概念、技术与架构》涉及云计算领域的各个方面,涵盖了很多基本概念,共包含五个部分。**部分到第四部分主要涵盖了云计算基...
SmashingCSStakesyouwellbeyondthebasics,coveringnotonlythefinerpointsoflayoutande...
《21天学通JavaWeb开发》是JavaWeb开发的基础教程,针对没有接触过或还不是特别熟悉JavaWeb开发的读者,详细介绍了JavaWeb开发的
开源软件是当今计算机工业界最具活力的领域,例如Linux这个公开了源代码的UNIX操作系统在服务器市场上已经与许多大公司的产品分庭
压缩感知理论的工程应用方法 内容简介 在传输带宽有限和数据量激增的数字化时代,压缩感知理论为低速有效获取信息提供了一种新的思路,成为近十年来信号信息处理领域中一...
《Java虚拟机精讲》内容简介:HotSpot VM是目前市面上高性能JVM的代表作之一,它采用解释器+JIT编译器的混合执行引擎,使得Java程序
《大脑减压的子弹笔记法》内容简介:为什么风靡全球的子弹笔记,最终变成杂乱无章的待办清单? 为什么尝试过时间管理,最终还是回到
软件“风格”所要讨论的主题是如何在开销与功能之间、优雅与可维护性之间、灵活。性与过分灵活之间寻找完美的平街点。在本书中,
Thisremarkablebookpresentsarichandup–to–dateviewofevolutionthatexploresthefar–re...
《软萌可爱色铅笔涂画教程》内容简介:总觉得用色铅笔画的东西不够可爱,用色不够靓丽,被五花八门的色铅笔教程挑花了眼?这本本书
本书是一本架设与维护TCP/IP网络的完整指南,无论你是在职的系统管理员,还是需要访问Internet的家用系统用户,都可从本书获得帮
Overthepasttwodecades,nofieldofscientificinquiryhashadamorestrikingimpactacrossa...
《Web安全深度剖析》总结了当前流行的高危漏洞的形成原因、攻击手段及解决方案,并通过大量的示例代码复现漏洞原型,制作模拟环境
《软件困局》内容简介:软件工程其实并没有多少“工程”的成分,这已经是公开的秘密了。自计算机诞生以来,特别是20世纪60年代大批