大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 一般性问题 » 计算理论导引
名称 计算理论导引
索引号 TP30/5
分类号 TP30
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 西普塞、Sipser、张立昂、
出版社 北京：机械工业出版社，2000..
ISBN 7-111-07574-9
页数 273页
价格 CNY30.00
标签 计算技术、理论、计算理论、计算机科学、计算机、理论计算机、数学、计算复杂性、教材、软件-理论、
简介 计算机科学丛书
注解 本书介绍了计算理论的三个内容：自动机与语言、可计算性和计算复杂性。
书籍简介

本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角，综合地描述了计算机科学理论，并以清新的笔触、生动的语言给出了宽泛的数学理论，而并非拘泥于某些低层次的技术细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。同样，对于算法描述，均以直观的文字，而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。本书的内容包括三个部分：自动机与语言、可计算性理论和

书籍目录

译者序
前言
第1章
导引
1.1
自动机、可计算性与复杂性
1.1.1
计算复杂性理论
1.1.2
可计算性理论
1.1.3
自动机理论
1.2
数学概念和术语
1.2.1
集合
1.2.2
序列和多元组
1.2.3
函数和关系
1.2.4