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
《个人理财理论与实务(第二版)》内容简介:本教材突破以往同名教材编写侧重于金融企业理财或理财师代客理财的视角,本教材从个人
本书全面深入地剖析了面向对象的PHP编程与设计。首先介绍了PHP的OO特性,包括类声明、对象实例化、继承、方法与属性封装以及静态
《中国古典舞术语词典》内容简介:《中国古典舞术语词典》为“舞蹈普及教育丛书”系列之一,其内容有71个歌舞组合,涵盖了民间舞、
《一部手机玩转移动理财》内容简介:现在,手机已成为每个人生活中必不可少的伴侣,几乎24 小时不离身,而将来,手机将成为每个人进
朱宏微软(中国)用户体验布道师新浪微博@MLikeasong负责大中华地区微软设计风格的普及、设计团体交流合作、基于Windows8和Windo
Django Web应用开发实战 本书特色 本书由一线资深软件工程师结合多年Python开发经验倾力编撰,集Django架站、案例实践、前瞻技术于一体,是一本精...
《实战GAN:TensorFlow与Keras生成对抗网络构建》内容简介:《实战GAN:TensorFlow与Keras生成对抗网络构建》通过多个不同的生成对
本书重点论述数字通信的技术基础和最新应用。全书共分15章,详细阐述了数字通信系统的基本信号变换、信号处理步骤、基带信号及高
《中国智慧互联投资发展报告(2017)》内容简介:本书围绕智慧互联产业的内涵、体系、政策、技术以及投资发展进行了全方位的分析研
《监控运维实践:原则与策略》内容简介:本书围绕监控这个庞大而复杂的主题,从其原则和策略入手,详细介绍了监控系统的组成、日志
《银行业营销管理实战精析》内容简介:本书从国际通用的营销管理体系出发,引入银行业营销管理案例共32个,案例覆盖大型商业银行、
《围棋手筋二选一从入门到精通(级位篇)》内容简介:围棋手筋二选一从入门到精通是由少儿围棋教育专家、职业五段棋手赵守洵专为围
Thistextbooktakesaninnovativeapproachtotheteachingofclassicalmechanics,emphasizi...
3ds Max三维室内设计实用教程 内容简介 张岩编著的《3dsmax三维室内设计实用教程》为“室内设计·装饰专业高职高专教学丛书”之一。3dsmax为一款可视...
由杜波依斯编著的《MySQL技术内幕(第4版)》介绍了MySQL的基础知识及其有别于其他数据库系统的独特功能,包括SQL的工作原理和My
设计与艺术关系密切,艺术史家往往是设计史家,本书是一个明证。以艺术史家著称的贡布里希对设计的思考与论述同样既引人入胜,又
《走出教育焦虑》内容简介:本书是一部通过引用、分析传统文化理念与知识,解决当下孩子教育问题的传统文化教育应用类读本。随着中
OpenGL ES 3.x游戏开发-(下卷) 本书特色 本书共分14章,内容涵盖了从OpenGL ES 3.x着色器的使用技巧到高级光影效果以及物理模拟问题的解...
Inapost-9/11world,thepresentisasunpredictableasanyfuture...Paidtopredictthehotte...
《PHP核心技术与最佳实践》是一本致力于为希望成为中高级PHP程序员的读者提供高效而有针对性指导的经典著作。系统归纳和深刻解读