书名：面向计算机科学的数理逻辑系统建模与推理(原书第2版)

作者:(德) 哈斯瑞安译者: 何伟樊磊

丛书：图灵计算机科学丛书
ISBN：9787111213970
出版时间：1
出版社：机械工业
市场价：￥39.00

内容介绍：

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。
本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。

作者简介：

数据加载中...

图书目录：

数据加载中...

网友书评：

暂无评论，您是否读过此书？发布评论，成为第一个评论此书的人

你的昵称：
*

分类...

图书>自然科学>数学>高等数学

你也许会喜欢...

面向计算机科学的数理逻辑系统建模与推理(英文版第2版)/经典原版书库
作者:(英国) 胡思等著
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着…

数据库系统概念(原书第5版)/计算机科学丛书(计算机科学丛书)
作者:(美) 西尔伯沙茨 …
本书是数据库系统方面的经典教材之一。国际上许多著名大学包括斯坦福大学、耶鲁大学、得…

实时系统与编程语言(原书第3版)/计算机科学丛书
作者:(英) 波恩斯 (英) 威林…
本书在国际上是一本实时系统方面的畅销教材。全面论述实时系统、嵌入式系统和分布式系统…

C程序设计语言<第2版新版>习题解答(原书第2版)/计算机科学丛书(计算机科学丛书)
作者:(美) 汤朵等译者…
本书是对Brian W．Kernighan和Dennis M．Ritchie所著的《C程序设计语言(第2版·新版)》…

算法导论（原书第2版）(计算机科学丛书)

并行计算导论(原书第2版)/计算机科学丛书

计算机系统概论(原书第2版)/计算机科学丛书

计算机网络(原书第2版)/计算机科学丛书

数据通信与网络(原书第3版)/计算机科学丛书

计算机网络与因特网教程(原书第5版)/计算机科学丛书

更多《面向计算机科学的数理逻辑系统建模与推理(原书第2版)》相关书籍