当前位置:首页 > 数理化
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systemsPDF电子书下载

数理化

  • 电子书积分:11 积分如何计算积分?
  • 作 者:(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译
  • 出 版 社:北京:机械工业出版社
  • 出版年份:2007
  • ISBN:7111213971
  • 页数:277 页
图书介绍:本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材。
《面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems》目录
相关图书
作者其它书籍
返回顶部