全屏显示课程章节

离散数学

丁洁玉青岛大学

检索结果共个

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) 前束范式，一阶逻辑推理规则。

2.2-1.jpg

2.2-2.jpg

2.2-3.jpg

2.2-4.jpg

上一页下一页