图书介绍
不协调信息的推理机制研究PDF|Epub|txt|kindle电子书版本网盘下载
- 杜国平著 著
- 出版社： 北京：中国社会科学出版社
- ISBN：9787520316736
- 出版时间：2017
- 标注页数：169页
- 文件大小：14MB
- 文件页数：178页
- 主题词：逻辑－研究
PDF下载
下载说明
不协调信息的推理机制研究PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 绪论1
1.1 司各脱法则1
1.2 国内外相关研究概述2
1.3 弗协调逻辑的基本策略4
1.4 逻辑的本质7
1.5 研究内容与结构安排8
第二章 对当关系逻辑10
2.1 否定的类型10
2.2 对当关系逻辑的理论缘起11
2.3 对当关系逻辑18
2.4 对当关系逻辑的判定问题26
2.5 对当关系逻辑的扩充及其应用33
第三章 知识蕴涵命题逻辑41
3.1 知识蕴涵41
3.2 知识蕴涵命题逻辑公理系统44
3.3 可靠性和完全性50
3.4 可判定性53
第四章 知识蕴涵模态逻辑60
4.1 模态语言60
4.2 知识蕴涵模态逻辑公理系统61
4.3 系统的元理论66
第五章 知识蕴涵时态逻辑76
5.1 时态语言76
5.2 知识蕴涵时态逻辑公理系统78
5.3 Kt的元理论84
第六章 知识蕴涵直觉主义逻辑90
6.1 形式语言90
6.2 知识蕴涵直觉主义命题逻辑公理系统91
6.3 知识蕴涵直觉主义逻辑的形式语义93
6.4 ID的元理论96
第七章 知识蕴涵谓词逻辑102
7.1 形式语言102
7.2 知识蕴涵谓词逻辑公理系统104
7.3 知识蕴涵谓词逻辑的形式语义106
7.4 系统的元理论113
第八章 否定、蕴涵和弗协调逻辑121
8.1 Cn（1≤n＜ω）及Cω中的否定121
8.2 知识蕴涵与其他蕴涵的关系126
第九章 不协调信息转换135
9.1 不协调信息向协调信息的转换135
9.2 转换的基本类型136
9.3 基本概念137
9.4 可容变换存在性证明139
9.5 解悖变换的存在性140
第十章 弗协调逻辑在计算机科学中的应用143
10.1 弗协调逻辑在计算机科学中的应用概述143
10.2 应用案例分析146
10.3 基于新系统的应用分析153
结语156
参考文献及相关研究资料158