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.
《马克思哲学要义》内容简介:赵敦华著的《马克思哲学要义》以文本研究为基础,结合国内外研究成果,对马克思的启蒙哲学、批判哲学
YourexpertguidetoimplementingScalableVectorGraphics(SVG)Divein-andquicklylearnho...
《新概念编程C语言篇习题解答》对《新概念编程C语言篇》教材中的习题进行了系统全面的分析和解答。习题精选了C语言编程中典型题型
从0起飞五笔打字易学通 内容简介 本书内容包括:键盘的历史和种类、五笔字型输入法程序的使用、掌握五笔字型的基础知识、使用五笔输入法进行汉字的输入等。从0起飞五笔...
这是一本关于操作系统基本原理的教科书,其最大特点就是从操作系统的分层概念出发,深入浅出地介绍了操作系统的基本概念和基本框
《见微知著:从软件实践到软件工程》以一个非常典型的软件系统——酒店信息管理系统的开发为例,站在欠缺经验的IT学生的角度,介绍
《电子技术基础:模拟部分(第4版)》是“九五”国家级重点教材,前版获国家级优秀教材特等奖及国家科技进步二等奖。为适应电子信息
《我爱问连岳之少年问答》内容简介:说到“少年”,我们常常会哼起那首熟悉的旋律:“小小少年,很少烦恼,眼望四周阳光照”。曾经
《决胜移动终端》内容简介:•在移动互联时代,拥有移动终端的消费者不再需要“去购物”,他们随时随地都“在购物”。这就给企业带来
CAD室内设计施工图常用图块.5 金牌家装实例 本书特色 本图集汇集了住宅室内装饰设计施工图各类实例,是从大量的工程实例中精选出来,经过加工整理,使其典型化,综...
《八万里路云和月》内容简介:全书共分为三篇。上篇“通榆‘触网’之路”,作者以半自传的形式回顾了通榆电商品牌成长历程。从零开
HTML5 APP开发从入门到精通-(基于HTML5+CSS3+jQuery Mobile+Bootstrap) 本书特色 《HTML5 APP 开发从入门到精...
《单兵作战装备图鉴(白金版)》内容简介:本系列丛书精心选取世界各国单兵装备的近百种经典枪械、爆破武器、冷兵器等,从每种武器
ANSYS结构有限元高级分析方法与范例应用 内容简介 本书将结构有限元分析的基本力学概念与ANSYS实践紧密结合,通过大量生动的原创性分析实例,向读者系统全面地...
《Lightroom Classic原创高级实战教程》内容简介:本书讲授Lightroom Classic的高级实用性技法,分为基础篇、精通篇和高手篇。在基
本书讨论了全球信息栅格做什么,谁来用的问题,主要包括集中管理还是分散管理、谁来提供服务、谁提供何种服务等内容。本书中英文
《从0到100万:我的微商之路可以复制》内容简介:为什么将这本书取名为《从0到100万:我的微商之路可以复制》呢?因为纵观自己的微
《变局之解》内容简介:面对大变局,本书主要关注2个核心问题: 1.全球代表性科技智库到底在研究什么? 2.对于关键科技议题,全球代
《写给系统管理员的Python脚本编程指南》内容简介:本书是一本介绍Python编程的进阶图书,包含了大量关于Python脚本设计的主题。本
安藤忠雄是当今最为活跃、最具影响力的世界建筑大师之一。他的建筑屹立在巴黎联合国教科文组织总部;他神性的空间语言是普利策美