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
LearnhowtobemoreproductivewithScala,anewmulti-paradigmlanguagefortheJavaVirtualM...
《电影与抗战》内容简介:本书为中国电影史研究专著,以十四年抗战期间电影的发展为整体考察对象,贯穿起局部抗战和全面抗战时期电
《百年战争》内容简介:1417年,英格兰军队在诺曼底登陆,百年战争的战火重燃,法军节节败退,在接下来充满戏剧性的30年中,英国人
《郭敬明,不为所动》内容简介:郭敬明说,“我身上的时间是凝固的状态,我面前的年轻人永远都是17岁”。从身高外貌到抄袭拜金,十
本书全方位介绍了JavaScript,主要讨论了浏览器兼容性、可访问性、底层语法以及与HTML结构层的协同等问题。书中既包括理论性的讲
Windows核心编程,ISBN:9787111079453,作者:(美)JeffreyRichter(J.理查特)著;王建华[等]译;王建华译目录 第一部分程...
《我是微商4》内容简介:本书是微商界超级畅销书“我是微商”系列的第4本,是三位作者服务了2000多家国内微商品牌之后,总结得出的
在线阅读本书《CrossingtheChasm:MarketingandSellingDisrupti》:Mooreprovidesaninvaluablese...
本书是高等院校艺术与设计专业教材。本书作者长期从事网页设计的一线教学,根据教学和设计的需要,收集了几千幅有特点的网页。作
Thisessentiallyself-contained,deliberatelycompact,anduser-friendlytextbookisdesi...
《第一推动丛书·综合系列:复杂的引擎(新版)》内容简介:本书结合信息、进化和计算对生物进化进行了阐释,证明了计算在进化中的
《未来已来》内容简介:本书是全球政治、经济、金融、企业等方面的领袖人物在清华大学五道口金融学院和国家金融研究院主办的“未来
《零基础学:微信小程序开发》内容简介:本书从微信小程序的结构及其常用的API开始,讲解了微信开发工具各面板的功能和使用、常用框
《基于投资者关系视角的公司品牌研究》内容简介:上市公司的价值取决于产品市场和资本市场两方面的影响。其在产品市场上取得的品牌
《测试驱动开发》(中文版)设想把编程看成是转动曲柄从井里提一桶水上来的过程。如果水桶比较小,那么仅需一个能自由转动的曲柄就
《转型破局:中国十大行业数字化转型践行录》内容简介:在数字化转型过程中遇到的更大的困难则是来自缺乏对数字化转型的深刻理解,
ThegreatCarlSaganoncesaid,“Ifyouwishtomakeanapplepiefromscratch,youmustfirstinve...
书分三部分,一是知识,是那些问而不详则枉称字型设计师的事情;二是方法论,工作室看待问题解决问题的方式;三是成功的商业委托
网络英语-(中英双语) 本书特色 优秀的网上冲浪者没有固定的交流模式,如何在不同情景下选择*佳的交流方式呢 通过情景交流提升网上冲浪技能,通过案例分析提高各种在...
《物联网安装调试与运维(初级)》内容简介:本书是1+X职业技能等级证书——物联网安装调试与运维(初级)的配套图书。本书在编写思