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
《OpenStack部署实践》内容简介:本书讲述了OpenStack 相关的内容,其内容来自各种部署实验与实践。书中首先介绍了PXE 和网络相关的
《斯坦福社会创新评论09》内容简介:区块链、人工智能、3D打印等在给社会创新领域带来新的发展,是否也触发了科技的“黑暗面”?技
《抗战时期的金陵大学》内容简介:本书以抗战时局影响下金陵大学的迁变与调适为研究主题,通过对其早期的调适与发展、抗战西迁与南
《Python程序设计开发宝典》内容简介:内容与Python第一版本同步。面向Python 3.5.x、Python 3.6.x及更新版本,重点关注内置对象和
《文字设计基础教程》清晰简要地阐述了文字设计的理论和实际应用。编者将文字设计的历史、字体设计的方法以及字体设计在印刷和网
本书是关于计算机网络的最著名的经典教材。它是目前美国大多数大学所开设的计算机网络课程的主要参考书。目前国内外能见到的各种
《Java技术手册(原书第7版)》内容简介:本书共分为两部分,第一部分介绍了Java开发环境、基本句法、面向对象编程、类型系统、内存
如何能牢牢地黏住老用户、吸引新用户、读懂用户的偏好兴趣和喜怒哀乐,这都是对企业发展至关重要甚至关乎生死存亡的问题,解决这
《就喜欢你看不惯我又干不掉我的样子4》内容简介:超人气漫画家白茶全新力作!吾皇巴扎黑一家爆笑来袭!《就喜欢你看不惯我又干不掉
本书是一本全面系统地讲述计算机自然语言处理的优秀教材。本书英文版出版之后好评如潮,国外许多著名大学纷纷把本书选为自然语言
《别让不好意思害了你》内容简介:拒绝,是一种基本的生存能力,不要成全了别人,委屈了自己。生活中,我们常常面临诸多为难场合,
《魏晋有美男》内容简介:长得好看的人生,一定很精彩吧? 高能版《世说新语》 一本书带你强势围观魏晋风流人物 真实还原历史细节
本书全面介绍了如何使用Java2平台进行并发编程,较上一版新增和扩展的内容包括:·存储模型·取消·可移植的并行编程·实现并发控
《雏菊与稚鸟》内容简介:本书内容精选自插画师那仁多年来的插画作品,书中有恬静的少女、可爱的动物、美丽的植物,以及生活中的小
本书是一本专门介绍IPTV技术的图书,书中全面而系统地介绍了IPTV的体系结构、基本原理和各种关键技术,包括前端系统、编码技术、
《孙思邈(中华先贤人物故事汇)【中宣部2022年主题出版重点出版物】》内容简介:孙思邈是我国历史上著名的医学家和药物学家,被后
《新手学漫画教程:素描综合技法从入门到精通》内容简介:MiuMiu著的这本《素描综合技法从入门到精通》是针对初学者精心编制漫画素
本书系“世纪人文系列丛书”之“袖珍经典”中的一种。所谓分类,是指人们把事物,事件以及有关世界的事实划分成类和种,使之各有
《书与钥匙的季节》内容简介:充满爱与友谊的6个相互关联的短篇日常推理故事集。两个每日沉溺在图书馆的男孩,一个敏锐踏实且为人温
《Unity虚拟现实开发实战(原书第2版)》内容简介:本书通过基于项目的实践方式,详细讲解如何使用Unity 3D游戏引擎进行虚拟现实开