|
题名:
|
面向计算机科学的数理逻辑 / (德) 迈克尔·休斯, (英) 马克·莱恩著 , 何伟, 樊磊译 |
|
ISBN:
|
978-7-111-77068-8 价格： CNY99.00 |
|
语种:
|
chi |
|
载体形态:
|
277页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2025 |
|
内容提要:
|
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具等内容。 |
|
主题词:
|
数理逻辑 高等学校 |
|
中图分类法:
|
O141 版次： 5 |
|
其它题名:
|
系统建模与推理 |
|
主要责任者:
|
胡特, 著 |
|
主要责任者:
|
瑞安, 著 |
|
次要责任者:
|
何伟 译 |
|
次要责任者:
|
樊磊 译 |
|
附注:
|
CMP BOOKS |
|
责任者附注:
|
责任者Huth规范汉译姓: 胡特 ; 责任者Ryan规范汉译姓: 瑞安 |