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
《心香:最难是夫妻》内容简介:本书记录了作者对亡妻一生深深的回忆——一个普通中国家庭自己的记忆:夫妻相识、结婚生子,衔草筑
《故事工坊》内容简介:本书通过工坊式写作课堂,对“讲故事”的技巧、方法、练习进行讲解,涉及虚构与非虚构类型的故事创作。写作
PythonforSoftwareDesignisaconciseintroductiontosoftwaredesignusingthePythonprogr...
LearnhowtobemoreproductivewithScala,anewmulti-paradigmlanguagefortheJavaVirtualM...
数据库系统工程师教程(第2版)—全国计算机技术与软件专业技术资格(水平)考试指定用书 本书特色 《数据库系统工程师教程(第2版)》作为中级职称的软考指定教材,具...
《故乡情·北江谣》内容简介:《故乡情·北江谣》一书的内容分为上下两篇,作者林永泽有着深厚的文字功底,擅长运用四时之景的变化
《谈龙录 石洲诗话》内容简介:赵执信《谈龙录》一卷,该书主要为反对王士禛“神韵说”而作,主张“诗以言志”,必使后世因其诗以知
《基鹏医生的抗疫纪事》内容简介:《基鹏医生的抗疫纪事》为“华西坝文化”丛书(第三辑)之一,采用日记的形式,以四川大学华西医
本书以Xinu(一个小型简洁的操作系统)为例,全面介绍操作系统设计方面的知识。本书着重讨论用于嵌入式设备的微内核操作系统,采
这是一本介绍软件管理的小品文集。全书分为45章,每章就是一个独立的专题或者知识点。本书内容十分丰富全面,小到项目负责人制订
BookDescriptionTextpatternisapowerful,PHP-basedcontentmanagementsystemthatallows...
作者简介:JohnResigjQuery之父,世界级Web开发大师。2007年加入Mozilla公司,现为可汗学院开发人员。RussFerguson资深开发人员...
《儿童歌曲演唱教程 低幼版》内容简介:《儿童歌曲演唱教程(低幼版)》适合幼儿园和小学音乐教学使用。作者:尤静波、高歌作品目录
《世界遗产·中国》内容简介:人类生存于这个星球之上算是一个侥幸。两万年前,我们还是个濒危物种,熬过了冰河期,人类日益壮大。
《用地图看懂世界格局》内容简介:美国大选、英国脱欧、俄罗斯出兵叙利亚、在韩国建立萨德反导……所有这些问题,如果只通过新闻报
本书全面介绍了家具设计的基础知识、设计原理以及设计方法,包括对功能、材料、制作过程和持续性方面等进行了介绍。书中所选案例
Inlively,mordantlywittyprose,Negropontedecodesthemysteries--anddebunksthehype--s...
《我的心又一度的跳荡》内容简介:《我的心又一度的跳荡:徐志摩诗文精选/民国大师精美诗文系列》是一本徐志摩的作品诗文集。他的诗
图解计算机组装与维护 本书特色 一图一文,原景呈现,步步清晰。图解计算机组装与维护 内容简介 本书主要介绍了计算机组装与维护的相关知识,其主要架构有3篇:第1篇...
《移动互联网时代的新媒体概论》内容简介:经过多年的发展,基于互联网的新媒体从形式到内容,从功能到技术都发生了深刻的变化。在