扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
JAVA持续交付
-
>
EXCEL最强教科书(完全版)(全彩印刷)
-
>
深度学习
形式化方法:理论及应用 版权信息
- 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余篇。
书友推荐
- >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥15.7¥45.8 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥32.9¥58.0 - >
朝闻道
朝闻道
¥14.8¥23.8 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.7¥19.0 - >
回忆爱玛侬
回忆爱玛侬
¥24.0¥32.8 - >
月亮虎
月亮虎
¥15.4¥48.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥21.6¥48.0
本类畅销
-
大数据技术导论(第2版)
¥28.9¥41 -
计算机组成原理实验指导与习题解析
¥34.8¥52 -
数据结构教程(第6版·微课视频·题库版)
¥45.9¥65 -
MATLAB基础及应用
¥30.9¥49.8 -
DREAMWEAVER网页设计制作项目教程
¥21.3¥39 -
C#程序设计
¥20.6¥45.6
浏览历史
机械工程实验综合教程
¥23.0¥32.0Python机器学习的数学
¥69.7¥109.0普适同步控制理论
¥55.0¥75.0汉画总录(51沛县)(精)
¥307.2¥480.0电磁场数值计算及基于FREEFEM的编程实现
¥55.5¥79.0
