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
1作者为德国红点设计大奖得主。2书中独有作者自创的图形创作模式,即“理性—直觉—手—电脑”的结合运用。3本书包含40种颠覆惯性
《元好问传论——中国诗学研究专刊 (精)》内容简介:本书是安徽师范大学诗学研究中心“中国诗学研究专刊”丛书之一种,围绕宋金时
NowthatActionScriptisreengineeredfromtoptobottomasatrueobject-orientedprogrammin...
《高达模型制作技巧指南》内容简介:本书主要介绍制作高达模型用到的工具、油漆种类、涂装技巧、特殊效果涂装等知识。为了不让大家
《世界何以至此》内容简介:◆史学大家许倬云重磅力作 ◆以“大历史观”俯瞰人类文明 ◆70年博学深思熔于一炉,展望未来 ◆增设30+
《唐卡中的西藏史》内容简介:本书是国内第一本探讨唐卡艺术中蕴含的西藏历史的专著。本书通过100幅精美的唐卡,紧密结合历史人物和
《知识图谱与认知智能:基本原理、关键技术、应用场景与解决方案》内容简介:读者通过本书可以了解企业认知智能的原理、应用方法、
MATLAB金融算法分析实战-基于机器学习的股票量化分析 本书特色 本书全面系统地讲解了MATLAB金融算法设计应用,以及金融数据挖掘中趋向和发展趋势指标,并结...
《日不落家》内容简介:《日不落家》是余光中第四本纯散文集,共收二十一篇文章,是他晚年的珍贵创作。文有短到几百字的俏皮小品《
《设计问题(第四辑)》内容简介:本书共由十一篇文章组成,全部译自美国麻省理工学院(MIT)出版社出版的《设计问题》(Design Is
《网站开发案例课堂:HTML5+CSS3+JavaScript网页设计案例课堂》作者根据在长期教学中积累的网页设计教学经验,完整、详尽地介绍H
《深入浅出SSD:固态存储核心技术、原理与实战》内容简介:本书的内容几乎覆盖了SSD各个模块,既可以作为一本入门书籍进行通读,也
《诗经绘》内容简介:《诗经》,中国诗歌的源头。2500年来,它在诉说些什么? “有狐绥绥,在彼淇梁。心之忧矣,之子无裳”是姑娘爱
《春天在心里歌唱》内容简介:本书精选了四十多篇世界上最具代表性的散文,所选篇目皆出自于名家,语言优美,意义深邃,堪称人类文
冀云编著的《C++黑客编程揭秘与防范》旨在通过简单的语法知识及常用的系统函数编程,完成一些有特定功能的安全工具,让读者对系统
Thewirelessindustryisinthemidstofafundamentalshiftfromprovidingvoice-onlyservice...
《你不知道的JavaScript(上卷)》内容简介:JavaScript语言有很多复杂的概念,但却用简单的方式体现出来(比如回调函数),因此,
《博物馆窜行记》内容简介:本书收录了28篇腾讯·大家专栏作家顺受牵猴在欧美各博物馆窜行的所见所闻、所思所想。本书可以说是另类
空间碎片的危害正受到科学、商业等领域空间用户越来越广泛的关注。《空间碎片--模型与风险分析(精)》(作者克林克瑞德)是一部空间
MATLAB之父:编程实践-(中译本) 本书特色 《matlab之父:编程实践》一书是matlab之父cleve moler的*新力作。作者通过20个有趣的主题...