面向计算机科学的数理逻辑系统建模与推理 豆 7.3分

资源最后更新于 2020-11-09 20:37:47

作者：哈斯

出版社：机械工业

出版日期：2007-01

ISBN：9787111213970

文件格式： pdf

标签： 数理逻辑 计算机科学 计算机 逻辑 数学 逻辑学 推理 模型检测

简介· · · · · ·

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。

本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。