可计算性与计算复杂性导引 第2版PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:张立昂编著
- 出 版 社:北京:北京大学出版社
- 出版年份:2004
- ISBN:7301074638
- 页数:221 页
第一章 程序设计语言?和可计算函数 1
1.1 预备知识 1
1.2 Church-Turing论题 2
1.3程序设计语言? 3
1.4可计算函数 9
1.5宏指令 10
习题 12
第二章 原始递归函数 13
2.1原始递归函数 13
2.2原始递归谓词 17
2.3迭代运算、有界量词和极小化 18
2.4配对函数和G?del数 22
2.5原始递归运算 24
2.6Ackermann函数 28
2.7字函数的可计算性 33
习题 36
第三章 通用程序 39
3.1程序的代码 39
3.2停机问题 41
3.3通用程序 42
3.4递归可枚举集 45
习题 48
4.1 Turing机的基本模型 50
第四章 Turing机 50
4.2 Turing机的各种形式 55
4.3 Turing机与可计算性 60
4.4 Turing机接受的语言 63
4.5非确定型Turing机 65
习题 67
第五章 过程与文法 69
5.1半Thue过程 69
5.2用半Thue过程模拟Turing机 70
5.3文法 72
5.4再论递归可枚举集 75
5.5部分递归函数 77
5.6再论Church-Turing论题 78
习题 79
第六章 不可判定的问题 80
6.1 判定问题 80
6.2 Turing机的停机问题 81
6.3字问题和Post对应问题 83
6.4有关文法的不可判定问题 86
6.5一阶逻辑中的判定问题 86
习题 89
7.1 Chomsky谱系 90
第七章 正则语言 90
7.2有穷自动机 93
7.3有穷自动机与正则文法的等价性 101
7.4正则表达式 103
7.5非正则语言 109
习题 110
第八章 上下文无关语言 112
8.1上下文无关文法 112
8.2 Chomsky范式 115
8.3 Bar-Hillel泵引理 119
8.4下推自动机 121
8.5上下文无关文法与下推自动机的等价性 126
8.6确定型下推自动机 129
8.7上下文有关文法 134
习题 136
第九章 时间复杂性与空间复杂性 138
9.1Turing机的运行时间和工作空间 138
9.2计算复杂性类 141
9.3复杂性类的真包含关系 144
习题 146
第十章 NP完全性 147
10.1 P与NP 147
10.2多项式时间变换和NP完全性 151
10.3 Cook定理 153
10.4若干NP完全问题 157
10.5 coNP 168
习题 170
第十一章 NP类的外面 171
11.1 PSPACE完全问题 171
11.2一个难解问题 176
习题 179
第十二章 P类的里面 180
12.1若干例子 180
12.2对数空间变换 183
12.3 NL类 185
12.4 P完全问题 189
习题 192
第十三章 随机算法与随机复杂性类 193
13.1随机算法 193
13.2随机复杂性类 200
习题 207
附录 208
附录A 记号 208
附录B 中英文名词索引 213
参考文献 221
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《计算机辅助平面设计》吴轶博主编 2019
- 《计算机组成原理解题参考 第7版》张基温 2017
- 《云计算节能与资源调度》彭俊杰主编 2019
- 《Helmholtz方程的步进计算方法研究》李鹏著 2019
- 《计算机组成原理 第2版》任国林 2018
- 《大学计算机信息技术教程 2018版》张福炎 2018
- 《汉语言文学本科专业核心课程研究导引教材 古代汉语》马蓝婕责任编辑;(中国)魏宜辉 2019
- 《计算机自适应英语语用能力测试系统设计与效度验证 以TEM4词汇与语法题为例》张一鑫著 2019
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019