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
《从0到1写方案》内容简介:基于全网10万+学员订阅的爆款课程《如何成为年入百万的方案高手》《15堂零基础系统方案课》内容来进一步
《SEO深度解析》以SEO从业人员普遍存在的疑问、经常讨论的问题、容易被忽视的细节以及常见的错误理论为基础,对SEO行业所包含的各
"Arguably,oneofthebesttomes...TwitterPowerisjam-packedwithcleverwaystostartanddo...
并行程序设计(第2版) 本书特色 本书系统介绍并行程序设计原理及应用。除介绍常用的一些算法范例,包括分治、流水、同步计算、主从及工作池,还介绍了一些常用的经典数...
《网众传播 (数字媒介变革书系)》内容简介:“网众传播”指的是由“网众”发起和参与,由“社会性媒体”中介的传播模式、现象与行
《深入解析SpringMVCgnWebFlow》是SpringMVC和WebFlow两个框架的权威指南,书中包括的技巧和提示可以让你从这个灵活的框架中汲取
大数据时代计算机数据处理技术探究 内容简介 随着科技的发展,在信息化的今天,大量数据呈爆发式的增长,对这些数据的处理,是一个非常大的挑战,所以必须对数据处理技术...
《党意与民意》内容简介:本书讨论了1933—1934年北平市参议会、1946年北平市临时参议会和1947—1948年北平市正式参议会召开的背景
《母婴健康照护棘手问题解答:预防出生缺陷 孕育健康宝宝》内容简介:随着预产期临近,准妈妈们最担心的是能否顺利生下宝宝,有什么
《网页设计解析》不是一本普通的技法说明书,也不是一些拥有一些漂亮设计作品截图的高级画册。《网页设计解析》的写作出发点是希
《社会认知主义视域下学术写作指导反馈研究》内容简介:本书是“语言学博士文库”之一,拟在社会认知主义视域下研究中国英语学习者
计算机图形学 内容简介 本书主要讲述计算机图形学的有关原理、软硬件环境、几何建模和图形处理的基本方法。介绍了计算机图形学的基本概念、发展和应用,计算机图形系统的...
《淘宝天猫电商运营与数据化选品完全手册》内容简介:现代化的电商运营要求对社会发展、消费者及行业变化有清晰的认识;行业数据、
Thistutorialanelementaryintroductiontoteachnon-programmershowtocustomizetheirwor...
《JavaScript程序设计实例教程(第2版)》内容简介:本书采用任务驱动模式编写,内容涵盖JavaScript概述、HTML、CSS+DIV应用、Java
《创新实践与唯物史观形态研究》内容简介:本书通过对创新实践范畴的剖析,从马克思立足于实践观实现了对传统哲学的革命这一事实出
无师自通学点电脑新手学photoshop图像处理 本书特色 本书共分为12章,通过理论与实践相结合,全面、详细讲解了初识图像处理、创建与编辑选区、调整色...
《寻找古诗之美(套装全三册)》内容简介:本书共三册,第一册60首,适合6—8岁孩子,第二册70首,适合8—10岁孩子,第三册82首,适
《海蒂育儿大百科:0~1岁(2023版)》内容简介:宝宝不会带着说明书来到这个世界,新手父母难免遇到各种问题。这时,一部专业可靠的
本书是由40多位国外游戏开发行业最为优秀的程序员撰稿的技术文集。每篇文章都针对游戏编程中的某个特定问题,不仅提供了解决思路