Computability and complexity theory should be of central concern to practitioners as well as theorists. Unfortunately, however, the field is known for its impenetrability. Neil Jones's goal as an educator and author is to build a bridge between computability and complexity theory and other areas of computer science, especially programming. In a shift away from the Turing machine- and Gödel number-oriented classical approaches, Jones uses concepts familiar from programming languages to make computability and complexity more accessible to computer scientists and more applicable to practical programming problems.
According to Jones, the fields of computability and complexity theory, as well as programming languages and semantics, have a great deal to offer each other. Computability and complexity theory have a breadth, depth, and generality not often seen in programming languages. The programming language community, meanwhile, has a firm grasp of algorithm design, presentation, and implementation. In addition, programming languages sometimes provide computational models that are more realistic in certain crucial aspects than traditional models.
New results in the book include a proof that constant time factors do matter for its programming-oriented model of computation. (In contrast, Turing machines have a counterintuitive "constant speedup" property: that almost any program can be made to run faster, by any amount. Its proof involves techniques irrelevant to practice.) Further results include simple characterizations in programming terms of the central complexity classes PTIME and LOGSPACE, and a new approach to complete problems for NLOGSPACE, PTIME, NPTIME, and PSPACE, uniformly based on Boolean programs.
Foundations of Computing series
《像机构投资者一样思考:散户逆向投资策略实战指南》内容简介:《像聪明的机构投资者一样思考:散户逆向投资策略实战指南》主要从
李蕙蓁│研究所專研生態與觀光遊憩,喜愛藝術、設計、攝影,曾在望安與海龜結下不解之緣,擁有豐富的「龜」收藏。曾任報紙、雜誌
《你就是极客!软件开发人员生存指南》是一本软件工程师的职场指南,以虚构的人物和情景描述了极客的日常工作,对他们常遇到的各
《政德论:心理结构与伦理行动的二重维度》内容简介:本书在梳理“政德”内涵的历史演进的基础上,从伦理结构、心理结构和道德领导
《官绅的荷包》内容简介:人类的财富载体经历了漫长的演变,从原始社会几乎没有载体,到后来发展出房屋、土地、农具、牲畜、衣物、
ThisisthestoryofLinusTorvalds,themaverickFinnishcomputergeniuswhoinventedthepowe...
51单片机应用从零开始 内容简介 8051单片机不仅是国内用得*多的单片机之一,同时也是*适合初学者入门学习的一款单片机。一旦用户对它的应用卜手之后,即能开发电...
《CSS艺匠之门》从标题、图片、背景、导航、表单、表格和圆角效果等几方面,介绍CSS设计的神奇作用。《CSS艺匠之门》将CSS和Java
《通信企业市场营销》结合作者多年来从事电信企业市场营销理论研究的成果,以及我国电信企业的市场营销活动和实践,论述了市场营
《新手易学:中文版Photoshop CS5图像处理》内容简介:《新手易学:中文版Photoshop CS5图像处理》是为帮助Photoshop初级用户掌握Ph
《自由职业设计师工作手册》对那些希望成为一个长期而成功的自由设计师来说,是一本实用性很强并附有插图的案头参考工具书。内容
《灵魂应是可以随时飞起的鸟》内容简介:一切的驱动力,其实都是来自他那颗拳头大小的心——它微不足道,但是足够炽热,跳动有力,
吴国斌博士,PMP,微软亚洲研究院学术合作经理,负责中国高校及科研机构KinectforWindows学术合作计划及微软精英大挑战Kinect主题
压缩感知理论的工程应用方法 内容简介 在传输带宽有限和数据量激增的数字化时代,压缩感知理论为低速有效获取信息提供了一种新的思路,成为近十年来信号信息处理领域中一...
《当下的修行:要懂得一点放下》内容简介:其实,生活本该是一个轻松的课题,只是我们一直无法放下心中的累赘,将不该看重的东西看
《从灵光殿到武梁祠》内容简介:汉代画像研究是中国美术史中的显学。武氏祠及其所属的孝堂山祠—武梁祠派画像,同时也是汉代研究的
基于贝叶斯网络的结构系统可靠性评估方法 内容简介 本书是在作者近几年的研究成果上著作而成的,着眼于VA族元素形成的二维材料体系,采用基于密度泛函理论的性原理研究...
★他被认为是“世界能源问题的终结者”;★他被誉为我们时代的科学超人──“活着的尼古拉•特斯拉”;★他被选入畅销书《被禁止的
《朱子哲学思想的发展与完成》内容简介:本书剖析了集宋代理学之大成的朱熹的学思内涵,比较集中地体现了刘述先先生关于宋明儒学研
数据结构(C语言描述)学习指导与习题解答 本书特色 本书既可与《数据结构 (C语言描述)》一书配套使用,也可与其他C语言描述的数据结构教材配套使用,还可作为考研...