点此购买报价￥31.10
目录：图书,计算机与互联网,计算机科学,计算机数学,数学模型,
品牌：哈斯
基本信息
·出版社：机械工业
·页码：277 页码
·出版日：2007年
·ISBN：7111213971
·条码：9787111213970
·版次：1
·装帧：平装
·开本：0开 0开
内容简介
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。
本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
目录
出版者的话
专家指导委员会
译者序
第1版序
第2版前言
第1章 命题逻辑
……[看更多目录]
点此购买报价￥31.10
