图书介绍

逻辑程序设计原理和方法2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

刘凤歧，陈耀新编著著
出版社：长沙：国防科技大学出版社
ISBN：7810240129
出版时间：1987
标注页数：375页
文件大小：10MB
文件页数：383页
主题词：

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：197f0da2bcda12b44896c55c94a4485e

下载说明

逻辑程序设计原理和方法PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

目录1

第一章导言1

第二章符号逻辑导引12

2.1命题逻辑12

2.2一阶逻辑16

2.3逻辑推论25

2.4符号逻辑中的标准型27

2.5一阶逻辑的应用33

第三章Herbrand定理36

3.1 Skolem标准型36

3.2 Herbrand解释43

3.3语义树49

3.4 Herbrand定理52

3.5 Herbrand定理的实现55

4.1命题逻辑的归结原理61

第四章归结原理61

4.2取代和一致化64

4.3一致化算法67

4.4一阶逻辑的归结原理71

4.5归结原理的完全性76

4.6 归结原理应用示例80

4.7删除策略84

5.1语义归结导引91

第五章语义归结91

5.2语义归结的定义94

5.3语义归结的完全性97

5.4超归结和支撑集合策略——语义归结的特殊情况99

第六章Horn短句与逻辑程序104

6.1 Horn短句的归结原理104

6.2输入反驳110

6.3单位反驳113

6.4逻辑程序116

7.1基本语法134

第七章Micro-PROLOG134

7.2扩充Horn短句141

7.3表格处理与语法分析154

7.4某些语用考虑165

7.5元逻辑程序设计174

7.6 Micro-PROLOG的标准语法184

第八章专家系统的实现196

8.1专家系统导引196

8.2 MYCIN的不精确推理204

8.3知识表示和人－机交互217

8.4实现解释功能225

8.5专家系统外壳APES235

8.6在法律中的应用254

第九章逻辑程序的若干问题265

9.1不确定性265

9.2“当”型定义272

9.3可证明性关系282

9.4信息吸收292

第十章逻辑程序的语义299

10.1过程语义299

10.2模型论语义301

10.3不动点语义304

10.4模型论语义和不动点语义306

10.5过程语义和不动点语义307

11.1 与－并行——单解关系312

第十一章PARLOG：并行逻辑程序设计312

11.2惰性计算和受限缓冲器进程328

11.3或－并行——全解关系337

11.4元级程序设计344

11.5结语346

第十二章综述347

12.1计算理论347

12.2计算实践353

12.3计算技术365