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

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

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

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

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

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

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

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

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

文档格式：PPTX　文档大小：727.48KB　文档页数：42

《离散数学》课程教学课件（PPT讲稿）谓词逻辑初步与推理规则

文档格式：PPT　文档大小：754.5KB　文档页数：56

《离散数学》课程教学资源（PPT课件讲稿）第二章谓词逻辑

文档格式：PPTX　文档大小：257.89KB　文档页数：6

天津理工大学：《离散数学》课程教学资源（PPT课件）第二章谓词逻辑 Predicate Logic 2.4 变元的约束（Bound of variable）

文档格式：PPTX　文档大小：333.03KB　文档页数：22

天津理工大学：《离散数学》课程教学资源（PPT课件）第二章谓词逻辑 Predicate Logic 2.2 命题函数与量词（Propositional functions & Quantifiers）

文档格式：DOC　文档大小：91.5KB　文档页数：15

《离散数学》课程教学资源（教案讲义）第二章谓词逻辑

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

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