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

作者：何伟，樊磊

页数：277

出版社：机械工业出版社

出版日期：2019

ISBN：9787111213970

电子书格式：pdf/epub/txt

内容简介

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