点击选择搜索分类
首页 - 农业/林业- 正文
☆☆☆☆☆
||
张立昴 著
出版社: 北京大学出版社 ISBN:9787301177686 版次:3 商品编码:10831743 包装:平装 丛书名: 高等院校计算机专业及专业基础课系列教材 开本:16开 出版时间:2011-08-01 页数:256 正文语种:中文
《可计算性与计算复杂性导引(第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 中英文名词索引
参考文献
可计算性与计算复杂性导引(第3版) 电子书 下载 mobi epub pdf txt
可计算性与计算复杂性导引(第3版)-so88
可计算性与计算复杂性导引(第3版) pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
张立昴 著
出版社: 北京大学出版社 ISBN:9787301177686 版次:3 商品编码:10831743 包装:平装 丛书名: 高等院校计算机专业及专业基础课系列教材 开本:16开 出版时间:2011-08-01 页数:256 正文语种:中文
内容简介
《可计算性与计算复杂性导引(第3版)》是学习计算理论的教材和参考书,内容包括三部分:可计算性、形式语言与自动机、计算复杂性.主要介绍几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念,形式语言及其对应的自动机模型,时间和空间复杂性,np完全性等.《可计算性与计算复杂性导引(第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 中英文名词索引
参考文献
前言/序言
可计算性与计算复杂性导引(第3版) 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 远离疼痛!缓解疼痛的科学 9787030401694 下地恒毅-RT
- 为什么我们的孩子变成了小皇帝 高菲 9787538445589
- 动物世界-小宝贝学画画-2岁+蒙纸画
- 正版 奶蜜盐 家庭教育第*定律 张文质著 窦桂梅闫学等118位教育专家联袂推荐 重大发现孩子成长卵黄
- 走近科学--功夫动物1-1
- o1钢琴简谱流行曲双手 初学入门零基础钢琴曲谱教材 钢琴经典通俗名曲100首简谱版 经典钢
- 空想科学理科读本
- 正版 中国音协二胡(业余)考级曲目精选(混编)1-10级(套装共3册) 中国青年出版
- {RT}VEX EDR机器人创客教程-覃祖军 机械工业出版社 9787111577553
- 管弦乐配器法(修订版)
- 恐龙问答
- 走对小学的每一步 清华附小YX班主任告诉你引导孩子真正地读书与学习 帮孩子找到自己的位置 学习方法技
- 大脑赋能术
- 上海工部局乐队研究
- BF-一本漫画读懂气候变化-超经典创意卡通版-格雷迪克莱恩(Grady klein) 尤伦