计算理论
全新正版书籍，多仓就近发货，节假日正常发出，具体可私信客服咨询。
￥ 44.22 6.4折 ￥ 69 全新
库存4件
广东东莞
认证卖家担保交易快速发货售后保障
作者成科扬, 周从华, 李茂贞, 编著
出版社江苏大学
ISBN9787568419550
出版时间2024-01
装帧其他
开本其他
定价69元
货号32129185
上书时间2024-11-01
- 在售商品 暂无
- 平均发货时间 16小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 商品描述
-
目录
第I部分 预备知识
第1章 集合、关系、语言
1.1 集合
1.2 关系与函数
1.3 特殊类型的二元关系
1.4 有穷集合与无穷集合
1.5 三个基本原理
1.6 语言的有穷表示
习题1
第Ⅱ部分 自动机与语言
第2章 有穷自动机
2.1 确定型有穷自动机
2.2 非确定型有穷自动机
2.3 有穷自动机与正则表达式
2.4 正则语言与非正则语言
2.5 状态最小化
2.6 有穷自动机的算法
习题2
第3章 上下文无关语言
3.1 上下文无关文法（CFG）
3.2 语法分析树
3.3 下推自动机（PDA）
3.4 上下文无关文法与下推自动机
3.5 上下文无关语言与非上下文无关语言
习题3
第Ⅲ部分 可计算性理论
第4章 图灵机
4.1 图灵机（TM）定义
4.2 丘奇一图灵论题
4.3 图灵机的变形
4.4 用图灵机进行计算
4.5 算法的定义
习题4
第5章 可判定性
5.1 可判定性语言
5.2 停机问题
习题5
第6章 不可判定性
6.1 语言理论中的不可判定问题
6.2 与文法有关的不可判定问题
6.3 不可判定的铺砖问题
6.4 映射可归约性的形式定义
习题6
第Ⅳ部分 计算复杂性理论
第7章 时间复杂性
7.1 度量复杂性
7.2 P类
7.3 NP类
7.4 NP完全性
7.5 典型的NP完全问题
内容摘要
全书分为计算理论基础知识、算法设计与分析、系统建模与推理三部分。其中，计算理论基础知识包含了四个模块，分别是预备知识、自动机与语言、可计算性理论和计算复杂性理论，该部分又针对每一个知识模块细分了章节，由浅入深。在算法设计与分析部分，划分了五个章节，分别是分治策略、动态规划、贪心算法、下界和回溯法。在系统建模与推理中，重点划分出基于模型的验证一章，主要介绍基于有穷状态机的系统属性验证方法。本书可作为1～2个学期的计算理论导论课程教材，适用于数学、计算机科学、信息安全、物联网工程等各个专业的本科生、研究生（含留学生）学习。
— 没有更多了 —
以下为对购买帮助不大的评价