面向计算机科学的数理逻辑

定　　价：99 元

• 作者：(德)迈克尔·休斯(MichaelHuth)，(英)马克·莱恩(MarkRyan)著
• 出版时间：2024/11/1
• ISBN：9787111770688
• 出 版 社：机械工业出版社

• 中图法分类：O141 
• 页码：390页
• 版次：1
• 开本：26cm

内容简介

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