名称 可计算性和计算复杂性
索引号 TP301-43/4
分类号 TP301-43
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 朱一清、
出版社 北京:国防工业出版社,2006
ISBN 7-118-04329-X
页数 157页
价格 CNY18.00
标签 可计算性、计算复杂性、高等学校教材、计算机、计算机科学、
简介
注解
书籍简介

本书深入浅出地介绍了研究可计算性的四个主要模型以及四个模型彼此之间的关系:介绍了计算复杂性的基本概念和重要的研究方法与一些研究成果。内容涉及递归函数、图灵机、λ演算、马尔可夫算法、计算复杂度的分类、NP完全理论、非一致复杂性等。分述于十章,书中附有习题。
本书可作为广大有志于突破计算复杂性研究僵局——“P=NP?”的科技工作者,计算机科学和元计算机科学工作者,数学和元数学工作者以及大专院校的教师和学生的入门书、教材和参考书,亦可作为计算机基础理论的参考书。