📖 书目详情
机器证明的逻辑推定
| 著者 | 李娜著 |
| ISBN | 9787030756244 |
| 中图分类 | O141 数学 |
| 学科分类 | 理学 |
| 版次 | 第1版 |
| 出版社 | 科学出版社 |
| 丛书名 | — |
| 出版年 | 2023 |
| 页码 | 255页 |
| 价格 | ¥128.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
8.5/10
|
📝 内容简介
本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明。其次，用逻辑定理的机器证明工具TPG实现逻辑定理的自动证明。最后，用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购