离散数学课程教学大纲64.DOC

西安交通大学 “离散数学”课程教学大纲 英文名称：Discrete Mathematical Structures 课程编码：B05013 学时： 64 学分： 4 适用对象： 计算机科学与技术专业 先修课程： 高等数学、线性代数 使用教材及参考书： 陈建明主编，《离散的数学结构》，西安交通大学出版社，2004年 耿素云主编，《离散数学》，清华大学出版社，1999年 一、课程的性质、目的及任务 离散数学是计算机专业重要的基础理论课程。离散数学以研究离散量的结构和相互关系为主要目标。离散数学着重培养学生的抽象思维和逻辑推理能力，为学生提高专业理论水平打下坚实的数学基础，为后续专业理论课的学习作好准备。离散数学为学生从事计算机专业的实际工作提供必备的数学工具，帮助学生了解数学中的抽象思维与计算机科学实践之间的内在联系，从而获得运用这些思想解决实际问题的能力。 二、教学基本要求 “离散数学”课程共分为三个部分，分别是集合论、代数系统、图论。在教学过程中除讲清楚各部分的基本内容外，还应使学生在以下几方面得到培养和训练。 1. 有效地掌握该门课程中的所有概念。通过讲课和布置一定数量的习题使学生能够使用所学的概念对许多问题作出正确的判断。 2. 通过课程中许多定理的证明过程复习概念，了解证明的思路，学会证明的方法，并使学生掌握定理的内容和结果。 3. 通过介绍各种做题的方法，启发学生独立思维的能力。创造性的提出自己解决问题的方法，提高学生解决问题的能力。 4. 通过该门课程的学习使学生掌握逻辑思维和逻辑推理的能力，培养学生正规的逻辑思维方式。 三、教学内容及要求 集合 1．集合的基本概念与性质 2．集合的基本运算 3．集合的宏运算 要求：掌握集合的基本概念与性质。能够使用所学集合的基本概念与性质通过证明的方式证明集合中的其它性质。学会集合的并、交、补运算和集合的各种宏运算。 关系 1. 关系的基本概念 2. 关系的表示及运算 3. 关系的基本性质 4. 等价关系 5. 半序关系 要求：掌握关系的基本概念与性质。掌握等价关系和对应与等价关系的块状结构之间的关系。掌握半序关系和对应于半序关系的层次结构之间的关系。以及这两类关系所产生的结构。能够使用所学关系的基本概念与性质通过证明的方式证明关系中的其它性质。 函数 1. 函数的基本概念与性质 2. 函数的运算 要求：掌握函数的基本概念与性质。掌握逆函数和复合函数的基本概念与性质。了解函数作为工具在集合势的研究中所起的作用。 代数系统 1. 代数系统的基本概念与性质 2. 代数系统的同构与同态 3. 半群的基本概念与性质 4. 群的基本概念与性质 5. 循环群与子群 6. 环的基本概念与性质 7. 无零因子环与整环 8. 除环与域 要求：掌握代数系统的基本概念和性质。掌握代数系统之间的同构关系和同态关系，并能够证明两个代数系统是否同构或同态。掌握半群、群、环、域等几类基本代数系统的概念与性质。了解代数系统在计算机中的一些应用。 格与布尔代数 1. 格的基本概念与性质 2. 有界格、有补格、分配格 3. 布尔代数的基本概念与性质 要求：掌握格的基本概念与性质。学会有界格、有补格、分配格和有补的分配格等几种特殊性质的格。掌握布尔代数的基本概念与性质。了解布尔表达式等相关内容。 图论 1. 图的基本概念与性质 2. 路与圈 3. 图的矩阵表示 4. 带权图的最短路径 5. Euler图 6. Hamilton图 7. 二分图 8. 平面图 9. 树 要求：掌握图的基本概念与性质。掌握图路和圈的基本概念和应用，在此基础上掌握图中的可达性和连通性的概念和求解方法。掌握Euler图、Hamilton图、二分图、平面图等各种图中解决实际问题的基本方法。掌握图中树的基本概念和性质。掌握自由树和有根树这两类树的具体内容。 四、课内学时分配 章 内容 参考学时 1 集合的概念、性质与运算 8 2 关系的概念、性质，几种关系 8 3 函数的概念、性质与运算 6 4 各种类型的代数系统 16 5 格与布尔代数 8 6 图论基本概念和几种特殊的图 18 五、课外学时分配 章 内容 参考学时 1 集合的概念、性质与运算 2 2 关系的概念、性质，几种关系 2 3 函数的概念、性质与运算 2 4 各种类型的代数系统 4 5 格与布尔代数 2 6 图论基本概念和几种特殊的图 4 大纲制定者：陈建明 执笔 大纲审定者：曾 明 大纲批准者：