山西能源学院：《传热学》课程教学资源（电子教案）第四章 热传导问题的数值解法 4.3 边界节点离散方程的建立及代数方程的求解

山西能源学院：《传热学》课程教学资源（电子教案）第四章 热传导问题的数值解法 4.1 导热问题数值求解的基本思想 4.2 内节点离散方程的建立方法

3.1 集合的基本概念 3.2 集合的运算 3.3 集合恒等式 3.4 集合的覆盖与划分 3.5 笛卡尔积

2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论

计算机类本科规划教材：《离散数学》课程配套电子教案（PPT课件讲稿）总目录（电子工业出版社）

3.1 价格离散及其分析 3.2 信息搜寻原理 3.3 最佳搜寻次数的确定 3.4 数学基础

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

上海交通大学：《离散数学》课程教学资源（PPT课件）Introduction（主讲：陈玉泉）

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

上海交通大学：《离散数学》课程教学资源（讲义）错误汇总（补充2，主讲：刘胜利）