全屏显示课程章节

离散数学

丁洁玉青岛大学

检索结果共个

1

命题逻辑

1.1 命题符号化

1.2 等值演算

1.3 范式和主范式

1.4 命题推理

2

一阶逻辑

2.1 一阶逻辑符号化

2.2 一阶逻辑推理

3

集合代数

3.1 康托尔和集合论

4

二元关系

4.1 笛卡尔和二元关系

4.2 关系的性质

4.3 等价关系与划分

4.4 偏序关系

友情提示：同学您好，此页面仅供预览，在此页面学习不会被统计哦！请进入学习空间后选择课程学习。

该课时内容利用上节课所学的基础概念，进行等值演算和应用，主要讲授：

(1) 等值关系的定义、性质；

(2) 等值式模式、等值演算；

(3) 等值演算的应用。

1.2-1.jpg

1.2-2.jpg

1.2-3.jpg

上一页下一页