面向计算机科学的数理逻辑系统建模与推理pdf下载pdf下载

面向计算机科学的数理逻辑系统建模与推理百度网盘pdf下载

作者:
简介:本篇主要提供面向计算机科学的数理逻辑系统建模与推理pdf下载
出版社：互动出版网图书专营店
出版时间：
pdf下载价格：0.00￥

免费下载

前去下载

书籍下载

下载地址

内容介绍

 书[0名0]：  [mian]向计算[1机1]科[0学0]的数理逻辑系统建模与推理（原书[0第0]2版）|8071840
 图书定价：  79元
 图书作者：  德 Michael Huth 何伟译
 出版社：  [1机1]械工业出版社
 出版日期：  2020-09-01 0:00:00
 ISBN号：  9787111213970
 开本：  16开
 页数：  0
 版次：  2
 内容简介
本书对计算[1机1]科[0学0]方[mian]的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书[1主1]要讨论有关软硬[亻牛]规范和验证这一[1主1]题，反映了计算[1机1]科[0学0]中数理逻辑的[亲斤]发展和实际需要。[0第0]2版[亲斤]增了可满足性算[0法0]、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。本书适宜作为高等院校计算[1机1]及相关专业的数理逻辑/形式化方[0法0]课程的教材，也可供相关研究人员和专业人士参考。
 目录

出版者的话
专家指导委员[0会0]
译者序
[0第0]1版序
[0第0]2版前言
[0第0]1章 命题逻辑
1.1 判断语句
1.2 自然演绎
1.3 作为形式语言的命题逻辑
1.4 命题逻辑的语义
1.5 范式
1.6 SAT求解[1机1]
1.7 习题
1.8 文献注释
[0第0]2章 谓词逻辑
2.1 我们需要更丰富的语言
2.2 作为形式语言的谓词逻辑
2.3 谓词逻辑的证明论
2.4 谓词逻辑的语义
2.5 谓词逻辑的不可判定性
2.6 谓词逻辑的表达能力
2.7 软[亻牛]的微观模型
2.8 习题
2.9 文献注释
[0第0]3章 通过模型检测进行验证
3.1 验证的动[1机1]
3.2 线性时态逻辑
3.3 模型检测：系统、工具和性质
3.4 分支时间逻辑
......
[0第0]4章 程序验证
[0第0]5章 模态逻辑与代理
[0第0]6章 二叉判定图
参考文献