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.
《野哭:弘光列传》内容简介:作者对短命仅一载的弘光朝感到不能放下,而想把它重新唤回于人们记忆,于是,钩故索旧,大书特书。《
《实用推荐系统》内容简介:本书要构建一个实用的“智能”推荐系统,不仅需要有好的算法,还需要了解接收推荐的用户。本书分为两部
《给青年的十二封信(经典译林)》内容简介:朱光潜赠予青年朋友的人生智慧书; 附录朱光潜谈修养、谈文学等多篇精彩文章 本书是美
《徐兆玮杂著七种》内容简介:徐兆玮(1867—1940),民国学者、藏书家。字少逵,号倚虹,又号虹隐,别署剑心,江苏常熟人。《徐兆
《5G+智慧医疗:赋能医疗产业数字化转型》内容简介:本书立足于当前我国智慧医疗产业的发展现状与前沿趋势,梳理智慧医疗发展历程和
本书主要包括两方面内容,首先是对工业设计发展的简要历史的回顾,从中读者可以理解工业国家的技术发展过程的经验和教训。然后探
如果你可以编写出合格的代码,但是想更进一步、创作出组织良好而且易于理解的代码,并希望成为一名真正的编程专家或提高现有的职
资深数据专家凝炼数十年教学和实践经验,全面阐释如何使用R的20%功能完成80%的现代数据工作。本书是资深数据专家数十年教学与实践
《保险这样买就对了》内容简介:本书从实际中常见的保险问题出发,为读者提供解决保险问题的答案,让读者避开买保险过程中的麻烦。
陶国荣编著的《HTML5实战》是一本系统而全面的HTML5教程,根据HTML5标准的最新草案,系统地对HTML5的所有重要知识点进行了全面的
设计并不是凭空产生的。本书始于对构成设计的所有要点的探究,包括经济、伦理道德、技术以及其他艺术领域的理论与发展。它审视了
书名:完全手册:PHP网络开发详解作者:孙鹏程等编著来源:电子工业出版社出版时间:2007年07月ISBN:9787121046483定价:89元第1
Inlife,uncertaintysurroundsus.Thingsthatwethoughtweregoodforusturnouttobebadforu...
《Web2.0动态网站开发:PHP技术与应用》以Web2.0网站开发的5种需求和28个重要元素为线索,从PHP开发Web2.0网站的三个理由出发,全
《民法典与罗马法》内容简介:《民法典与罗马法》一书,分两大部分:第一部民法典,由“穿过新冠肺炎危机入典的《民法总则》”“我
《UML软件建模技术》内容简介:本书以实用、够用为原则,介绍了软件建模技术的基本概念。全书内容由浅入深,逐步展开,并配有大量的
《Python高级编程》通过大量的实例,介绍了Python语言的最佳实践和敏捷开发方法,并涉及整个软件生命周期的高级主题,诸如持续集
《唐草物语》内容简介:本书于1981年获得第九届泉镜花文学奖。本书是作者以历史上十二位著名人物的故事为蓝本,用自己独特的奇幻风
《PPT多媒体课件制作从新手到高手》内容简介:本书详细介绍了使用PowerPoint设计和制作幻灯片与教学课件的方法和技巧,以及在实际中
《解码:工业信息安全》内容简介:本书分为概述篇、基础篇和应用篇三个篇章,共十个章节。概述篇详细介绍了工业信息安全的概念定义