大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 面向计算机科学的数理逻辑 : 系统建模与推理 : modelling and reasoning about systems
名称 面向计算机科学的数理逻辑 : 系统建模与推理 : modelling and reasoning about systems
索引号 O141/20081
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 胡特、瑞安、何伟、樊磊、
出版社 北京 : 机械工业出版社, 2007
ISBN 978-7-111-21397-0
页数 277页 : 图 ; 26cm
价格 CNY39.00
标签 数理逻辑、计算机科学、计算机、数学、逻辑、逻辑学、机器学习、数学基础、
简介
注解 据原书2004年英文版第2版译出 由英国剑桥大学出版社授权机械工业出版社出版 责任者Huth规范汉译姓：胡特 有书目 (第275-277页) 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、LOwenheim-Skolem定理等，并介绍了AHoy语言和NuSMV工具等内容。
书籍简介

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。
本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。