[夸克网盘]面向计算机科学的数理逻辑系统建模与推理 PDF

作者：何伟，樊磊

页数：277

出版社：机械工业出版社

出版日期：2019

ISBN：9787111213970

电子书格式：PDF

PDF下载地址

资源编号：582930476.pdf

解压密码：www.teccses.org

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

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

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

内容简介

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。