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

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

  • 作者 何伟，樊磊
  • 出版社 机械工业出版社
  • 出版日期 2019
  • ISBN 9787111213970
阅读 495
评论 0

解压密码：6666

[主盘]夸克网盘 [备盘]百度网盘

内容简介

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

自然科学

猜你喜欢

返回首页

发表评论