网站首页
交通运输
军事
农业科学
医药卫生
历史地理
哲学宗教
天文地球
工业技术
政治法律
数理化
文化科学教育体育
文学
环境安全
生物
社会科学
经济
自然科学
航空航天
艺术
语言文字
马列毛邓
综合图书
其他书籍
外文
《面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems》PDF下载
购买积分:11
如何计算积分?
作 者:(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译
出 版 社:北京:机械工业出版社
出版年份:2007
ISBN:7111213971
页数:277 页
图书介绍:本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材。
点击购买此书全本PDF电子书
暂无PDF目录预览