同类推荐
-
-
全国大学生数学建模竞赛试题研究:第4册
-
¥78.00
-
-
数学模型与实验
-
¥42.10
-
-
数学建模应用及探究
-
¥69.80
-
-
数学建模应用及探究
-
¥69.80
-
-
数学建模应用及探究
-
¥69.80
-
-
数学证明 : 通往高等数学的阶梯 : 第4版 : 影印…
-
¥100.00
-
-
无处不在的算法:双色版
-
¥89.00
-
-
无处不在的算法:双色版
-
¥89.00
-
-
无处不在的算法:双色版
-
¥89.00
-
-
巧用ChatGPT进行数学建模
-
¥69.00
|
|
图书信息
|
|
|
|
面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems
|
| ISBN： | 9787111770688 |
定价： | ￥99.00 |
| 作者： | (德)迈克尔·休斯(Michael Huth)，(英)马克·莱恩(Mark Ryan)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2025年02月 |
开本： | 26cm |
| 页数： | 277页 |
中图法： | O141 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
43
|
库区13/库区4/库区7/样本13/样本4
|
2025-09-08
|
|
其它供货商库存合计
|
447
|
|
2025-09-08
|
图书简介 | | 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具等内容。 |
|