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
《投资大白话》内容简介:一本让股市小白看得懂的书,一本值得投资老手重视的书。用人人都听得懂的话阐明股市投资的真谛,让人人都
本书详细介绍了广泛的Web技术,包括:HTTP、XHTML、CSS、JavaScript、DOM、Javaservlet、XML及相关技术、JSP、SOAP、W...
Clojure是一门Lisp方言。它通过函数式编程技术,直接支持并发软件开发,得到众多开发人员的欢迎,广泛应用于各个领域。Web开发是
《一本书学会做数据分析:成功商务人士案头必备》结合具体的商务实例对Excel软件和数据分析进行了详细介绍,在分析实例的同时,还
《移动通信频谱技术与5G频率部署》内容简介:无线电频谱是所有无线电业务的稀缺、关键资源。对移动运营商而言,频谱资源是网络建设
《闲言碎语》内容简介:本书是知名设计师历经7年沉淀的设计思路与方法论集合,其中既保留了个人的情绪与判断,也时常回想笔者多年来
《梁庄十年》内容简介:2010年,《中国在梁庄》首次出版,向我们展现了一个急速变化的时代下的中国村庄的变迁。十年之后,作者梁鸿
TheauthorofFreeCultureshowshowweharmourchildren—andalmostanyonewhocreates,enjoys...
数据库原理及应用(SQLServer2005)-数学指导与习题解答 本书特色 《数据库原理及应用(SQL Server 2005):教学指导与习题解答》是国家级...
《并行程序设计原理》内容新颖,涉及现代并行硬件和软件技术,包括多核体系结构及其并行程序设计技术。《并行程序设计原理》侧重
《让移动设计更简单:Sketch3操作指南与实战详解》以Sketch的基本操作为基础,用一系列生动可行的教学案例,让初学者可以快速掌握
《时光交汇的地方》内容简介:太多的人,穿行在城市之间,忙碌的节奏让我们忘记了生活的本色。有一些或诙谐或温暖的文字,是调节神
有人说Google让我们变得更笨,有人说Facebook出卖了我们的隐私,有人说Twitter将我们的注意力碎片化。在你担忧这些社会化媒体让我
《工作场所学习与学习变革》内容简介:本书运用建构扎根理论研究方法,立足于中国本土企业开展的基于项目行动学习(Project-Based
TheResourceDescriptionFramework(RDF)isastructurefordescribingandinterchangingmet...
domus杂志是有着80多年历史的、世界著名的建筑艺术与室内设计杂志,其中文版创刊于2006年,“与中国有关”访谈栏目也同时推出。每
科学计算自由软件SCILAB基础教程 内容简介 本书是关于科学计算自由软件SCILAB的入门教材。本书前三章分别介绍了SCILAB环境,SCILAB数据类型、运...
“融合与开放的下一代网络丛书”系统地描述了作者在国家973计划、国家863计划、国家杰出青年科学基金和国家自然科学基金等项目的
《好的PPT会说话》内容简介:本书分为7个章节,第1章节主要介绍关于演示目的、载体和演示文稿作用的思考,第2章明确了PPT需要理清思
《朱熹(中华先贤人物故事汇)》内容简介:朱熹,中国南宋时期理学家、思想家、哲学家、教育家、诗人。他是“二程”(程颢、程颐)