【假一罚四】计算理论

全新正版书籍，假一罚四，放心选购。可开发票，24小时内发货。

39 5.7折 69 全新

库存72件

浙江嘉兴

认证卖家担保交易快速发货售后保障

作者成科扬, 周从华, 李茂贞编著

出版社江苏大学出版社

ISBN9787568419550

出版时间2024-01

装帧平装

开本其他

定价69元

货号4645333

上书时间2024-12-23

已实名已认证进店收藏店铺

商品描述: 目录
本书主要包括算法学、计算复杂性理论、可计算性理论、自动机理论和形式语言理论等。本书将它们分为六大部分, 并结合大量的图例、公式以及代码, 带领读者由浅入深地了解计算理论, 并在每一章节的最后设置相当数量的习题帮助读者巩固所学知识。除此之外, 本书还包含算法分析和系统建模与推理两部分内容, 将其作为计算理论知识的应用, 帮助读者更好地理解和运用所学计算理论基本原理。

内容摘要
全书分为计算理论基础知识、算法设计与分析、系统建模与推理三部分。其中，计算理论基础知识包含了四个模块，分别是预备知识、自动机与语言、可计算性理论和计算复杂性理论，该部分又针对每一个知识模块细分了章节，由浅入深。在算法设计与分析部分，划分了五个章节，分别是分治策略、动态规划、贪心算法、下界和回溯法。在系统建模与推理中，重点划分出基于模型的验证一章，主要介绍基于有穷状态机的系统属性验证方法。本书可作为1～2个学期的计算理论导论课程教材，适用于数学、计算机科学、信息安全、物联网工程等各个专业的本科生、研究生（含留学生）学习。

— 没有更多了 —