书目详细信息
： 机器证明的逻辑推定
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-075624-4:CNY128.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 机器证明的逻辑推定/.李娜著 |
| 出版发行项： | 北京:,科学出版社:,2023 |
| 载体形态项： | 255页:;+图:;+24cm |
| 一般附注： | “中央高校基本科研业务费专项资金资助”项目号: ZB21BZ0109 |
| 相关题名附注： | 英文并列题名取自封面 |
| 提要文摘： | 本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术, 而机器证明又从定理的自动证明和计算机辅助证明两个方面来展 现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明 (一种自然推理证明)。其次, 用逻辑定理的机器证明工具TPG (Tree Proof Generater) 实现逻辑定理的自动证明 (一种树证明)。最后, 用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明 (一种自然推理证明)。 |
| 并列题名： | Logical inference of machine proof eng |
| 题名主题： | 逻辑推理 机器证明 |
| 中图分类： | O141 |
| 个人名称等同： | 李娜 著 |
| 记录来源： | CN 思得乐 20240525 |