图书介绍
计算机解题逻辑PDF|Epub|txt|kindle电子书版本网盘下载
- （英）科瓦尔斯基（Kowalski，R.）著；郑守淇译 著
- 出版社： 西安：西安交通大学出版社
- ISBN：15340·103
- 出版时间：1986
- 标注页数：198页
- 文件大小：9MB
- 文件页数：209页
- 主题词：逻辑-应用-程序设计 程序设计-逻辑-应用
PDF下载
下载说明
计算机解题逻辑PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章导论1
亲属关系示例和子句形式2
子句形式的更精确定义4
自顶向下和自底向上的定义表示方式5
目 录6
原序6
子句形式的语义学6
“易犯错误的希腊人”示例7
“求阶乘”示例8
个体域与解释9
矛盾性的更精确定义11
不同结论的语义学11
Horn子句12
蘑菇（Mushroom）和菌蕈（Toadstoo1）12
习题13
第二章子句形式表示法16
中缀（Infix）表示法16
变量与个体类型17
存在18
否定式20
蕴含式结论的否定21
蕴含式条件22
定义与“当且仅当”（If-and-only-if）23
语义网络24
扩充语义网络（Extended SemanticNetwork）24
信息的二元谓词符号表示法25
二元表示方式的优点26
数据库28
数据查询语言29
完整性约束30
数据描述30
一个大学院系的数据库31
等号32
习题34
第三章 自顶向下和自底向上Horn子句证明过程38
引言38
语法分析问题38
语法分析问题的谓词逻辑表示方式39
自底向上推理41
自顶向下推理42
亲属关系示例44
推理规则与搜索策略46
无限搜索空间——自然数49
一些定义51
代换与匹配53
推理系统的正确性与完备性54
习题54
路径寻找57
容器灌水问题57
第四章Horn子句解题57
一个简化的路径寻找问题58
搜索空间的图表示方式59
容器灌水问题的搜索空间60
路径寻找的搜索策略62
问题化简的与－或树表示方式63
Horn子句的解题解释65
分裂法与独立子目标66
非独立子目标67
寻找与证明68
引理（Lemmas）、重复子目标和循环69
问题化简空间中的搜索策略70
双向解题方式73
双向解题方式的图示法74
路径寻找问题的另一种形式75
问题求解的其它方面75
习题76
第五章Horn子句的过程解释78
作为数据结构的项78
输入与输出参数的变化80
逐次向输出量逼近的计算操作80
第一类非确定性—若干过程匹配一个过程调用81
被看作迭代的顺序搜索82
“不知”或“不管”的第一类非确定性83
第二类非确定性—过程调用的调度84
程序的自底向上执行87
逻辑程序的语用学内容89
数据结构的分离89
以项或关系作为数据结构91
数据库形式体系与程序设计语言92
算法＝逻辑＋控制93
控制成分的规范94
自然语言＝逻辑＋控制96
习题96
第六章制订规划和框架问题99
制订规划和积木世界99
积木世界问题的子句表示方式100
状态空间公理（12）的自底向上执行方式103
框架公理（15）的自底向上执行方式103
框架公理的自顶向下和自底向上的混合执行方式104
状态空间和框架公理的自顶向下执行方式106
规划制订的应用107
一些限制108
习题109
第七章消解110
否定的目标与断言110
消解111
应用Horn子句的中间向外推理方式112
命题逻辑的示例113
非Horn子句的箭头图示法116
非Horn子句问题的析取解（Disjunctive Solutions）117
提取因子（Factoring）118
习题119
第八章连接图证明过程121
原始连接图121
连接图中连线的消解122
自顶向下和自底向上混合搜索——语法分析问题124
宏处理（Macro-processing）和中间向外的推理过程125
控制连线选择的箭头图示法126
自消解（Self-resolving）子句128
连接图证明过程129
消解式为重言式（Tautology）的连线删除129
习题131
第九章全局解题策略132
冗余子目标的删除132
增添代理子目标（Addition of Surrogate Subgoals）133
舍弃矛盾的目标语句134
几何学中图示法应用的推广135
将目标作为广义解135
目标变换与信息爆炸136
使用差别分析的循环检测136
阶乘示例138
过程的不变性139
习题140
第十章子句形式与标准形式的比较142
逻辑标准形式引论142
转换成子句形式145
子句形式与标准形式的比较147
合取的结论与析取的条件148
析取的结论149
定义的“仅当”（Only-if）部分149
用蕴含式作为蕴含式的条件150
从规范推导程序151
习题152
第十一章 “当且仅当”155
对定义“仅当”部分的需要155
项或关系作为数据结构156
未被说明的“仅当”部分假说157
“仅当”的歧义性158
目标语言与元语言解答159
关于否定的目标语言与元语言解释160
扩充“否定被解释为失败”内容的Horn子句161
程序性质的证明163
对逻辑结论单调性的批评164
习题164
第十二章可证性形式体系166
正确表达性（CorrectRepresentability）166
一个简单的可证性关系的定义167
直接执行与模拟168
假说的增加和抑制170
自举（Bootstrapping）170
目标语言与元语言结合171
目标语言与元语言结合的不完备性172
Demonstrate关系的较广泛形式173
习题174
第十三章逻辑、变化与矛盾176
信息系统176
信息系统变化运动学177
一致性的恢复178
一个处理自然语言的逻辑程序180
结束语182
参考文献183