《面向计算机科学的数理逻辑系统建模与推理》
面向计算机科学的数理逻辑系统建模与推理txt，chm，pdf，epub，mobi下载作者: 哈斯
出版社: 机械工业
出版年: 2007-7
页数: 277
定价: 39.00元
丛书: 计算机科学丛书
ISBN: 9787111213970
内容简介 · · · · · ·
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。
本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
下一篇：《数学天才的时代》
相关文章
- 6条评论
mason石匠2024-06-13 09:50:38- 谢谢分享
fail失败2024-06-09 03:42:12- 谢谢分享
brandon剑2024-06-06 06:47:56- 不错不错感谢
resign认命2024-06-21 13:57:50- 不错不错感谢
caleb2024-06-04 05:24:50- 谢谢分享
tyler制砖瓦的人2024-06-21 08:56:38- 不错不错感谢
