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
《微信公众号运营》内容简介:微信公众号如何通过精准数据营销进行内容定位、用户定位、服务定位?微信公众号运营者如何通过内容运
《职人不足道》内容简介:当大家都在谈论“职人”时,职人本人在谈什么? 近几年,在媒体的神化渲染下,匠人、职人等词处处为用,然
摘要/内容:随着信息技术的快速发展,信息系统也逐渐由低级到高级、由简单到复杂、由封闭孤立到开放协同地发展;具体表现为系统组
《HTML5触摸界面设计与开发》专注于触摸界面的开发,内容的结构和优化网站的思路大概一致。上半部分涵盖了能使各类网站,特别是移
本书探讨了针对Ajax、JavaScript和基于表现状态传输(RepresentationalStateTransfer,REST)的Webservice,以...
《第一本心理学漫画书:梦的解析》内容简介:《第一本心理学漫画书:梦的解析》系列漫画是根据弗洛伊德最主要的三部著作《梦的解析
《邓石如篆书千字文》内容简介:篆书一直以中锋用笔为正宗,形成了铁线篆、玉箸篆这样略显工艺化的成熟书体。早年邓石如临习“二李
《一部手机玩转移动理财》内容简介:现在,手机已成为每个人生活中必不可少的伴侣,几乎24 小时不离身,而将来,手机将成为每个人进
为一种开源数据库,MySQL已经成为最流行的服务器软件包之一。开发人员在其数据库引擎中提供了丰富的特性(只需很少的内存和CPU支
《从秦朝说起,到清朝结束(三):安邦定国》内容简介:一本书读懂从乱世到治世的阴谋与阳谋! 大汉王朝建立,刘邦登基后演绎了何为
在台灣先行出版的《龍捲風暴》《大金剛法則》,事實上是本書《跨越鴻溝》的續作。但由於本書初版於1991年問世,書中所舉個案與例
ThisdelightfulbookleadsyouthroughthebasicelementsofprogramminginScheme(aLispdial...
《中国汽车史话》内容简介:本书以深邃的历史眼光全面记述中国汽车产业跨越60年发展历程的著作。书中以时间为经线,以历史事件为纬
《Nginx高性能Web服务器详解》全面介绍了当前Internet上流行的一款开放源代码的Web服务器——Nginx。全书一共分为四大部分,分别
《AWS助理架构师认证备考宝典》内容简介:本书是一本以AWS认证解决方案架构师一助理级考试的考试大纲为核心,结合作者多年AWS系统设
《30天学会钢琴弹奏》内容简介:想随心所欲地弹奏出一首流畅的钢琴曲,却苦于不识五线谱?没有时间去上钢琴班,自学又太费时间?《
《掘金:互联网+时代创业黄金指南》内容简介:“互联网+”这个词随着政府工作报告变得炙手可热,这个词既是对过去已经发生的总结,
“如果你想学习如何用一款统计专家和数据挖掘专家所开发的免费软件包,那就选这本书吧。本书包括大量实际案例,它们充分体现了R软
《人口老龄化背景下城乡居民基本医疗保险财务可持续性研究》内容简介:本书是国家社会科学基金后期资助项目(18FGL008)系列研究成
《个人发起型非营利组织研究》内容简介:本书讲了一个学术版的故事,其在一定理论框架下的叙事,呈现了一个由个人发起的非营利组织