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.
Cisco 局域网交换基础 本书特色 随着网络流量、CPU处理速度、操作系统处理能力、网络密集应用的显著增加,LAN已经逐渐变得拥塞和不堪重负。对于彩网络和计算...
MATLAB数学建模经典案例实战 本书特色《matlab数学建模经典案例实战》全面、系统地讲解了数学建模的知识。书中结合历年全国大学生数学建模竞赛试题,采用案例...
《齐白石鱼虫册》内容简介:“南山册页”是浙江摄影出版社自主选编的一套名家册页小品集,以散页函套的装帧形式出版,题材集中于历
BookDescriptionUbiquitouscomputing--almostimperceptible,buteverywherearoundus--i...
移动通信行业自1995年以来经历了一个高速发展的时期,吸引了大量的人才。由于行业内部普遍薪酬较高,有稳定的发展空间,是即将毕
《51单片机零基础轻松入门视频教程》内容简介:本书以STC89C52(AT89S52)为例,介绍了51单片机的结构和特点、入门和提高所需的C语
PacoHope,是Cigital公司的一名技术经理,《MasteringFreeBsDand0penBsDsecurity》(由O’Reilly出版)的合著者...
《单读14:世界的水手》内容简介:本辑专题围绕“世界的水手”主题,邀请五位当代澳大利亚作者亮相,组成澳大利亚文学特辑,他们包
推荐系统技术.评估及高效算法 本书特色 本书主要介绍了国际市场营销环境、国际市场营销战略和国际市场营销策略。本书在第2版的基础上进行更新,具有如下特点:一是采取...
Python在Unix和Linux系统管理中的应用 本书特色 《Python在Unix和Linux系统管理中的应用(影印版)》为开明出版社出版发行。Python...
《先秦学术概论》内容简介:本书纵论先秦学术,首先鸟瞰先秦各学派的源流和相互关系,其次对道、儒、法、名、墨、阴阳、纵横、兵、
《一千零一夜(新版)》内容简介:《一千零一夜》又名《天方夜谭》。相传一国王因王后与人私通,心中愤恨,将王后处死之后,便每夜
《孙子兵法(插图本)》内容简介:本书是春秋末年孙武所著,为中国现存最古老最完备的军事学著作。《孙子兵法》自问世以来,对中国
DescriptionAguidetobuildingusable,aestheticallypleasinginterfacesforwebsitesandw...
《拉通》内容简介:怎样加快项目或订单的获取和交付,实现高效增长?怎样提高部门之间、员工之间的协作效率或人效?怎样判断并从根
本书是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自
《海尔制》内容简介:率先提出“海尔制”概念,从“人单合一”到“海尔制”提炼与升华 本书从海尔37年来的战略与组织结构解剖其演化
从零开始学Eclipse-(附赠光盘) 本书特色 首先本书的读者定位为eclipse的初学者,也包括java的初学者。先让初学者认识eclipse,然后从ecl...
《校园三剑客:再生战士》内容简介:张小开在网上认识了A国网友玛奇卡,他在聊天中得知,玛奇卡得了小儿麻痹症,一直以来都和爸爸相
《深入Linux设备驱动程序内核机制》内容简介:这是一本系统阐述Linux设备驱动程序技术内幕的专业书籍,它的侧重点不是讨论如何在