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

欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学， 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法

《公共行政学》课程教学资源（参考资料）重塑政府改革的逻辑：以“最多跑一次”改革为中心的讨论

第一节 组合电路的分析方法 第二节 组合电路的设计方法 第三节 常用集成组合逻辑电路 第四节 组合逻辑电路的竞争与险象

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

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

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

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

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

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