逻辑数学文库下载_中国高校课件下载中心

文档格式：PPTX　文档大小：581.97KB　文档页数：16

《高中数学》全程设计同步配套教学课件（A版必修第一册）第一章集合与常用逻辑用语_1.1 第2课时集合的表示方法

文档格式：PPTX　文档大小：628.62KB　文档页数：16

《高中数学》全程设计同步配套教学课件（A版必修第一册）第一章集合与常用逻辑用语_1.1 第1课时集合的相关概念

文档格式：PPT　文档大小：496.5KB　文档页数：60

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式

文档格式：PPT　文档大小：401.5KB　文档页数：45

–推理的形式结构 –自然推理系统P

文档格式：PPT　文档大小：483KB　文档页数：46

– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类

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

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

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

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

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

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

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

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

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

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