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

类别	页数	译者	网友评分	年代	出版社
书籍	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 …

Oracle编程艺术：深入理解数据库体系结构（第3版） Oracle,数据库,数据库书单,计算机,DB,编程,sicence,PL/SQL,　2020-02-20 …

论可计算数数学,计算机,计算理论,科普,图灵,计算机科学,人工智能,编程,　2020-02-20 …

从大学数学走向现代数学数学,高等数学,现代数学引论,科普,综述,数学史,思维,Mathematics,　2020-02-20 …

谐振仪音乐数学原理的可视化向导音乐,数学,科普,数据可视化,视觉,科学探索,科学技术,科学史,　2020-02-20 …

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

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