◆
◆
个人介绍
离散数学
提供学校:
青岛大学
课程编号:
4411070001046
课程介绍
课程评价
课程章节
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
偏序关系
提示框
确定
提示框
确定要报名此课程吗?
确定
取消