全屏显示课程章节

离散数学

丁洁玉青岛大学

检索结果共个

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.1-1.jpg

1.1-2.jpg

上一页下一页