计算理论(双语版)
全新正版 极速发货
￥ 50.85 7.4折 ￥ 69 全新
库存10件
广东广州
认证卖家担保交易快速发货售后保障
作者成科扬,周从华,李茂贞 编
出版社江苏大学出版社
ISBN9787568419550
出版时间2024-01
装帧平装
开本16开
定价69元
货号1203345084
上书时间2024-11-24
商品详情
- 品相描述：全新
- 商品描述
-
目录
第Ⅰ部分 预备知识
第1章 集合、关系语言
1.1集合001
1.2关系与函数005
1.3特殊类型的二元关系010
1.4有穷集合与无穷集合016
1.5三个基本原理019
1.6语言的有穷表示025
习题1032
第Ⅱ部分 自动机与语言
第2章 有穷自动机
2.1确定型有穷自动机037
2.2非确定型有穷自动机042
2.3有穷自动机与正则表达式044
2.4正则语言与非正则语言048
2.5状态最小化052
2.6有穷自动机的算法054
习题2058
第3章 上下文无关语言
3.1上下文无关文法(CFG)061
3.2语法分析树062
3.3下推自动机(PDA)067
3.4上下文无关文法与下推自动机068
3.5上下文无关语言与非上下文无关语言069
习题3072
……
内容摘要
全书分为计算理论基础知识、算法设计与分析、系统建模与推理三部分。其中，计算理论基础知识包含了四个模块，分别是预备知识、自动机与语言、可计算性理论和计算复杂性理论，该部分又针对每一个知识模块细分了章节，由浅入深。在算法设计与分析部分，划分了五个章节，分别是分治策略、动态规划、贪心算法、下界和回溯法。在系统建模与推理中，重点划分出基于模型的验证一章，主要介绍基于有穷状态机的系统属性验证方法。本书可作为1～2个学期的计算理论导论课程教材，适用于数学、计算机科学、信息安全、物联网工程等各个专业的本科生、研究生（含留学生）学习。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价