《离散数学B》课程教学大纲.docxVIP

第 PAGE 1 页/共 NUMPAGES \* Arabic 4 页 《离散数学B》课程教学大纲 课程编号总学时数：64 总学分数：4 课程性质：学科基础课程 适用专业：计算机科学与技术 一、课程的任务和基本要求： 离散数学是计算机科学与技术专业的一门专业基础课。它所研究的对象是离散数量关系和离散结构数学结构模型，是学生进一步学习《数据结构》、《操作系统》、《编译原理》、《算法分析与设计》、《计算机体系结构》等专业课的基础。 本课程主要介绍集合论、代数系统、图论以及数理逻辑四个部分。通过课堂讲解及课后练习，使学生掌握离散量的结构及其相互间的关系，培养学生的抽象思维、逻辑推理、符号演算和慎密概括的能力。 二、基本内容和要求： 第一章 集合论初步 1．集合的基本概念，集合的运算，集合的图解表示，集合的基本定律。 2．幂集、笛卡儿乘积。 本章教学要求： 要求掌握集合的基本概念、集合的运算及其基本定律，学会用集合的观点来描述和解决问题。 第二章 关系 1．关系的基本概念、有关定义及图的表示方法。 2．关系的运算，复合关系与逆关系的定义及有关定理。 3．关系的五种重要性质的定义及判定。 4．关系的三种闭包的定义和运算及有关定理。 5．三种重要关系：偏序关系的定义，哈斯图，极大（小）元、最大（小）元、上（下）界、上（下）确界及有关定理；相容关系的定义，极大相容性分块，完全覆盖的有关定理；等价关系、等价类、划分的的定义，以及三者之间关系的有关定理，商集的概念。 本章教学要求： 掌握关系的有关概念及基本性质并能进行相应的运算，能够通过关系的图的表示法进行关系性质的判定和相应的运算。弄清等价关系、相容关系、偏序关系三者之间的联系，并会对各种关系进行判定及表示。掌握关系的闭包的定义及计算。掌握偏序关系的定义，能够作出偏序集的哈斯图，指出偏序集的最大（小）元，极大（小）元，上（下）界，上（下）确界。会求等价类及商集，搞清等价关系、相容关系与覆盖和划分的联系。 第三章 函数 1．函数的基本概念，映射、单射、满射、双射的定义。 2．反函数和复合函数的定义及有关定理。 本章教学要求： 掌握函数、映射、单射、满射、双射的定义并能进行相应的运算。弄清关系与映射之间的联系。 第四章 有限集与无限集 1．有限集与无限集的基本概念，基数的概念及有关定理。 2．无限集的性质，等势的概念，可列集的定义及有关定理。 本章教学要求： 了解集合的等势、基数概念，掌握有关集合基数的一些结论，加深对于无限集的理解，知道常见的可列集有哪些，会进行集合间基数的比较。 第五章 代数系统基础 1．代数系统的基本概念和常见的一些性质(结合律、交换律、分配律 ，单位元素、逆元素、零元素)。 2．代数系统的同构与同态及相关定理。 3．自然同态、同余关系及商代数。 本章教学要求： 理解代数系统、子代数的基本概念和性质，掌握二元运算及其性质，了解同态与同构的概念。 第六章 群论 1．半群的基本概念与性质：半群，子半群，可换半群、单元半群、循环单元半群的定义及相关定理。 2．群的基本概念与性质：群的定义和性质，子群的概念，群同构，变换群的相关性质，循环群的定义及相关性质。 3．子群：有关定理，子群的陪集及拉格朗日定理，正规子群与同态。 本章教学要求： 理解半群和群的概念，掌握其性质及其判别法，了解子群、子群的陪集定义，理解拉格郎日定理，了解代数系统在计算机中的一些应用。 第七章 其他代数系统 1．环、理想、整环和域：环的基本概念和性质，理想、整环和域的概念，整环和域的性质。 2．格与布尔代数的基本概念与性质　　本章教学要求： 掌握环、整环、域、格及布尔代数的基本概念与性质。 第八章 图论原理 1．图的基本概念：图和子图的定义，图的同构，图中结点的次数。 2．通路与回路：通路与回路，基本通路与基本回路，图的连通性。 3．欧拉图与汉密尔顿图：欧拉通路、欧拉回路、汉密尔顿通路、汉密尔顿回路、欧拉图和汉密尔顿图的定义及有关判定定理。 4．图的矩阵表示：图的矩阵表示方法，邻接矩阵，可达矩阵。 本章教学要求： 掌握图的基本概念和性质，会用矩阵表示图。掌握图中通路和回路的基本概念和应用。 第九章 常用图 1．树：树的定义及性质，有向树、无向树的定义，二元树的定义，生成树的定义及有关定理，最小生成树的定义及求法。 2．平面图和两步图：平面图、欧拉公式，判别平面图的库拉托夫斯基定理，两步图的定义和判别定理。 本章教学要求： 理解树及等价定义，掌握根树、二元树的定义