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

PAGE 6 《离散数学》教学大纲 课程性质 专业必修课 课程编号 xx882026 课程名称 离散数学 适用专业 计算机科学与技术、网络工程、软件工程、物联网工程 先修课程 线性代数：矩阵运算 总学时 40 其中理论 40 学时，实验 0 学时 学分数 2.5 一、课程简介 作为计算机科学技术的支撑学科之一的离散数学正变得日益重要，离散数学是现代数学的重要分支，是研究离散量的结构及相互关系的学科，它在计算机理论研究及软、硬件开发的各个领域都有着广泛的应用。 离散数学是计算机专业的一门重要的专业基础课程，早已列为ACM2001计算机专业教学计划的核心课程。许多专业课，如数据结构、操作系统、程序设计、软件工程、数据库、计算机网络、人工智能、算法设计与分析等，均以离散数学为前导课程。通过离散数学的教学，不仅为学生的专业课学习及将来从事的软、硬件开发和应用研究打下坚实的基础，同时也有助于培养他们的抽象思维、严格的逻辑推理和创新能力。 离散数学涵盖了集合论、数理逻辑、数论、组合学、图论、可计算性、抽象代数、形式语言与自动机等内容。离散数学具有较强的抽象性与逻辑性，由于学时有限，本课程选择集合论、数理逻辑、图论作为教学内容，着重于基本概念、基础知识和基本方法。 二、课程教学目标 通过本课程的学习，学生应实现如下目标： 知识目标：掌握命题逻辑、一阶（谓词）逻辑、 集合及运算、二元关系、图论的基本概念、基础知识和基本方法，为学生进一步学习后续课程打下必要的数学基础。 能力目标：使学生初步掌握现代数学的观点与方法，培养学生抽象思维能力、逻辑推理能力与运算能力、简洁而清晰运用数学符号和语言的表达能力、综合运用所学知识去分析和解决问题的能力。 三、课程教学基本要求 学生应当做好课前要预习、课堂内专心听讲并积极思考、课后认真复习并及时独立完成相应作业，以保证教学效果和质量。 四、课程教学模块（或教学内容）与学时分配 序号 教学模块 知识点 学时 1 命题逻辑 了解：离散数学课程的地位和作用。 掌握：命题及真值的概念、、5个联结词（运算）、命题符号化。 2 理解：命题公式与赋值、等值、置换、真值函数、功能完备集等概念。 掌握：真值表的概念和构造方法、16组共24个等值演算式。 2 掌握：析取范式、极小项、主析取范式等概念；真值表方法和等值演算方法求主析取范式。 了解：范式存在定理、合取范式、极大项、主合取范式。 2 掌握：命题逻辑推理的形式结构、8条推理定律和3条推理规则、构造推理的证明。 2 通过题例分析和习题讲解，使学生进一步掌握命题逻辑的有关概念、知识和基本方法。 2 2 一阶（谓词）逻辑 理解：个体、谓词、个体域、全称和存在量词等概念。 掌握：基本的全称和存在命题的符号化。 2 了解：项、原子公式、合式公式、闭式、指导变元、辖域、解释、永真式、矛盾式、可满足式等概念。 2 掌握：有限个体域中消去量词等值式；量词否定、量词分配等值式。 了解：一阶逻辑推理定律；全称和存在量词的消去和引入规则；简单的一阶逻辑推理证明的构造方法。 2 通过题例分析和习题讲解，使学生进一步掌握一阶逻辑的有关概念、知识和基本方法。 1 3 集合论 掌握：集合及子集、包含、空集、幂集、全集等基本概念；并、交、相对补和绝对补、对称差等运算；文氏图；有穷集合的计数方法（文氏图法、容斥原理） 了解：集合恒等式。 通过题例分析和习题讲解，使学生进一步掌握集合的有关概念、知识和基本方法。 3 4 二元关系 掌握：有序对、笛卡尔积、二元关系、空关系、全域关系、恒等关系、关系矩阵、关系图等概念；关系的定义域、值域、逆关系、右复合等概念。 2 掌握：关系的性质（自反、反自反、对称、反对称、传递）；自反闭包和对称闭包及求法。 了解：传递闭包及求法。 2 掌握：等价关系、等价类、商集、划分、偏序关系、偏序集、极大元、极小元、最大元、最小元等概念；偏序集的哈斯图的画法。 了解：上界、下界、上确界、下确界等概念；函数的定义。 2 通过题例分析和习题讲解，使学生进一步掌握二元关系、等价关系和偏序关系的有关概念、知识和基本方法。 2 7 图的基本概念 掌握： 无序对、无序积、无向图、有向图、平凡图、零图、关联、相邻、出度、入度、度数、悬挂点、悬挂边、多重图、简单图、正则图、完全图、子图、导出子图、补图、自补图、同构等概念；握手定理及应用。 2 掌握：通路、回路、长度、简单通路、简单回路、初级通路（路径）、初级回路（圈）、连通、连通图、连通分支、可达等概念。 理解：点割集、割点、边割集、割边（桥）等概念。 了解：短程线、距离、（弱）连通图、单向连通图、强连通图等概念。 2 了解：关联矩阵、可达矩阵等概念。 理解：邻接矩阵的概念；利用邻接矩阵的k次幂求有向图的长度小于或等于