 | 书 名: 可计算性与计算复杂性导引
作 者: 张立昂
出 版 社: 北京大学出版社
ISBN : 730107463
原 价: ￥23
 有一家网站低于85折正在热销 | 可计算性与计算复杂性导引-图书目录:
第一章 程序设计语言×和可计算函数
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 非正则语言
习题
第八章 上下文无关语言
第九章 时间复杂性与空间复杂性
第十章 NP完全性
第十一章 NP类的外面
第十二章 P类的里面
第十三章 随机算法与随机复杂性类
附录
参考文献
可计算性与计算复杂性导引-图书简介:
本书是学习理论计算机科学基础的教材和参考书，内容包括三部分： 可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。
本书可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对理论计算机科学感兴趣的读者的入门教材。
可计算性与计算复杂性导引-相关最新图书
·美国文学研究
·高等学校英语应用能力考试模拟与实考试题集
·商务与管理沟通（英文版·第6版）
·21世纪中型英汉词典
·唐诗经典
·第三种管理模式 中国企业文化战略
·宠物宠养丛书——龟
·一千零一夜
·阶梯汉语.中级精读.第2册
·私法。第四辑。第一卷
·中国社会思想史--二十一世纪社会学系列教材
·明清民窑瓷器鉴定。洪武、永乐、宣德卷
·比较法在中国(第二卷)
·液压设计手册（软件版）V1.0：数字化手册系列
·伊东丰雄
·西周金文语序研究
·比较法社会学的框架和方法---法制化、本土化和全球化
·《计量经济学基础》(第四版)学生习题解答手册
·红楼梦·11
·银色印记：上海影人创作文选
| 