上海交通大学：《系统模型、分析与控制 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 子代数和积代数

广东茂名农林科技职业学院：汽车检测与维修专业人才培养方案（2020级）

广东茂名农林科技职业学院：汽车检测与维修专业人才培养方案（2019级）

广东茂名农林科技职业学院：工业机器人技术专业人才培养方案（2020级）

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 谓词逻辑的推理理论