大拱桥--暨南大学学生门户 » 图书馆 » 可计算性理论 » 可计算性与计算复杂性导引
名称 可计算性与计算复杂性导引
索引号 TP301.4/971.3
分类号 TP301.4
TP301.4(可计算性理论)
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 张立昂、
出版社 北京 : 北京大学出版社, 2011
ISBN 978-7-301-17768-6
页数 256页 : 图 ; 26cm
价格 CNY35.00
标签 教材、数学、计算、aha!、
简介
注解 北京高等教育精品教材 本书第2版于2004年出版 有书目 (第256页) 本版(第三版)是在2004年第二版的基础上，作者经过6年多的讲学听取学生的意见、要求进行了修订，新增了习题解答；同时对第二版中存在的错误作了纠正；而且在内容上作了部分调整。本教材是一本较为成熟的教材，本书第二版被评为教育部科学技术二等奖，也是北京市高等教育精品教材。
书籍简介

《可计算性与计算复杂性导引(第3版)》是学习计算理论的教材和参考书，内容包括三部分：可计算性、形式语言与自动机、计算复杂性，主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。
《可计算性与计算复杂性导引(第3版)》可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对计算理论感兴趣的读者的入门读物。