版权信息
书 名: 面向计算机科学的数理逻辑：系统建模与推理
作者：(德)哈斯瑞安
出版社：机械工业出版社
出版时间： 2007
ISBN: 9787111213970
定价: 39.00 元
内容简介本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。
本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
目录出版者的话
专家指导委员会
译者序
第1版序
第2版前言
第1章命题逻辑
……