西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

面向计算机科学的数理逻辑:系统建模与推理/(德) 迈克尔·休斯(Michael Huth), (英) 马克·莱恩(Mark Ryan)著 何伟, 樊磊译

出版发行项:

北京:机械工业出版社,2025

ISBN及定价:

978-7-111-77068-8/CNY99.00

载体形态项:

277页:图;26cm

并列正题名:

Logic in computer science:modelling and reasoning about systems Second Editio

其它题名:

系统建模与推理

个人责任者:

胡特, (Huth, Michael) 著

个人责任者:

瑞安, (Ryan, Mark) 著

个人次要责任者:

何伟 译

个人次要责任者:

樊磊 译

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

O141

一般附注:

CMP BOOKS

版本附注:

据原书第2版译出

出版发行附注:

本书原版由剑桥大学出版社出版 本书简体字中文版由剑桥大学出版社与机械工业出版社合作出版

责任者附注:

责任者Huth规范汉译姓: 胡特 ; 责任者Ryan规范汉译姓: 瑞安

书目附注:

有书目 (第275-277页)

提要文摘附注:

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具等内容。

豆瓣简介：