离散教学大纲.docVIP

【离散数学】课程教学大纲 【课程代码】【课程类别】 专业任选课 【学 分】 3学分 【总学时】 54学时 【讲授学时】54学时 【实验学时】 【先修课程】 高等数学、线性代数 【适用专业】 软件工程、网络工程、计算机科学与技术专业（软件方向） 【教学目的】 离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程，是计算机科学与技术专业重要的一门专业课程。通过本课程的学习，培养学生的抽象思维和严密的逻辑推理能力，为进一步学习专业课打好基础，并为学生今后处理离散信息，提高专业理论水平，从事计算机的实际工作提供必备的数学工具。更重要的是对培养学生的抽象思维和严格的逻辑推理能力有极大作用，对提高学生的分析问题和解决问题的能力，提高学生的数学修养及计算机科学的素质有很大的帮助。 【内容提要】 本课程的内容分为三部分，即数理逻辑、集合论、图论。数理逻辑能够培养学生的抽象思维和严格逻辑推理能力，并使学生掌握处理离散结构所必须的描述工具和方法。集合论是整个数学基础之一。图论虽是一个独立的分支，在本课中可视为集合论的一个应用，它研究在一个有限集合上定义了一个二元关系所组成的系统。研究任意离散系统，要为它建立数学模型，就要描述研究对象及对象与对象之间的联系，并通过事物之间的联系找出事务的运动规律。集合论与图论为此提供了强有力的描述工具与推力理论，而具有一个二元关系的有限系统用图作为模型是十分自然而有用。 命题逻辑基本概念 基本要求 1．理解命题和逻辑联结词的基本概念 2．掌握公式分类和真值表构造 重点难点 重点：命题概念；几种重要的逻辑联结词 难点：由五个逻辑联结词构成的公式及真值表；求给定公式真值表的方法 授课学时 4学时 第一节 命题与联结词 掌握：命题的概念；逻辑联结词。 命题公式及其赋值 本节主要让学生 掌握：命题公式；真值表。 命题逻辑等值演算 基本要求 1．理解命题等值关系式 2．掌握公式的析取范式和合取范式 3．了解联结词的完备集 重点难点 重点：判别公式类型和公式等值变换，用等值演算法求公式的主析取范式和主合取范式 难点：求公式的主析取范式和主合取范式 授课学时 6学时 等值式 掌握：用真值表法和等值演算法判别公式类型和公式等值变换的方法。 析取范式和合取范式 掌握：用等值演算法求公式的析取范式和合取范式； 会列真值表求公式的主析取范式和主合取范式。 联结词的完备集 了解：一些常用的联结词的完备集。 命题逻辑的推理理论 基本要求 1．掌握重要的重言蕴涵式； 2．理解推理的形式结构和自然推理系统。 重点难点 重点：掌握重要的重言蕴涵式；理解推理的形式结构 难点：通过所掌握重言蕴涵式构造推理证明；掌握演绎法和附加前提法。 授课学时 6学时 推理的形式结构 掌握：重要的重言蕴涵式；理解推理的形式结构 自然推理系统 掌握：重言蕴涵式构造推理证明；掌握演绎法和附加前提法。 一阶逻辑基本概念 基本要求 1．掌握一阶逻辑的命题符号化； 2．理解谓词公式与解释。 重点难点 重点：一阶逻辑命题符号化。 难点：一阶逻辑公式在给定解释下的真值。 授课学时 6学时 一阶逻辑命题符号化 掌握：一阶逻辑的基本概念。 一阶逻辑公式及解释 掌握：一阶逻辑公式；自由变元；约束变元； 解释等概念，公式在给定解释下的真值。 第六章 集合代数 基本要求 1．了解集合的基本概念； 2．理解集合的运算和性质； 3．掌握集合定律、集合恒等式。 重点难点 重点：求子集和幂集集合的运算和性质；集合的计数问题。 难点：灵活运用集合恒等式。 授课学时 6学时 集合的基本概念 了解：常用的集合；会求子集和幂集。 集合的运算 掌握：集合的运算和性质。 第三节 集合恒等式 掌握：并会灵活运用集合恒等式。 第七章 二元关系 基本要求 1．理解二元关系的形式定义及其各种表示方法：序对、矩阵、关系图等；能正确使用集合表达式、关系矩阵、关系图等给定的关系。 2．掌握关系的各种运算，包括集合运算及关系合成和关系的逆运算。 3．熟练掌握二元关系的各种特殊性质：自反、反自反、对称、反对称和传递等，并理解这些性质是如何反映在关系图上、关系矩阵上等。 4．了解集合中二元关系的闭包的意义和简单性质，能求出有限集合上的二元关系的闭包。 5．掌握等价关系的概念，并掌握划分、等价类、商集的定义和基本性质，掌握等价关系与划分之间的关系。 6．了解偏序关系，能画出有限偏序集的Hasse图。 重点难点 重点：合成运算、传递闭包、等价关系。 难点：二元关系的各种特殊性质如自反、反自反、对称、反对称和传递等的。 授课学时 14学时 有序对与笛卡尔积 掌握：有序对；笛卡尔积的基本概念。 二元关系 理解：