面向计算机科学的数理逻辑系统建模与推理读书介绍

类别	页数	译者	网友评分	年代	出版社
书籍	277页		7.1	2020	机械工业

定价	出版日期	最近访问	访问指数
39.00元	2020-02-20 …	2020-05-23 …	11

主题/类型/题材/标签

数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测,

作者

哈斯 ISBN:9787111213970 原作名/别名:《》

内容和作者简介

面向计算机科学的数理逻辑系统建模与推理摘要

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

本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。

作者简介

本书后续版本

未发行或暂未收录

喜欢读〖面向计算机科学的数理逻辑系统建模与推理〗的人也喜欢：

面向模式的软件架构卷4：分布式计算的模式语言软件架构,架构,分布式,设计模式,计算机,模式,软件开发,程序设计,　2020-02-20 …

面向模式的软件体系结构卷2:用于并发和网络化对象的模式架构,设计模式,架构设计,软件架构,模式,计算机,并发,软件工程,　2020-02-20 …

面向模式的软件体系结构(卷1) (平装) 架构,设计模式,软件体系结构,软件架构,软件工程,模式,计算机,编程,　2020-02-20 …

面向模式的软件架构卷5 软件架构,架构,计算机,软件工程,模式,设计模式,程序设计,软件开发,　2020-02-20 …

面向模式的软件体系结构卷3 架构,软件设计,设计模式,软件架构,计算机,模式,POSA,架构设计,　2020-02-20 …

模糊系统、模糊神经网络及应用程序设计神经网络,模糊系统,经济学,ml,ann,　2020-02-20 …

面向计算机科学的数理逻辑系统建模与推理计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS,　2020-02-20 …

面向模式的软件架构. 第2卷架构,软件架构,设计模式,网络编程,软件开发,计算机,系统设计,模式,　2020-02-20 …

面向计算机科学的数理逻辑系统建模与推理数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测,　2020-02-20 …

面向模式的软件架构，卷3 软件架构,架构,设计模式,软件开发,计算机,系统设计,技术,软件工程,　2020-02-20 …