点此购买报价￥31.10

目录：图书,计算机与互联网,计算机科学,计算机数学,数学模型,

品牌：哈斯

基本信息

·出版社：机械工业

·页码：277 页码

·出版日：2007年

·ISBN：7111213971

·条码：9787111213970

·版次：1

·装帧：平装

·开本：0开 0开

内容简介

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。

本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。

目录

出版者的话

专家指导委员会

译者序

第1版序

第2版前言

第1章 命题逻辑

……[看更多目录]

点此购买报价￥31.10

 

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。