ABOUT THE BOOK
内容简介
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
READING NOTES
《面向计算机科学的数理逻辑系统建模与推理》读书笔记与读后感
相关文章正在整理中
本页已收录书籍信息与正版资源获取说明，读书笔记和读后感会持续更新。
PDF · E-BOOK · DOWNLOAD
《面向计算机科学的数理逻辑系统建模与推理》PDF、电子书与下载说明
本站专注于《面向计算机科学的数理逻辑系统建模与推理》的读书笔记和读后感，不提供未经授权的 PDF 或电子书文件下载。建议通过出版社官网、正规数字书店或所在地公共图书馆检索正版电子书；获取前请核对作者、出版社与版本信息。
- 优先选择出版社或正规阅读平台
- 通过公共图书馆查询纸书及数字馆藏
- 谨慎识别来源不明的网盘和下载链接
获取更多资讯请关注《百智汇社》公众号，回复“bk156916”获取。微信扫码关注，获取更多阅读与书籍资讯
