扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
(精)BBC地球故事系列-星际旅行
-
>
从一到无穷大
-
>
图说相对论(32开平装)
-
>
一本有趣又有料的化学书
-
>
刘薰宇的数学三书:原来数学可以这样学全3册
-
>
光学零件制造工艺学
面向计算机科学的数理逻辑系统建模与推理 版权信息
- ISBN:9787111213970
- 条形码:9787111213970 ; 978-7-111-21397-0
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 所属分类:>>
面向计算机科学的数理逻辑系统建模与推理 内容简介
简介 本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、lowenheim-skolem定理等,并介绍了alloy语言和nusmv工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材,也可供相关研究人员和专业人士参考。
面向计算机科学的数理逻辑系统建模与推理 目录
出版者的话专家指导委员会译者序第1版序第2版前言第1章 命题逻辑
展开全部
面向计算机科学的数理逻辑系统建模与推理 节选
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材,也可供相关研究人员和专业人士参考。
书友推荐
- >
烟与镜
烟与镜
¥25.1¥48.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
随园食单
随园食单
¥20.6¥48.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
中国历史的瞬间
中国历史的瞬间
¥12.5¥38.0 - >
二体千字文
二体千字文
¥16.0¥40.0 - >
自卑与超越
自卑与超越
¥13.5¥39.8 - >
巴金-再思录
巴金-再思录
¥33.1¥46.0
本类畅销
-
高等数学: 多元微积分学
¥8.8¥35 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158 -
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过?
¥42.3¥158