[夸克网盘]面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) PDF

作者：MichaelHuth

页数：427

出版社：机械工业出版社

出版日期：2019

ISBN：9787111160533

电子书格式：PDF

PDF下载地址

资源编号：167482352.pdf

解压密码：www.teccses.org

1：夸克网盘下载地址（推荐）

2：百度网盘备用地址（推荐）

3：如果以上网盘链接被和谐，打开此链接，看是否有类似以下用红圈圈出来的，也能下载。

内容简介

本书涵盖了命题逻辑、谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。