上海交通大学：《系统模型、分析与控制 Modeling、Analysis and Control》课程教学资源[19]2014至2015学年第1学期期末考-答案

上海交通大学：《系统模型、分析与控制 Modeling、Analysis and Control》课程教学资源[19]2014至2015学年第1学期期末考-A卷

8.1 格 8.2 布尔代数

6.1 代数系统的基本概念 6.2 二元运算的性质 6.3 子代数和积代数

5.1 函数的基本概念 5.2 反函数和复合函数 5.3 集合的基数

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

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

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

西安建筑科技大学：《高等数学计算方法》课程电子教案（PPT教学课件）第2章 线性方程组数值解法

西安建筑科技大学：《高等数学计算方法》课程教学资源（电子教案，主讲教师：权豫西）