书籍详情
![《面向计算机科学的数理逻辑系统建模与推理》[48M]百度网盘|亲测有效|pdf下载](/uploads/s0309/06725297d321fce0.jpg)
面向计算机科学的数理逻辑系统建模与推理
- 出版社:互动出版网图书专营店
- 热度:7826
- 上架时间:2024-06-30 09:08:33
- 价格:0.0
书籍下载
书籍预览
免责声明
本站支持尊重有效期内的版权/著作权,所有的资源均来自于互联网网友分享或网盘资源，一旦发现资源涉及侵权，将立即删除。希望所有用户一同监督并反馈问题，如有侵权请联系站长或发送邮件到ebook666@outlook.com,本站将立马改正
内容介绍
| 书[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章 二叉判定图 参考文献 |