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
PraisefortheSecondEdition:"Seriousresearchersincombinatoricsoralgorithmdesignwil...
本书全面介绍了在VisualBasic6.0中如何调用WindowsAPI的技术,特别是结合读者在应用中经常遇到的具体问题编写了许多应用范例,书
中文版AutoCAD 2004二次开发标准教程 内容简介 长期以来,广大工程人员一直热切期盼有一本易学易用的AutoLISP程序开发图书,以便学习、使用Auto...
ThiscomprehensiveguideshowsyouhowtomasterthemostimportantchangestoJavasinceitwas...
新思路(2013最新版)二级Access 上机考试新版题库 无纸化考试新题型 本书特色 新思路(2013最新版)二级Access 上机考试新版题库 无纸化考试新...
《鉴知录》内容简介:《鉴知录》是一部读史随笔集。顾名思义,读《资治通鉴》,是为了鉴往知来。作者起于基层,富有实际工作经验。
《互联网+大数据:精准营销的利器》内容简介:本书从服装、餐饮、交通、零售和商超、娱乐、通信、社交、广告、医疗、生产制造等方面
如同某种势不可挡的新型病毒,地下黑客圈子流言四起:某个聪明绝顶、胆大妄为的家伙发动了对线上犯罪网络的恶意接管,这个犯罪网
《大型IT系统性能测试入门经典》内容简介:《大型IT系统性能测试入门经典》是一本来自性能测试实战领域的专家作品,主要用来指导性
Withthesecondeditionofthispopularbook,youlllearnhowtobuildHTML5andCSS3-basedapps...
《TensorFlow神经网络编程》内容简介:本书首先简要介绍流行的TensorFlow库,并讲解如何用它训练不同的神经网络。你将深入了解神经
《Web开发技术:HTML、CSS、JavaScript》内容简介:本书主要讲解了Web前端开发的相关知识,主要包括HTML、CSS和JavaScript等内容...
《任正非与华为神话》内容简介:华为作为中国最伟大的企业,成立于1987年,目前拥有超过18万名员工,业务遍及170多个国家和地区,年
《抖音短视频运营全攻略》内容简介:随着移动互联网的快速发展与普及,短视频营销正在成为新的营销模式。本书从短视频营销的基础出
《Flashcs4动画制作与特效设计200例》共14章,通过200个精美实用的案例,为用户介绍了使用Flash设计与制作动画的方法,内容涉及卡
《塔克西多公园》内容简介:阿尔弗雷德·李·卢米斯是一位英俊、才华杰出而又性情古怪的金融家。他的发家和崛起在充满赌博投机的
《三维CAD/CAM》内容简介:结合机械类专业的实际,以够用为度,主要讲述设计模块和加工模块。第一部分为设计模块(即CAD模块),主
嵌入式实时操作系统T-Kernel 2.0-(含光盘) 本书特色 嵌入式实时操作系统tron(the realtime operatingnucleus),其*...
本书为“勒·柯布西耶新精神丛书”中的一本。柯布西耶提出的观点是:现代装饰艺术就是不装饰。但我们被告知,装饰对于我们的生活
《学术与时势:民国的边疆研究》内容简介:该书系统梳理了近代中国边疆研究的发展演变历程,探讨各时期边疆研究内容、方法的不同特