全屏显示课程章节

离散数学

丁洁玉青岛大学

检索结果共个

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) 自然推理系统的定义，附加前提法，归谬法。

1.4-1.jpg

1.4-2.jpg

1.4-3.jpg

1.4-4.jpg

上一页下一页