01---《离散数学》教学大纲.docVIP

《离散数学》课程教学大纲 一、课程基本信息 课程代码： 课程名称： 离散数学 英文名称： Discrete Mathematics 课程类别： 专业基础课 学 时： 48 学 分： 3 适用对象: 软件工程专业本科生 考核方式： 考试 先修课程： 高等数学、线性代数 二、课程简介 离散数学是现代数学的一个重要分支，是软件工程学科、计算机学科的重要基础课程，其基本思想、概念和方法广泛渗透到软件工程和计算机学科的各个领域。本课程 知识教学目标： 使学生掌握集合论、二元关系、函数、命题逻辑、谓词逻辑和图论部分等方面的基础知识；通过定理的证明过程复习概念，了解证明的思路，学会证明的方法。 能力教学目标： 培养学生的抽象思维能力、严格的逻辑推理能力、对计算机世界的建模能力。 素质教学目标： 培养学生积极思考问题、理性科学认知现实世界、提高学生学习软件工程学科其它课程的学习积极性 四、教学基本内容及重点与难点 （一）集合 教学内容：（1）集合的相关概念，包括集合、元素、子集、空集、全集、幂集、集合相等、集合的基等概念，幂集的表示法；（2）集合运算，包括集合的交、并、差、补、对称差等运算、文氏图、包含排斥原理；（3）集合运算的性质，包括交换律、结合律、分配律、吸收律、De Morgan律、恒等律、互补律、否定律、零律。 重点与难点：集合知识的重点是集合的运算及其性质，难点包括幂集的概念、包含排斥原理、证明集合相等的方法。 （二）二元关系 教学内容：（1）序偶与笛卡尔积，包括有序n元组、笛卡尔积。（2）关系的概念，包括n元关系（空关系、全关系、恒等关系）、二元关系、二元关系的表示（矩阵法和关系图法）。（3）关系的运算，包括复合运算与复合关系、逆运算与逆关系。（4）关系的性质，包括自反性与反自反性、对称性与反对称性、传递性。（5）关系闭包与特殊关系的构造，包括自反闭包、对称闭包、传递闭包的概念及其构造算法。（6）等价关系与集合的分类，包括等价关系、等价类和商集的概念。（7）偏序关系与集合元素的排序，包括偏序关系、偏序集、哈斯图、最（极）大元、最（极）小元、上界与上确界、下界与下确界。 重点与难点：二元关系知识的重点包括关系的性质及其判别、关系矩阵与关系图、关系的复合运算及其性质、等价关系及集合的划分、偏序集的概念；难点包括关系闭包的构造算法、集合的分类方法、哈斯图的画法、与偏序关系有关的确界概念。 （三）函数 教学内容：（1）映射。映射、相等映射、单射、满射、双射的概念。（2）复合映射与逆映射。映射的复合运算及其性质，映射的逆运算及其性质。 重点与难点：函数知识的重点是映射的概念；难点是复合映射与逆映射的概念及其性质、映射与一般关系、逆映射与逆关系的区别。 （四）命题逻辑 教学内容：（1）命题与联接词、命题、命题的真值、原子命题与复合命题。（2）命题公式与解释，包括常值命题与变量命题、命题公式、命题公式的解释、命题公式的分类、命题公式的等价。（3）范式，包括析取范式和合取范式的概念、对偶原理、极大项和极小项的概念、主吸取范式和主合取范式的概念、主吸取范式和主合取范式的求法。（4）公式恒真性的判定，包括利用主吸取范式或主合取范式判定公式的恒真性。（5）公式的蕴涵，包括公式蕴涵的三个等价定义及其逻辑结果；公式的逻辑结果与演绎的逻辑结果的等价性，基本蕴涵公式。（6）形式演绎，包括演绎规则（规则P，规则Q，规则D），公式的相容性。 重点与难点：命题逻辑知识的重点是逻辑联结词的意义、命题公式的主析取范式和主合取范式、推理证明的方法。难点是命题公式、主析取范式和主合取范式的求法、推理证明的间接证法。 （五）谓词逻辑 教学内容：（1）谓词与量词，包括谓词（命题函数）、量词的概念。（2）公式与解释，包括项、原子、谓词公式的概念，量词的协域，指导变元、约束变元与自由变元，改名规则，谓词公式的解释、谓词公式的类型。（3）等价与蕴涵，包括谓词演算的等价式与蕴涵式（4）前束范式，包括前束范式的概念与求法。（5）谓词演算的演绎与推理，包括与量词有关的推理规则，谓词演绎的推理方法。 重点与难点：谓词逻辑知识的重点是谓词公式等价的证明方法；谓词演算的推理证明方法。难点是谓词演算的推理证明方法。 （六）图论 教学内容：（1）图的概念。（2）路与回路。（3）图的矩阵表示。（4）关系与图。（5）二分图。（6）树的概念。（7）生成树与最优支撑树。（8）有向树与根树。（9）平面图。 重点与难点：图论知识的重点包括通路与回路、图的矩阵表示、图的运算；难点包括通路与回路、图的运算。 五、学时分配表 序号 内 容 讲授 实验 备注 1 集合 6 0 2 二元关系 8 0 3 函数 4 0 4 命题逻辑 10 0 5