《可计算性与计算複杂性导引》是2011年9月1日北京大学出版社出版的图书。
基本介绍
- 书名:可计算性与计算複杂性导引
- ISBN:9787301177686
- 出版社:北京大学出版社
- 出版时间:2011年9月1日
- 版次:第3版
内容简介
此书让你看清这个社会人心本质,思索宇宙人生,感悟生命的原动力,改变自我绝对一本启蒙好书。
一直跟着此书作者讨论,非常受益,值得认真看看,认真思考。此书虽然用的辞藻不华丽,但正因为这样朴实的语句,更能为大众所理解,所接受,作者将一部深奥难懂的精神分析学、社会关係学、等等,汇集到此书当中,用最亲切的语言,最易于大众理解的语言,一语道破天机。
全书理论体系相对完整,採用了儘可能多的实际操作案例来解释和阐述相应的具体套用。
图书目录
第一章 程式设计语言 和可计算函式
1.1 预备知识
1.2 church-turing论题
1.3 程式设计语言
1.4 可计算函式
1.5 宏指令
习题
第二章 原始递归函式
2.1 原始递归函式
2.2 原始递归谓词
2.3 叠代运算、有界量词和极小化
2.4 配对函式和godel数
2.5 原始递归运算
2.6 ackermann函式
2.7 字函式的可计算性
习题
第三章 通用程式
3.1 程式的代码
3.2 停机问题
3.3 通用程式
3.4 递归可枚举集
习题
第四章 turing机
4.1 turing机的基本模型
4.2 turing机的各种形式
4.3 turing机与可计算性
4.4 turing机接受的语言
4.5 非确定型turing机
习题
第五章 过程与文法
5.1 半thue过程
5.2 用半thue过程模拟turing机
5.3 文法
5.4 再论递归可枚举集
5.5 部分递归函式
5.6 再论church-turing论题
习题
第六章 不可判定的问题
6.1 判定问题
6.2 turing机的停机问题
6.3 字问题和post对应问题
6.4 有关文法的不可判定问题
6.5 一阶逻辑中的判定问题
习题
第七章 正则语言
7.1 chomsky谱系
7.2 有穷自动机
7.3 有穷自动机与正则文法的等价性
7.4 正则表达式
7.5 非正则语言
习题
第八章 上下文无关语言
8.1 上下文无关文法
8.2 chomsky範式
8.3 bar-hillel泵引理
8.4 下推自动机
8.5 上下文无关文法与下推自动机的等价性
8.6 确定型下推自动机
8.7 上下文有关文法
习题
第九章 时间複杂性与空间複杂性
9.1 turing机的运行时间和工作空间
9.2 计算複杂性类
9.3 複杂性类的真包含关係
习题
第十章 np完全性
10.1 p与np
10.2 多项式时间变换和np完全性
10.3 cook定理
10.4 若干np完全问题
10.5 conp
习题
第十一章 np类的外面
11.1 pspace完全问题
11.2 一个难解问题
习题
第十二章 p类的里面
12.1 若干例子
12.2 对数空间变换
12.3 nl类
12.4 p完全问题
习题
第十三章 随机算法与随机複杂性类
13.1 随机算法
13.2 随机複杂性类
习题
习题解答
附录
附录a 记号
附录b 中英文名词索引
参考文献