形式化方法:理论及应用:theory and applications
正版保障 假一赔十 可开发票
￥ 46.82 6.2折 ￥ 76 全新
仅1件
广东广州
认证卖家担保交易快速发货售后保障
作者华保健 著
出版社中国科学技术大学出版社
ISBN9787312058752
出版时间2024-05
装帧平装
开本16开
定价76元
货号17263693
上书时间2024-11-18
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
华保健，中国科学技术大学软件学院讲师，主要从事软件安全、程序语言与编译器等研究。获中国计算机学会犀牛鸟研究奖、中国科技大学专业研究生教育先进个人奖等奖项。主编《深入浅出Java虚拟机设计与实现》等著作，发表论文10余篇。
目录
前言
第1章基础知识
1.1集合
1.2关系与映射
1.3上下文无关文法
1.4归纳法
1.5归纳定义
1.6实现
第2章命题逻辑
2.1语法
2.2证明系统
2.3构造逻辑
2.4语义系统
2.5可靠性和完备性定理
2.6可判定性
2.7命题逻辑的实现
第3章布尔可满足性
3.1布尔可满足性
3.2合取范式
3.3决议与传播
……
内容摘要
形式化方法是计算机科学理论中历史悠久、理论性强、发展成熟的学科，已发展成为计算机 科学的重要分支之一。形式化方法主要用数学的理论和工具，对计算机软硬件系统进行形式建模和性质推理研究，以期证明系统的实现正确性，或提高系统的可靠性和健壮性等。本书全面讲授形式化方法理论及应用，从基础知识出发，讨论了数理逻辑、可满足性、决策过程以及理论应用等内容，并给出了丰富的实例。全书共分为 13 章，分别讨论了理论基础、命题逻辑、布尔可满足性、谓词逻辑、可满足性模理 论、数据结构的判定、符号执行、程序验证、程序合成、Curry-Howard同构、依赖类型等内容，并给出了充分的实践讨论与应用实例。
主编推荐
全面讲授形式化方法理论及应用，从基础知识出发，讨论了数理逻辑、可满足性、决策过程以及理论应用等内容，并给出了丰富的实例。
精彩内容
形式化方法是计算机科学理论中历史悠久、理论性强、发展成熟的学科，已发展成为计算机 科学的重要分支之一。形式化方法主要用数学的理论和工具，对计算机软硬件系统进行形式建模和性质推理研究，以期证明系统的实现正确性，或提高系统的可靠性和健壮性等。本书全面讲授形式化方法理论及应用，从基础知识出发，讨论了数理逻辑、可满足性、决策过程以及理论应用等内容，并给出了丰富的实例。全书共分为 13 章，分别讨论了理论基础、命题逻辑、布尔可满足性、谓词逻辑、可满足性模理 论、数据结构的判定、符号执行、程序验证、程序合成、Curry-Howard同构、依赖类型等内容，并给出了充分的实践讨论与应用实例。
— 没有更多了 —
以下为对购买帮助不大的评价