书堆儿你看书我买单
凤翔区图书馆开通在线免押金办证了
热门搜索： 旅游 、 孤独六讲 、 胜者思维 、 儿童 、 家庭 、 杨红樱 、 团队 、 欢乐颂
书堆儿服务号
书堆儿App
我的书架

面向计算机科学的数理逻辑

作者:(德)迈克尔・休斯(MichaelHuth)，(英)马克・莱恩(MarkRyan)著出版时间：2024/11/1出版社：机械工业出版社
ISBN:9787111770688价格:￥99
  分享至
借阅 加入书架 借阅规则
内容简介
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具等内容。
作者简介
暂无
精彩书评
暂无
目录
暂无
书摘
暂无
精彩图书推荐