扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
气候文明史
-
>
南极100天
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
声音简史
面向计算机科学的数理逻辑系统建模与推理 版权信息
- ISBN：9787111213970
- 条形码：9787111213970 ; 978-7-111-21397-0
- 装帧：暂无
- 册数：暂无
- 重量：暂无
- 所属分类：>>
面向计算机科学的数理逻辑系统建模与推理 内容简介
简介 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、lowenheim-skolem定理等，并介绍了alloy语言和nusmv工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
面向计算机科学的数理逻辑系统建模与推理 目录
出版者的话专家指导委员会译者序第1版序第2版前言第1章 命题逻辑
展开全部
面向计算机科学的数理逻辑系统建模与推理 节选
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
书友推荐
- >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.1¥16.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥16.9¥49.8 - >
有舍有得是人生
有舍有得是人生
¥25.7¥45.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥32.9¥58.0 - >
经典常谈
经典常谈
¥16.7¥39.8 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥14.5¥39.8 - >
二体千字文
二体千字文
¥14.0¥40.0
本类畅销
-
高等数学基础理论解析及其应用研究
¥29.5¥89 -
不良情绪应急处理包--孤独感
¥12.9¥30 -
不良情绪应急处理包--精神内耗
¥12.9¥30 -
孩子、家庭和外部世界
¥17.8¥56 -
北魏政治史(二)
¥26.2¥70 -
北魏政治史(四)
¥24.4¥65
浏览历史
形式主义官僚主义面面观
¥32.2¥48.0医学纂要(上、下)【中医经典古籍集成(影印本)】
¥83.7¥239.0软件工程(原书第8版)
¥35.8¥55.0宋代官箴书五种
¥26.2¥36.0生物质生物转换技术
¥71.5¥98.0
