离散数学 课程教学大纲.docx

PAGE

PAGE4

《离散数学》课程教学大纲

一、课程简介

课程中文名

离散数学

课程英文名

DiscreteMathematics

双语授课

□是R否

课程代码课程学分

3

总学时数

64

课程类别

□通识教育课程

￡公共基础课程

R专业教育课程

□综合实践课程

□教师教育课程

课程性质

R必修

□选修

□其他

课程形态

□线上

R线下

□线上线下混合式

□社会实践

□虚拟仿真实验教学

考核方式

R闭卷□开卷□课程论文□课程作品□汇报展示□报告

□课堂表现□阶段性测试□平时作业□其他（可多选）

开课学院

大数据与智能工程学院

开课

系(教研室)

计算机科学与技术、数据科学与大数据技术、物联网工程

面向专业

物联网工程

开课学期

第2学期

先修课程

高等数学

后续课程

数据结构与算法

选用教材

耿素云等.离散数学[M].北京：清华大学出版社，2021

参考书目

1.邓辉文.离散数学(第3版)[M].北京:清华大学出版社,2014.

2.邵学才,叶秀明.离散数学[M].北京:北京电子工业出版社,2009.

3.屈婉玲.离散数学习题解析[M].北京:北京大学出版社,2008.

课程资源

1.离散数学精品课程./special/opencourse/bianchengdaolun.html.

2.网易云课堂./course.

课程简介

本课程是计算机类的专业基础课程，也是后续的程序设计语言、数据结构与算法等课程的先修课程。课程主要讲授集合基本概念和命题逻辑的基本知识，谓词逻辑的应用，关系的基本知识和函数的基本内容，代数系统的基本内容，图的基本概念和图的应用。

学习本课程，学生不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。

二、课程目标

表1课程目标

序号

具体课程目标

课程目标1

全面了解计算机类学科，掌握计算机类专业的知识体系、研究范畴和研究方向，通过本课程学习，掌握集合论、数理逻辑、图论、关系、函数、代数系统、组合数学等相关知识，了解本课程在实际生活中的应用。

课程目标2

具备使用系统的方法去认知和学习学科专业知识、构建学科体系框架的能力，学生学习完本课程之后，能够理解离散数学中概念及算法，学生具有较强的数学思维能力和对实际问题的求解能力。

课程目标3

开阔计算机类领域的学术视野，激发学习本专业的兴趣，树立学习本专业的责任感与自豪感；通过本课程的学习，培养学生养成严谨的学习习惯；较强的自学能力和系统分析、设计能力；离散建模能力，自我创新能力。

表2课程目标与毕业要求对应关系（物联网工程专业）

毕业要求

指标点

课程目标

毕业要求1：能够将数学、自然科学、工程基础、数据科学与大数据技术专业知识用于解决大数据应用领域的复杂工程问题。【M】

1.1能够掌握数学、自然科学、工程基础和专业知识，用于大数据应用领域相关工程问题的表述。

课程目标1

毕业要求2：能够应用数学、自然科学、计算机科学和工程科学的基本原理，通过文献研究、数学建模、工程经验提炼等方法，在大数据应用的构思与设计阶段，识别、表达、分析大数据应用领域复杂工程问题及其解决方法，以获得有效结论。【H】

2.1能够应用数学、自然科学、计算机科学和工程科学的基本原理，识别、判定和表达大数据应用领域中复杂工程问题。

课程目标2

毕业要求12：具有自主学习和终身学习的意识，具备在科学研究与技术应用过程中不断学习和适应发展的能力。【L】

12.2能针对个人或职业发展规划，在复杂工程问题的解决方案中体现出一定的自主学习和终身学习的能力，不断适应大数据技术的发展和社会需求。

课程目标3

三、课程学习内容与方法

（一）理论学习内容及要求

表3-1课程目标、学习内容和教学方法对应关系

序

号

课程模块

学习内容

学习任务

课程目标

学习重点难点

教学方法

学时

1

集合论

集合和集合的表示方法；子集和幂集的概念；集合之间的关系；集合间的运算及运算定律；

利用集合实现并查集；

有穷集合的计数方法。

1.拓展阅读：离散数学历史

2.线上学习：网上学习平台集合论部分

3.作业：教材对应部分练习题

课程目标1

重点：①集合的两种表示法。②集合之间的包含、相等、真包含等关系。③集合的基本运算(幂集运算，普通运算和广义运算)。④有穷集合的计数方法。⑤证明集合等式或者包含关系的基本方法。

难点：幂集运算、有穷集合的计数方法

讲授法

4

2

数理逻辑

命题的概念、命题联结词的使用；命题变元、命题公式、永真公式、永假公式和可满足公式的概念；

命题公式的等值关系和蕴含关系；命题演算的