同类推荐
-
-
何以为证:the uncertain science …
-
¥69.00
-
-
零基础数学建模
-
¥49.80
-
-
数学建模:基于北太天元与AI的竞赛应用
-
¥49.80
-
-
数理思维创中学
-
¥24.90
-
-
元数学基础:第三卷:CFZFC概念文字
-
¥168.00
-
-
元数学基础:第一卷:初始基本法则与有限性
-
¥238.00
-
-
元数学基础:第二卷:基本实在无穷
-
¥198.00
-
-
元数学基础:第二卷:基本实在无穷
-
¥198.00
-
-
元数学基础:第二卷:基本实在无穷
-
¥198.00
-
-
数学建模实用教程
-
¥56.00
|
|
图书信息
|
|
|
|
面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems
|
| ISBN： | 9787111770688 |
定价： | ￥99.00 |
| 作者： | (德)迈克尔·休斯(Michael Huth)，(英)马克·莱恩(Mark Ryan)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2025年02月 |
开本： | 26cm |
| 页数： | 277页 |
装祯： | 平装 |
中图法： | O141 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
87
|
库区13/库区4/库区7/样本13/样本4
|
2026-03-20
|
|
其它供货商库存合计
|
107
|
|
2026-03-20
|
图书简介 | | 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具等内容。 |
|