离散数学
丁洁玉 青岛大学
检索结果共
个
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)
特殊元素:极大元、极小元、最大元、最小元、上界、下界、上确界、下确界。
上一页
{
下一页