📖 书目详情
面向计算机科学的数理逻辑—系统建模与推理:
| 著者 | (德) 迈克尔·休斯, (英) 马克·莱恩著 |
| ISBN | 9787111770688 |
| 中图分类 | O141 数学 |
| 学科分类 | 理学 |
| 版次 | 第1版 |
| 出版社 | 机械工业出版社 |
| 丛书名 | 计算机科学丛书 |
| 出版年 | 2025 |
| 页码 | 277页 |
| 价格 | ¥99.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
8.3/10
|
📝 内容简介
本书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容主要特色就是紧紧围绕软硬件规约和验证这一主题, 反映计算机科学中数理逻辑的发展和实际需要第2版新增了可满足性 (SAT 算法、紧致性理论和I?wenheimSkolem定理, 并介绍了Alloyy语言和NuSMV工具。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购