离散数学 教学大纲.docx

《离散数学》课程大纲

01基本信息

课程名称：离散数学

英文名称：DiscreteMathematics

课程类别：专业核心课

课程性质：必修

学分：4

总学时：72学时

适用专业：计算机科学与技术、软件工程、网络工程、大数据管理与应用等

先修课程：高等数学、线性代数

后继课程：数据结构、操作系统、算法分析与设计、信息安全、人工智能等

02课程简介

《离散数学》以研究离散变量的结构和相互关系为主要目标，是计算机科学中基础理论的核心课程之一，它为计算机相关专业提供了必要的基本概念、基本理论和基本方法，这些概念、理论及方法大量地应用在数据结构、操作系统、算法分析与设计、信息安全、人工智能、计算机网络等专业课程中，因此《离散数学》可以为后续课程的学习奠定良好的理论基础。同时，《离散数学》也是培养学生的缜密思维、培养学生的综合分析能力、提高学生素质的核心课程之一。

03课程目标

1、课程思政目标：通过本课程，树立学生的工匠伦理意识，培养学生精益求精的大国工匠精神，激发学生科技报国的家国情怀和使命担当；在强化学生的科学思维方法的训练的同时，培养学生探索未知、追求真理、勇攀科学高峰的责任感和使命感。

2、课程知识目标：通过本课程，使学生理解数理逻辑、集合论、代数结构和图论等四大部分的基本概念、基本理论、基本方法和基本运算技能，了解相关知识在计算机相关专业领域的应用，能够运用所学的知识对实际问题做出正确的分析和判断。通过对课程中推理方法及定理的证明过程的学习，理解推理和证明的一般方法和思路，掌握简单推理和证明技术，培养学生的科学思维和科学素养。

3、课程能力目标：通过本课程的学习，为学生理解后继专业课程中的相关概念和算法奠定基础，同时培养学生的逻辑思维方式，提升学生逻辑思维能力和逻辑推理能力；通过对典型问题的分析和解决方法的讲解及课后实践，培养学生运用离散数学知识进行数学建模的能力。

04课程内容、教学要求及学时分配

（一）命题逻辑（12学时）

1、基本要求

（1）理解命题的概念，掌握常见的逻辑联结词，会将一个命题进行符号化；

（2）掌握命题公式及其真值表，能够利用真值表法判断命题公式的类型；

（3）了解代入规则和替换规则；理解命题公式等价的概念，熟练掌握判断两个命题公式是否等值的方法，能够利用常用等值式进行命题公式等值的判定、命题公式的简化和命题公式类型的判定；了解命题公式蕴含的概念，掌握判断命题公式是否存在蕴涵关系的方法；

（4）了解对偶原理，了解其他联结词；

（5）了解范式的相关概念，理解范式和主范式的求解方法，掌握将命题公式化为范式的方法；

（6）理解命题演算的推理理论，掌握常用的推理方法。

2、重点、难点

重点：命题符号化；命题公式的真值表；命题公式等值的概念与判断；主析取范式、主合取范式的求法；推理规则及推理方法。

难点：主析取范式、主合取范式的求法；推理规则及推理方法。

（二）谓词逻辑（6学时）

1、基本要求

（1）了解个体、谓词、命题函数和量词、全总个体域的概念，掌握自然语言的谓词形式化表达；

（2）了解谓词公式的概念，理解自由变元和约束变元的概念，掌握改名规则，了解谓词公式的类型及其判定方法，掌握谓词公式的蕴涵与等价的概念，并掌握常见的等价式与蕴涵式；

（3）掌握消去量词和添加量词的常用规则，掌握谓词逻辑的推理理论。

2、重点、难点

重点：全称量词、存在量词的概念；自然语言的翻译；谓词演算的等价式与蕴含式；谓词演算的推理理论。

难点：自然语言的翻译；谓词演算的推理规则；常见的推理方法。

（三）集合（4学时）

1、基本要求

（1）了解集合的基本概念，了解集合的文氏图，掌握集合的基本运算及其性质；

（2）掌握包含排斥原理，了解自然数与数学归纳法，理解笛卡尔乘积的概念。

2、重点、难点

重点：集合的运算及其性质；包含排斥原理；笛卡尔乘积。

难点：包含排斥原理；数学归纳法。

（四）二元关系（10学时）

1、基本要求

（1）理解关系的概念，掌握关系性质的定义及其判断，掌握关系与关系图、关系矩阵之间的相互转化；

（2）掌握关系的运算，能够进行关系的闭包运算；

（3）理解划分的概念，掌握等价关系的概念及判定，理解等价关系与划分的对应关系，了解等价类与商集的概念；

（4）理解相容关系与覆盖及有关概念；

（5）掌握偏序关系的概念与判定，掌握并会求解极元、最元、界和确界，了解全序关系和拟序关系、良序关系的概念。

2、重点、难点

重点：关系的概念、性质及运算；等价关系、偏序关系及其相关概念。

难点：关系的性质；关系的闭包；偏序关系。

（五）函数（4学时）

1、基本要求

（1）理解函数的基本概念，了解偏函数、特殊函数的概念，掌握复合函数和逆函数的概念及其性质；

（2）理解特征函数的概念，理解隶属度函数与模糊子集的概念，掌握模糊子集的运算