扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
形式化方法:理论及应用 版权信息
- ISBN：9787312058752
- 条形码：9787312058752 ; 978-7-312-05875-2
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
形式化方法:理论及应用 本书特色
全面讲授形式化方法理论及应用，从基础知识出发，讨论了数理逻辑、可满足性、决策过程以及理论应用等内容，并给出了丰富的实例。
形式化方法:理论及应用 内容简介
形式化方法是计算机科学理论中历史悠久、理论性强、发展成熟的学科，已发展成为计算机 科学的重要分支之一。形式化方法主要用数学的理论和工具，对计算机软硬件系统进行形式建模和性质推理研究，以期证明系统的实现正确性，或提高系统的可靠性和健壮性等。本书全面讲授形式化方法理论及应用，从基础知识出发，讨论了数理逻辑、可满足性、决策过程以及理论应用等内容，并给出了丰富的实例。全书共分为 13 章，分别讨论了理论基础、命题逻辑、布尔可满足性、谓词逻辑、可满足性模理 论、数据结构的判定、符号执行、程序验证、程序合成、Curry-Howard同构、依赖类型等内容，并给出了充分的实践讨论与应用实例。
形式化方法:理论及应用 目录
前言
第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 决议与传播
3.4 DPLL算法
3.5 实现
第4章 谓词逻辑
4.1 命题的内部结构
4.2 语法
4.3 证明系统
4.4 语义系统
4.5 可靠性和完备性
4.6 可判定性
4.7 实现
第5章 等式与未解释函数理论
5.1 可满足性模理论
5.2 等式与未解释函数理论
5.3 基本性质
5.4 判定算法
5.5 实现
5.6 应用
第6章 线性算术理论
6.1 语法
6.2 高斯消元
6.3 傅里叶-莫茨金消元
6.4 单纯形法
6.5 分支定界法
6.6 减法逻辑
6.7 实现
6.8 应用
第7章 数据结构理论
7.1 位向量
7.2 数组
7.3 指针
展开全部
形式化方法:理论及应用 作者简介
华保健，中国科学技术大学软件学院讲师，主要从事软件安全、程序语言与编译器等研究。获中国计算机学会犀牛鸟研究奖、中国科技大学专业研究生教育优选个人奖等奖项。主编《深入浅出Java虚拟机设计与实现》等著作，发表论文10余篇。
书友推荐
- >
有舍有得是人生
有舍有得是人生
¥20.1¥45.0 - >
巴金－再思录
巴金－再思录
¥14.7¥46.0 - >
姑妈的宝刀
姑妈的宝刀
¥9.0¥30.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
山海经
山海经
¥20.4¥68.0 - >
史学评论
史学评论
¥13.4¥42.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥15.9¥49.8
本类畅销
-
Photoshop 2022中文版案例教程
¥44.1¥59.8 -
局域网组建、管理与维护(第4版)(微课版)
¥47¥59 -
园林AUTOCAD教程
¥24¥45 -
Python实战编程:从零学Python
¥81¥108 -
Java程序设计基础
¥37¥50 -
数据备份与恢复
¥51.4¥69
