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