03M0123-《离散数学》教学大纲（合作班）.docVIP

-PAGE23-

《离散数学》教学大纲

课程英文名

DiscreteMathematics

课程代码

03M0123

学分

3.5

总学时

56

理论学时

56

实验学时

0

上机学时

20

实践学时

0

课程类别

学科基础课

课程性质

限选

先修课程

高等数学，线性代数

适用专业

计算机科学与技术（合作办学）

开课学院

信息工程学院

执笔人

余翠

审定人

何灵敏

制定时间

2025年1月

注：课程类别是指公共基础课/学科基础课/专业教育课；课程性质是指必修/限选/任选。

一、课程地位与课程目标

（一）课程地位

本课程是计算机专业的一门重要的专业选修课程。主要研究离散量的结构及其相互关系的数学学科，它充分体现计算机科学离散性的特点。该课程是基础数学的延伸，使学生得到良好的数学训练，从而进一步提高学生的抽象思维能力和逻辑推理能力，并为其学习计算机专业的后续课程做好必要的知识准备，并为从事计算机的应用提供理论基础。

（二）课程目标

离散数学是从解决实际问题的视角出发，因此不仅要培养学生具有扎实的专业基础理论知识的专业素养，还要培养学生能有条理、明确和系统地描述问题、分析和解决问题并有与实际应用相结合的能力。

课程目标：

掌握离散数学的基本概念，基本原理；

运用离散数学的分析方法解决问题，能对实际问题给出清晰的描述（建模），使学生具备基本的工程实践能力。

课程思政目标

离散数学中基本概念，基本理论和基本方法，注重科学思维方法的训练和科学伦理的教育。

2、培养实事求是、严谨求真的科学精神，形成科学认知，增强分析问题和解决问题的能力。培养学生抽象思维能力，数学建模能力，提升学生透过现象看本质、追求真理的使命感。

二、课程目标达成的途径与方法

课程目标

课程目标内容

支撑毕业要求指标点

目标达成的途径与方法

教学内容

课程目标1

掌握离散数学的基本概念，基本原理

指标点1.2：具有计算机科学与技术专业领域需要的数学基础和数据分析能力，能针对一个计算机系统建立合适的数学模型并求解。

1.课堂教学

2.课堂讨论

3.课外作业

集合论、计数问题、数理逻辑、二元关系及图论三部分基础概念，原理的学习

课程目标2

运用离散数学的分析方法解决问题，能对实际问题给出清晰的描述（建模），使学生具备基本的工程实践能力。

指标点2.2：能够运用数学、自然科学和计算机科学的基本原理分析对复杂工程问题进行正确表达。

1.课堂教学

2.课堂讨论

3.课外作业

数理逻辑，二元关系及图论基本概念，原理的使用

课程目标与相关毕业要求的对应关系

课程目标

课程目标对毕业要求的支撑程度（H、M、L）

毕业要求1

毕业要求2

课程目标1

M

课程目标2

M

注：1.支撑强度分别填写H、M或L（其中H表示支撑程度高、M为中等、L为低）。

四、课程主要内容与基本要求

第1章：集合论

1.2集合

1.3无限集

1.4集合的应用

基本要求：了解集合的定义，表示；掌握集合的运算及相关运算律。（介绍集合论的起源，发展以及在现代科学中的应用，激发学生的好奇心和探索欲，鼓励他们不畏艰难，勇于探索未知领域，培养科学探索精神）

第2章：计数问题

2.2基本原理

2.3排列与组合

2.4容斥原理与鸽笼原理

基本要求：了解乘法原理、加法原理，排列、组合问题的相关定义及计算方法，容斥原理与鸽笼原理的定义及相应的计算方法。（培养学生严谨科学态度，使其领悟数学与生活、社会发展紧密联系）

第3章：命题逻辑

3.2命题与命题联结词

3.3命题公式、解释与真值表

3.5公式的标准型——范式

3.6命题逻辑的推理理论

基本要求：准确理解命题、真值等基本概念。掌握5个命题联结词、命题公式的类型及解释、真值表的构建、主合取范式及主析取范式的求解。熟练掌握24个基本等价式，及命题逻辑的相关推理规则及证明方法。（通过学习推理，培养实事求是、严谨求真的科学精神，形成科学认知，增强分析问题和解决问题的能力）

第4章：谓词逻辑

4.2谓词逻辑中的基本概念与表示

4.3谓词合式公式与解释

4.4公式的标准型——范式

4.5谓词逻辑的推理理论

基本要求：理解谓词与量词相关的概念，掌握谓词逻辑的表示及公式的定义及解释，理解谓词的基本等价式及范式的求解。熟练掌握谓词逻辑的推理规则和证明方法。（引导学生在生活中理性思考，科学判断，让学生明白看待事物需兼顾整体与局部，从多角度分析）

第6章二元关系

6.2二元关系

6.3关系的运算

6.4关系的性质

6.5关系的闭包运算

基本要求：掌握关系的构建、逆运算、复合运算，闭包运算。能熟练判断关系具有的性质。（培养学生严谨、认真的做事风格，使其在学习、生活中注重细节，避免疏漏）

第7章：特殊关系

7.2等价关系

7.3次序关系

基本