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

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

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

主题/类型/题材/标签

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

作者

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

内容和作者简介

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

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

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

作者简介

本书后续版本

未发行或暂未收录

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

电影推理笔记(推理笔记电影版推理笔记之拉普拉斯妖) 剧情悬疑　2020-02-20 …

信息论、推理与学习算法信息论,机器学习,学习算法,计算机科学,计算机,数学,统计学,数据挖掘,　2020-02-20 …

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

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

数理逻辑数理逻辑,数学,逻辑学,哥德尔,逻辑,大三下,高分,画画,　2020-02-20 …

数理逻辑数理逻辑,逻辑学,数学,逻辑,哲学,教材,符号学,语义,　2020-02-20 …

极限推理極限推理コロシアム() 悬疑　2020-02-20 …

数理逻辑数理逻辑,数学,逻辑,逻辑学,计算机,入门,阅读,高分,　2020-02-20 …

数理逻辑数理逻辑,数学,逻辑,逻辑学,计算机科学,计算机,哲学,计算理论,　2020-02-20 …

可计算性与数理逻辑数学,逻辑学,逻辑,人工智能,计算理论,计算机,数理逻辑,计算机科学,　2020-02-20 …