杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

可计算性与计算复杂性导引/张立昂编著

版本说明:

第3版

出版发行项:

北京:北京大学出版社,2011

ISBN及定价:

978-7-301-17768-6/CNY35.00

载体形态项:

256页:图;26cm

丛编项:

高等院校计算机专业及专业基础课系列教材

个人责任者:

张立昂 编著

学科主题:

电子计算机-可计算性-高等学校-教材

学科主题:

电子计算机-计算复杂性-高等学校-教材

中图法分类号:

TP301.4

一般附注:

北京市高等教育精品教材 教育部科学技术进步二等奖

书目附注:

有书目

提要文摘附注:

本书内容包括三部分：可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。

电子资源:

http://www.zxhsd.com/kgsm/ts/2011/10/10/2085396.shtml

豆瓣简介：