《数字逻辑》文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：506.19KB　文档页数：62

上海交通大学：《离散数学》课程教学资源（PPT课件）命题逻辑的推理

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

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

文档格式：PDF　文档大小：3.36MB　文档页数：198

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

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

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

文档格式：PDF　文档大小：4.32MB　文档页数：230

清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）

文档格式：PDF　文档大小：5.82MB　文档页数：327

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

文档格式：PPT　文档大小：281.5KB　文档页数：78

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

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

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

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

2.1 关系模型的基本概念 2.2 关系代数 2.3 关系演算 2.4 关系代数表达式的优化 2.5 关系逻辑

文档格式：PPT　文档大小：1.07MB　文档页数：87

1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论