扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
机器证明的逻辑推定 版权信息
- ISBN:9787030756244
- 条形码:9787030756244 ; 978-7-03-075624-4
- 装帧:平装
- 册数:暂无
- 重量:暂无
- 所属分类:>>
机器证明的逻辑推定 内容简介
本书从人工证明和机器证明两个方面展现经典逻辑系统定理证明的艺术。其中,人工证明是作者在2006年出版的《数理逻辑的思想与方法》(南开大学出版社)一书中构造的命题逻辑演算系统FPC和狭谓词逻辑演算系统FQC的基础上完成的;将这些系统扩充后完成了逻辑定理的机器证明。逻辑定理的机器证明分别用自动证明器TreeProofGenerator(用在线软件)和人机交互式证明器Fitch(用J.Barwise等人的LanguageProofandLogic一书所附的计算机程序软件)两个软件完成。
机器证明的逻辑推定 目录
目录 前言 第1章 逻辑演算系统FPC和FQC 11.1 命题逻辑演算系统FPC 1 1.1.1 系统FPC的形式语言 1 1.1.2 系统FPC的推理规则 3 1.2 谓词演算系统FQC 8 1.2.1 系统FQC的形式语言 8 1.2.2 系统FQC的推理规则 11 第2章 人工对逻辑系统定理的证明 14 2.1 人工对系统FPC定理的证明 14 2.2 人工对系统FQC定理的证明 41 第3章 演算系统的树证明 66 3.1 树证明规则 66 3.1.1 FPC的树证明规则 66 3.1.2 FQC的树证明规则 69 3.2 计算机自动证明器TPG简介 72 3.2.1 TPG的功能 72 3.2.2 TPG的使用说明 72 3.3 FPC定理的树证明 73 3.4 FQC定理的树证明 120 第4章 逻辑演算系统的扩充系统 157 4.1 命题演算系统FPC的扩充系统FPC 157 4.2 谓词演算系统FQC的扩充系统FQC 159 4.3 逻辑系统FPC的推理规则一览表 160 4.3.1 系统FPC推理规则一览表 160 4.3.2 系统FQC推理规则一览表 162 第5章 逻辑演算系统的Fitch证明 163 5.1 Fitch简介 163 5.2 Fitch的部分证明规则 164 5.2.1 Fitch的命题规则 164 5.2.2 Fitch的部分一阶规则 167 5.2.3 Fitch证明的部分结论规则 168 5.3 系统FPC定理的Fitch证明 169 5.4 系统FQC定理的Fitch证明 221 参考文献 256
展开全部
书友推荐
- >
罗庸西南联大授课录
罗庸西南联大授课录
¥21.1¥32.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0 - >
史学评论
史学评论
¥18.5¥42.0 - >
有舍有得是人生
有舍有得是人生
¥21.2¥45.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥37.4¥49.8 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
莉莉和章鱼
莉莉和章鱼
¥16.0¥42.0
本类畅销
-
中国哲学十讲
¥18.9¥49.8 -
思考的本质:杜威论逻辑思维
¥15.1¥39.8 -
纯粹现代形批判:黑格尔、海德格尔及其以后
¥9.3¥25 -
查拉图斯特拉如是说
¥27.9¥79.8 -
经学常谈
¥13.7¥36 -
线装经典:传习录
¥10.2¥26.8