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
Amongthetestsyouperformonwebapplications,securitytestingisperhapsthemostimportan...
《经济增长中的技术进步机制:基于理论变迁的研究》内容简介:本书从理论变迁的角度研究了古典增长理论、马克思经济增长理论、熊彼
市場競爭激烈,品質、價格已無分軒輊……風格變成最大的賣點。──VirginiaPostrel,”TheSubstanceofStyle”日本人不僅擅於創造風
《精通CSS+DIV网页样式与布局》从零开始,细致介绍CSS的语法规则,透彻讲解CSS应用于各种网页元素的步骤和技巧深入剖析,CSS+DIV
《C++程序设计语言》介绍了标准C++以及由C++所支持的关键性编程技术和设计技术。标准C++较以前的版本功能更强大,其中许多新的语
《工笔画技法从入门到精通》内容简介:本书是一本工笔画绘制基础教程,从工笔画工具的选用讲起,介绍了工笔画的基础知识和基础技法
《好心好人生》内容简介:本书围绕麝香保心丸在冠心病临床防治中的具体应用,阐明了麝香保心丸对冠心病患者具有扩张冠状动脉、保护
《新编Word/Excel/PPT商务办公应用大全》内容简介:作为一款常用的集成办公软件,它具有操作方便和容易上手等特点。然而要想真正掌
《漫画图解人工智能》内容简介:漫画式AI通识课 轻松get人工智能核心问题 ☆ 在AI领域深耕多年的专家首次面向大众讲述 人工智能已经
《当用户体验设计遇上敏捷》分为三个部分:第一部分介绍了什么是敏捷。即使读者对敏捷完全了解,仍旧值得读一读这部分内容;第二
《技术元素》内容简介:我会将我不成熟的想法、笔记、内心争论、草稿以及对其他文章的回应都写在《技术元素》中,这样我就能知道自
欢迎进入神秘的Android世界!自2008年相关设备进入市场以来,Android的发展日新月异,Android设备日益繁盛,而其背后开发应用潜藏
《区块链金融》内容简介:毋庸置疑,“区块链金融”已经成为当下经济发展的重要势头,但是很多经济行业对区块链依然有些陌生,例如
《黑客免杀攻防》国内首部关于黑客免杀技术的专著,旨在为反病毒工程师剖析各种恶意软件和应对各种安全威胁提供全面指导。不仅从
NodegivesJavaScriptdevelopersincredibleserver-sidepower,buttransitioningfromfron...
《风帆五千年:历史图像中的帆船世界》内容简介:作为古老的水上交通工具,帆船见证了人们“发现”海洋、征服大自然的奋斗历程。“
《复杂信息系统网络安全体系建设指南》内容简介:本书介绍复杂信息系统的网络安全体系建设,共分为7章,第一章为概述;第二章为安全
《JavaScript编程精解(原书第3版)》内容简介:本书第3版深入研究JavaScript语言,详细介绍如何编写漂亮、高效的代码。更新的内容
《激进意志的样式(2018年版)》内容简介:本书为“苏珊•桑塔格全集”一种,是桑塔格一本重要的文论集,是对于《反对阐释》所研究的
《插画设计高级教程Illustration》以国际的视角检验了现代插画艺术中插画题材的运用尺度,并提供了制作一件插画作品所需的理论及