离散数学教学大纲.docVIP

《离散数学》教学大纲 （计算机科学与技术、通信工程、网络工程、软件工程、信息安全、测试技术、 JAVA、互联网、信息与计算科学、应用数学等专业本科适用） 参考学时：80 学分：5 课程编号：1005305 一、课程的性质和任务 离散数学是计算机及其应用专业的一门核心课程，对于学习有关计算机理论和实践，离散数学是一个必不可少的工具性学科。 （一）课程的性质 离散数学研究事物间的离散结构和相互关系。通过本课程的学习，使学生建立起现代数学关于离散结构的观点，掌握处理离散量的一些数学方法，并具有较好的逻辑推理和抽象思维的能力，为其它专业基础课的学习做好各种数学知识的准备。 （二）课程的任务 本课程的学习要求学生： 1．充分理解和熟记本课程所包含的各个基本概念； 2．充分理解和熟记研究对象所具有的性质及相互的关系； 3．初步具有将所学的知识联系实际的能力，对简单实例中的具体问题进行判断、计算或论证； 4．通过本课程的学习，掌握各种典型的论证推理方法； 5．通过本课程的学习，在抽象思维和逻辑推理等能力上有较好的提高。 （三）与本课程相关的课程 除要求学生具有矩阵和矩阵运算方面的一些知识外，离散数学基本上是一门体系独立自行封闭的基础数学课程，但由于它内容抽象，理论性较强，因此它需要学生先期有较好的数学思维的训练。最好将此课程安排在高等数学和线性代数课程之后。 本课程为“数据结构”、“数据库原理”、“操作系统”等许多其它专业基础课奠定必要的数学基础。 二、课程内容 第一章 命题逻辑 1．命题、命题联结词； 2．命题变元，命题公式，永真公式，永假公式和可满足公式； 3．命题公式的等值关系和蕴含关系； 4．命题演算的推理方法。 第二章 谓词逻辑 1．谓词、个体和量词； 2．谓词演算公式； 3．谓词演算的等值公式和永真蕴含式； 4．谓词演算的推理理论。 第三章 集合 1．集合和集合的表示方法； 2．子集和幂集的概念； 3．集合之间的关系； 4．集合间的运算及运算定律。 第四章 关系 1．有序n元组，集合的笛卡尔积和关系； 2．关系的三种表示方法：集合表示法，矩阵表示法和关系图表示法； 3．集合A上的关系，逆关系和复合关系； 4．集合A上关系的性质； 5．等价关系、偏序关系和次序图。 第五章 函数 1．函数，函数的定义域和值域； 2．三种特殊的函数：内射、满射和双射； 3．复合函数的定义和复合函数的性质； 4．逆函数和逆函数相关的性质。 第六章 图论 1．图的定义及图中的一些基本概念，例如完全图、连通图、补图、子图、分图等； 2．图的邻接矩阵表示方法； 3．欧拉图和哈米尔顿图； 4．树与有向树 5．二部图与匹配 6．平面图及其判别。 第七章 代数系统的一般概念 1．运算及运算的封闭性； 2．二元运算的一些常见的性质、与二元运算相联系的一些特殊的元素； 3．代数系统与子代数。 第八章 特殊的代数系统 1．半群，独异点和群； 2．群的性质，群的阶，元素的周期； 3．子群及其判别； 4．环和域。 第九章 格和布尔代数 1．偏序集，最小上界和最大下界，最小元素和最大元素； 2．格的两个等价定义及其性质； 3．分配格和有补格； 4．布尔代数的定义及十条基本性质。 三、本课程的基本要求 第一章 命题逻辑 命题和五种命题联结词的定义是本章的基本概念，务必清楚。命题公式的三种类型、命题公式之间的两种关系、命题演算的推理方法均要正确理解，对其证明方法要熟练地掌握。 1．理解命题的概念和五种命题联结词的定义，熟记相应的五种真值表； 2．掌握永真公式，永假公式和可满足公式的定义，并能对给定的公式进行识别； 3．掌握命题公式等值和蕴含的定义，熟记一些最基本的等值式和蕴含式；掌握证明等值关系和蕴含关系的几种方法； 4．理解推理的概念，掌握好推理中的形式证明方法（包括直接证明法和间接证明法），能正确地进行推理。 第二章 谓词逻辑 1．理解个体词、谓词和量词的概念，个体变元的个体域概念； 2．对给定的个体域，能用个体词，谓词和恰当的量词将命题符号化； 3．理解基本的位次公式。 第三章 集合 集合是本课程各章内容的基础，其概念及运算贯穿后面各章，务必学好： 要求基本概念清楚，能判别集合之间的各种关系；能正确进行集合之间的运算，能运用集合成员表及运算定律证明集合恒等式。 1．正确理解并熟记集合，集合的基数，子集，幂集等概念； 2．能正确判断集合之间的包含，其包含和相等关系； 3．能正确进行集合的求并、交、补，及差集的运算； 4．能正确构造集合的成员表，运算成员表来判断集合间的关系； 5．能运用集合的运算定律和成员表进行集合恒等式的证明。 第四章 关系 准确理