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
《卑鄙的圣人:曹操10》内容简介:曹操不可避免地步入暮年,统一天下的目标依旧遥遥无期。大瘟疫毁灭生灵无数、南征孙权再度无功而
Howdoyoudesignengagingapplicationsthatpeoplelovetouse?Thisbookdemonstratessevera...
图像超分辨率技术及其应用 内容简介 《图像超分辨率技术及其应用》主要论述了图像超分辨率技术,即从单幅或多幅低分辨率图像获取高分辨率图像。尽管已有的图像插值和超分...
《人机情感交互》在详细介绍人机情感交互概念的基础上,分析了当前人机情感交互的研究前沿,特别是在情感模型、人脸表情交互、语
《做东:酒局里的100个生存哲学》内容简介:酒局是阴谋四伏的人性的斗争舞台,是人最高生存智慧的展示场所。《做东》是第一本最全面
《陈子涛传》内容简介:本书为雨花台烈士传丛书之一,记叙了陈子涛烈士的一生。陈子涛1920年出生于广西玉林。1938年,初中毕业的陈
《李国文散文》内容简介:李国文散文,无论抒写对现实人生的思考,还是关注历史上文人的生存状态,字里行间都透出真性情,具有洞明
《人工智能发展报告(2020—2021)》内容简介:本书是国家工业信息安全发展研究中心在对2020年全球人工智能技术和产业进行全面跟踪
《Rootkit和Bootkit:现代恶意软件逆向分析和下一代威胁》内容简介:本书囊括灵活的技巧、操作系统架构观察以及攻击者和防御者创新
晶体结构精修-晶体学者的SHELXL软件指南-光盘 本书特色 《晶体结构精修:晶体学者的SHELXL软件指南》:SHELXL是目前国际上使用*广泛的结构精修程序...
《明朝那些事儿增补版:第八部(新版)》内容简介:《明朝那些事儿》第八部,主要讲述了从明熹宗到崇祯皇帝近十年间的历史。天启继
《如何赢得大客户》内容简介:本书讲述在如今这个一切都讲究高效率的时代,销售人员已经不仅仅单纯地去追求成交率和销售利润,促成
UDA是一种专门为提高并行程序开发效率而设计的计算架构。在构建高性能应用程序时,CUDA架构能充分发挥GPU的强大计算功能。《GPU高
《朱子哲学思想的发展与完成》内容简介:本书剖析了集宋代理学之大成的朱熹的学思内涵,比较集中地体现了刘述先先生关于宋明儒学研
《JavaScript修炼之道》是JavaScript的实战秘籍。作者将自己多年的编程经验融入其中,不仅可以作为学习之用,更是日常JavaScript
《数据挖掘(第2版)》较全面系统地介绍了数据挖掘中常用和常见的数据挖掘方法,以及文本与视频数据挖掘方法。《数据挖掘(第2版)》
Excel VBA编程实战宝典-附DVD光盘 本书特色 “开发宝典丛书”是由清华大学出版社为软件开发爱好者精心打造的一套软件开发百科全书。丛书强调“全面...
内容简介:MongoDB是为处理大数据而生的一款面向文档的数据库,由10gen公司开发和维护。本书作者KyleBanker曾在该公司负责MongoD
《C语言程序设计》内容简介:C语言是国内外广泛使用的计算机语言,是理工类专业人员应掌握的一种程序设计工具。本书以能力培养为目
《中华传统节日诗词故事:清明·端午》内容简介:节日诗词,把民间习俗和文人意趣结合在一起,很好地体现了中华文化源远流长、丰富