个人介绍
离散数学 王帅等
提供学校: 长春光华学院
院系: 电气信息学院
专业大类: 计算机科学与技术
专业: 计算机科学与技术
课程编号: 40701207
学分: 3.0
课时: 54
课程简介
该课程是计算机科学与技术专业的一门专业基础必修课,是计算机科学基础理论的核心课程。离散数学也是计算机专业的许多专业课程,如数据库、计算机网络、算法设计与分析等必不可少的先行课程,为后续课程的学习创造条件。
先修课程:《高等数学》、《线性代数》。
后续课程为:《计算机网络》等。
教师团队

王帅 教师

单位:长春光华 学院

部门:电气信息学院

李伟光 教师

单位:长春光华学院

部门:电气信息学院

教学大纲

教学日历

参考教材

1.<<离散数学>>,左孝凌,上海科学技术文献出版社。

  2.<< 离散数学(第五版)>>,清华大学出版社。

课程评价

教学资源
课程章节 | 文件类型   | 修改时间 | 大小 | 备注
1.1 命题及其表示法
文档
.pptx
2017-09-23 488.24KB
1.2 联结词
文档
.pptx
2017-09-23 152.47KB
1.3 命题公式与翻译
文档
.pptx
2017-09-23 98.04KB
1.4 真值表与等价公式
文档
.pptx
2017-09-23 192.32KB
1.5 重言式与蕴含式
文档
.pptx
2017-09-23 105.38KB
1.6 其它联结词
文档
.pptx
2017-09-23 212.18KB
1.7 对偶与范式
文档
.pptx
2017-09-23 249.73KB
1.8 常用的证明方法
文档
.pptx
2017-09-23 143.78KB
2.1 谓词的概念与表示
文档
.pptx
2017-09-23 107.64KB
2.2 命题函数与量词
文档
.pptx
2017-09-23 90.09KB
2.3 谓词公式与翻译
文档
.pptx
2017-09-23 108.67KB
2.4 变元的约束
文档
.pptx
2017-09-23 64.73KB
2.5 谓词演算的等价式与蕴含式
文档
.pptx
2017-09-23 68.01KB
2.6 前束范式
文档
.pptx
2017-09-23 113.13KB
2.7 谓词演算的推理理论
文档
.pptx
2017-09-23 96.70KB
3.1 集合及其运算
文档
.pptx
2017-09-23 551.76KB
3.2 序偶与笛卡尔积
文档
.pptx
2017-09-23 225.11KB
3.3 关系
文档
.pptx
2017-09-23 268.93KB
3.4 关系的性质
文档
.pptx
2017-09-23 249.47KB
3.5 复合关系与逆关系
文档
.pptx
2017-09-23 519.13KB
3.6 关系的闭包运算
文档
.pptx
2017-09-23 355.89KB
3.7 集合的划分与覆盖
文档
.pptx
2017-09-23 146.07KB
3.8 等价关系
文档
.pptx
2017-09-23 275.37KB
3.9 相容关系
文档
.pptx
2017-09-23 242.33KB
3.10 序关系
文档
.pptx
2017-09-23 338.53KB
提示框
提示框
确定要报名此课程吗?
确定取消