谓词逻辑文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：508KB　文档页数：98

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

文档格式：PPT　文档大小：508KB　文档页数：98

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

文档格式：PPT　文档大小：267.5KB　文档页数：47

3.2 归结演绎推理 3.3 应用归结原理求取问题答案 3.４归结策略 3.6 Horn子句归结与逻辑程序 3.7 非归结演绎推理

文档格式：PPT　文档大小：296KB　文档页数：39

2 . 1 概述 2 . 2 一阶谓词逻辑表示方法 2 . 3 单元表示方法 2 . 4 知识表示的小结

文档格式：PPT　文档大小：323.5KB　文档页数：73

上海交通大学：《离散数学》课程教学资源（PPT课件）第5章谓词逻辑的等值和推理演算

文档格式：PPT　文档大小：107KB　文档页数：7

人民邮电出版社：高等学校计算机专业教材《离散数学》课程教学资源（PPT课件）第五章谓词逻辑

文档格式：PPT　文档大小：107KB　文档页数：7

高等学校计算机专业教材：《离散数学》课程PPT课件_第五章谓词逻辑

文档格式：PDF　文档大小：1.36MB　文档页数：137

上海交通大学：《离散数学》课程教学资源（讲义）第五章谓词逻辑的等值和推理演算

文档格式：PDF　文档大小：2.25MB　文档页数：137

上海交通大学：《离散数学》课程教学资源（讲义）第四章谓词逻辑的基本概念

文档格式：PDF　文档大小：1.36MB　文档页数：137

上海交通大学：《离散数学》课程教学资源（讲义）第五章谓词逻辑的等值和推理演算