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.
CATIA V5R20快速入门.进阶与精通-(含多媒体DVD光盘2张) 本书特色 本书是全面、系统学习和运用catia v5r20软件的快速入门、进阶与精通书籍...
《“清”眼看世界:研究生海外社会实践成果集》内容简介:本书梳理了清华大学研究生海外社会实践近五年来的优秀实践成果,精选了来
UDA是一种专门为提高并行程序开发效率而设计的计算架构。在构建高性能应用程序时,CUDA架构能充分发挥GPU的强大计算功能。《GPU高
JamesF.Kurose是美国马萨诸塞大学阿默斯特分校的计算机科学系教授。他曾多次荣获杰出教师奖,并获得IEEETaylorBooth教育奖章,还
《深入RabbitMQ》内容简介:本书对RabbitMQ这一业界主流的消息中间件做了全面介绍,给出了如何使用RabbitMQ构建消息通信系统的方法
《20世纪物理学(第3卷)》内容简介:20世纪是物理学的世纪,物理学在20世纪取得了突破性的进展,改变了世界以及世界和人们对世界的
REpresentationalStateTransfer,betterknownasREST,isthearchitecturalstylethatgover...
《Java语言程序设计基础篇》(原书第5版本书是Java语言的经典教材,畅销多年不衰。本书以J2SE5.0版本为基础,采用“先讲基础”的教
《你若坚强,岁月无恙》内容简介:《你若坚强岁月无恙》由SS大小姐著,讲述的是:刚毕业的女生杨时敏,毅然选择去厦门这个充满传奇
这是一本版式设计参考书,其中的“经典”二字不仅是所涉及图书年代久远,冠之名为字面上的经典,而且还因其在设计界广为人知、包
烏托邦需要一張地圖。這地圖可能是理想中未來城市的藍圖,也可能是記憶裡過去城市的草圖。憑這張地圖,人希望尋找未來的城市,或
《赋能工作法》内容简介:高效赋能团队的系统指南 最佳执行教练沉淀十余年培训经验与研究心得 从赋能的底层逻辑引入,层层递进 带你
《iOS开发:从零基础到精通》内容简介:本书适合iOS开发零基础的读者阅读。全书包含六大部分,共24章,涵盖了针对iOS开发入门所需要
《慈善伦理引论》内容简介:《慈善伦理引论》以“慈善伦理”为研究主题,共分5章,主要内容如下:第壹章主要聚焦于慈善伦理的基本问
《Docker全攻略》内容简介:Docker是一个充满挑战性和趣味性的开源项目,它彻底释放了Linux虚拟化的威力,极大地缓解了云计算资源供
Formanyprogrammers,discoveringRubyisarevelation.Theyareoverjoyedbyhowelegantlyan...
《中国海洋油气开发装备研发史》内容简介:本书是“中国船舶研发史”丛书之一,主要介绍了我国典型海洋油气开发装备的研发背景、设
《智慧教育(第二版)》内容简介:《智慧教育(第二版)》汲取了近年来智慧教育发展的新理念、新技术、新方案,致力于构建一个相对完
《上古夏商周》内容简介:这是《装在口袋里的爸爸》衍生系列作品,是独立于文字版和漫画版之外的全新历史小说,讲述了这样的故事:
Rhinoceros Grasshopper 参数化建模(曾旭东) 本书特色 参数化建模技术在辅助建筑设计上的应用越来越广泛,其发展时间短暂,发展速度却令人叹为...