面向计算机科学的数理逻辑-O 数理科学和化学-安徽瀚文图书有限责任公司

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

ISBN：9787111770688

价格：99

副题名：

分辑号：

分辑名：

主要著作者：(德)迈克尔·休斯(MichaelHuth),(英)马克·莱恩(MarkRyan)著

发行地：北京

出版社：机械工业出版社

出版日期：2024.11

页码：

开本：23cm

丛书项：计算机科学丛书

一般性附注：

读者对象：

主题词：数理逻辑

中图法分类：O141

装帧：

版次：

图表：

语种：chi

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

关于我们

安徽瀚文图书有限责任公司成立于2006年，经安徽省工商部门注册登记，拥有国家新闻出版单位颁发的图书二级批发资质。集学校图书馆装备、高校教材订购、图书馆自动化管理系统安装、维护、图书防盗系统配备、图书编目服务、电子图书馆、校园一卡通建设一体的文化教育服务企业。

推购系统

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

关于我们

推购系统

联系我们