图书介绍
互逆主义逻辑与Super-Prolog语言PDF|Epub|txt|kindle电子书版本网盘下载
- 周训伟著 著
- 出版社： 北京：中国科学技术出版社
- ISBN：750463347X
- 出版时间：2002
- 标注页数：362页
- 文件大小：9MB
- 文件页数：377页
- 主题词：
PDF下载
下载说明
互逆主义逻辑与Super-Prolog语言PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一篇 Prolog语言1
第一章 SLD反驳消解法1
第二章 Turbo Prolog程序设计基础7
第一节 Turbo Prolog程序的结构7
第二节 域和谓词8
第三节 域类型说明9
第四节 谓词和子句9
第五节 内部目标11
第六节 外部目标12
第七节 否定13
第八节 复合对象14
第九节 函子和域结构15
第十节 结构图18
第十一节 算术运算21
第三章 重复与递归程序设计24
第一节 失败——回溯(BAF)方法24
第二节 截断——失败(CAF)方法26
第三节 用户定义的重复(UDR)方法31
第四节 递归方法33
第一节 表结构38
第四章 表程序设计38
第二节 表的建立和使用40
第三节 表的搜索41
第四节 表的分解43
第五节 表的拼接45
第六节 表的插入排序47
第七节 再谈截断48
第八节 BPU-PROLOG中的表处理49
第一节 小型应用程序的编制53
第五章 BPU-PROLOG中小型应用程序的编制和例子53
第二节 小型应用程序实例54
第六章 Turbo Prolog与数据库61
第一节 预备知识61
第二节 建立基于内存的数据库64
第七章 BPU-PROLOG与人工智能搜索算法81
第一节 产生式系统81
第二节 回溯算法82
第三节 A＊算法90
第一节 专家系统概貌96
第八章 BPU-PROLOG与专家系统96
第二节 动物分类专家系统97
第九章 BPU-PROLOG与自然语言处理103
第一节 预定义谓词geto与name103
第二节 词法分析103
第三节 语法分析106
第四节 语义分析108
第十章 BPU-PROLOG的解释实现113
第一节 变量置换和合一算法113
第二节 “编译”阶段115
第三节 解释阶段119
第二篇 互逆主义逻辑128
第十一章 项与命题的形成、周坐标系层次、层次集合128
第一节 逻辑运算符128
第二节 命题与层次集合的同一128
第三节 项与命题的形成130
第四节 实例140
第五节 周坐标系层次、层次集合141
第六节 周氏图149
第七节 抽象的项常元、函数符常元和谓词符常元150
第一节 零层元素151
第十二章 事实命题与准经命题、零层逻辑151
第二节 本零事命题152
第三节 简繁复合152
第四节 函数156
第五节 准经命题156
第十三章 人类认识过程与互逆主义逻辑基本原理160
第一节 互逆特殊命题与互逆一般命题160
第二节 一元认识过程160
第三节 二元认识过程161
第五节 本一单经命题与本二单逻命题的归纳复合建立164
第四节 认识过程的细分164
第六节 归纳复合原理、分解原理、归纳复合与分解的互逆原理168
第七节 归纳复合真值表与分解真值表169
第八节 同名变元175
第九节 分解不确定性与归纳复合不确定性175
第十节 命题的周氏图表示176
第十一节 互逆等价命题的真值表证明法179
第十二节 特异集合的有意义——无意义二象性原理181
第十三节 简繁复合与归纳复合之异同182
第一节 一层元素183
第二节 本一单经命题183
第十四章 单经命题与准逻命题、一层逻辑183
第三节 无义事实子空间与有义事实子空间185
第四节 项域的选取原则185
第五节 相干项变元、传递项变元与附加项变元186
第六节 自由的与约束的本一单经命题188
第七节 自由事实子空间与约束事实子空间189
第八节 一层集合与一层否定集189
第九节 单细胞本一单经命题与单细胞本二单逻命题的显式归纳复合建立190
第十节 多细胞本一单经命题与多细胞本二单逻命题的显式归纳复合建立194
第十一节 负本命题中的谓词符与联符198
第十二节 本一单经命题与本二单逻命题的隐式归纳复合建立201
第十三节 必然性、或然性、可能性、现实性、中国模态逻辑203
第十四节 一层分解运算205
第十五节 二单经命题的简繁复合206
第十六节 初等代数中的单经定理206
第十七节 一层大独、一层小独，再论经验充分条件207
第十八节 准逻命题209
第十九节 基于一层分解运算的一层自然推理214
第一节 二层元素221
第二节 本二单逻命题221
第十五章 单逻命题与准超逻命题、二层逻辑221
第三节 无义单经子空间与有义单经子空间223
第四节 事实域的选取原则223
第五节 相干事实变元、传递事实变元与附加事实变元225
第六节 自由的与约束的本二单逻命题226
第七节 自由单经子空间与约束单经子空间227
第八节 二层集合与二层否定集227
第九节 本二单逻命题的显式归纳复合建立228
第十节 本二单逻命题的隐式归纳复合建立228
第十一节 二阶分解运算238
第十二节 二层大独、二层小独，再论逻辑充分条件239
第十三节 周坐标系层次小结241
第十四节 准超逻命题242
第十五节 基于二层分解运算的二层自然推理245
第十六章 复经命题、一层逻辑续250
第一节 特事命题段与非特事命题250
第二节 周氏复图250
第三节 成功图与失败图252
第四节 最小成功图253
第五节 命题链与特性命题段链257
第六节 复经命题示例260
第七节 有义的与约束的复经命题261
第八节 复经命题的周氏复图262
第九节 复经命题的命题链与最小成功图264
第十节 一层复自然推理264
第十七章 复逻命题、二层逻辑续279
第一节 有义的与约束的复逻命题279
第二节 互逆蕴涵命题的隐式归纳复合建立280
第三节 矛盾命题的隐式归纳复合建立280
第四节 上反对命题的隐式归纳复合建立284
第五节 下反对命题的隐式归纳复合建立287
第六节 复联符命题逻辑方阵288
第七节 连续项空间中的复联符命题289
第八节 二层复自然推理290
第十八章 互逆主义逻辑与其他学科的关系292
第一节 逻辑科学与经验科学的关系292
第二节 逻辑学与数学的关系293
第三节 解析几何是互逆主义逻辑的一部分293
第四节 互逆蕴涵对其他逻辑的继承295
第五节 公理系统、自然推理系统、隐式归纳复合295
第六节 归纳复合与分解、归纳与演绎298
第七节 互逆主义逻辑与古典逻辑299
第八节 互逆主义逻辑与相干逻辑308
第九节 互逆主义逻辑与模态逻辑309
第十节 互逆主义逻辑与形式逻辑311
第十一节 互逆主义逻辑与多值逻辑317
第十二节 中国模态逻辑与辩证逻辑318
第十九章 互逆主义集合论与逻辑定理主辅代数(周代数)319
第一节 互逆主义集合论319
第二节 准逻定理主辅代数321
第三节 单逻定理主辅代数323
第四节 复逻定理主辅代数334
第六节 不矛盾律与一致性、排中律与完全性的关系338
第五节 判定问题338
第三篇 Super-Prolog语言340
第二十章 Super-Prolog语言340
第一节 Prolog语言的依据是互逆主义逻辑340
第二节 复Prolog语言341
第三节 二层Prolog语言342
第四节 二层复Prolog语言354
第五节 狭义Super-Prolog语言和广义Super-Prolog语言354
后记356
参考文献362