借阅：12人
收藏：0人
面向计算机科学的数理逻辑
- 查看机读格式
Logic in computer science : modelling and reasoning about systems :系统建模与推理 :原书第2版 /(德) Michael Huth, (英) Mark Ryan著 ;何伟, 樊磊译
ISBN/ISSN：978-7-111-21397-0
价格：CNY39.00
出版：北京 :机械工业出版社 ,2007
载体形态：xii, 277页 :图 ;26cm
丛编：计算机科学丛书
简介：本书主要内容包括: 命题逻辑; 谓词逻辑; 通过模型检测进行验证; 程序验证; 模态逻辑与代理; 二叉判定图等几部分。
附注：计算机学习者
统一题名：Logic in computer science:modelling and reasoning about systems
其他题名：系统建模与推理
中图分类号：O141
责任者：胡特 ((Huth, Michael)) 著 瑞安 ((Ryan, Mark)) 著 何伟 译 樊磊 译
-
评分：
-
加入暂存架
豆瓣内容简介：
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。
本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
豆瓣作者简介：
