潍坊科技学院图书馆书目检索系统

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

其它题名:

系统建模与推理

丛编项:

计算机科学丛书

个人责任者:

休斯 (Huth, Michael) 著

个人责任者:

莱恩 (Ryan, Mark) 著

个人次要责任者:

何伟 译

个人次要责任者:

樊磊 译

学科主题:

数理逻辑-高等学校

中图法分类号:

O141

版本附注:

据原书第2版译出

出版发行附注:

由剑桥大学出版社与机械工业出版社合作出版

责任者附注:

迈克尔·休斯 (Michael Huth), 现任纽伦堡科技大学 (UTN) 创始校长。在加入UTN之前, 休斯教授曾在伦敦帝国理工学院工作, 历任计算机科学教授、计算机系主任, 并将继续担任客座教授。在研究和教学方面, 他目前的研究重点是人工智能和网络安全领域的前瞻性课题。马克·莱恩 (Mark Ryan), 伯明翰大学计算机科学学院计算机安全教授, 也是伯明翰大学安全与隐私中心的负责人。他的主要研究方向包括机器学习的安全性、应用密码学和安全协议、安全系统分析、隐私计算等。

书目附注:

有书目 (第275-277页)

提要文摘附注:

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

豆瓣简介：