离散数学函授教学大纲.docVIP

《离散数学》函授教学大纲 第一部分 大纲说明 一、课程的性质与任务 《离散数学》是数学专业及专科升本科教学中一门基础课程。通过本课程的学习，要具有现代数学的观点和方法，并初步掌握处理离散问题所必须的描述工具和方法。同时，也要培养抽象思维和慎密概括的能力，具有良好的开拓专业理论的素质和使用所学知识，分析和解决实际问题的能力。 二、课程的目的与要求 本课程主要有集合论、代数系统、数理逻辑、图论等内容，是一门理论性较强，应用性较广的课程。因此，通过本课程的学习，要掌握离散数学的基本概念和基本原理，进一步提高抽象思维和逻辑推理的能力。 三、课程的自学要求层次 自学要求中，有关定义、定理、性质、特征等概念的内容要求，由低到高分“知道、了解、理解”三个层次；有关计算、解法、公式、法则等方法的内容要求，由低到高分“会、掌握、熟练掌握”三个层次。 第二部分 教学学时和教学建议 一、学时分配 本课程面授为28学时，具体教学进度安排安排如下： 序号 内 容 课内 学时 备 注 1 集合论 1 集合及其运算 1 　 2 二元关系与函数 1 　 2 关系与映射 1基本概念、运算、性质、关系上的闭包运算 3 　 2 次序、相容、等价关系 3 　 3 映射 1 3 无限集 1 性质、基数 1 4 代数系统 1基本概念、群 2 　 2其他代数系统 2 　 5 图论 1基本概念、道路、回路与连通性 2 　 2 欧拉图、哈密尔顿图 2 　 3 图的矩阵表示法及树 2 4平面图与两步图 2 6 数理逻辑 1 命题逻辑、谓词逻辑 3 2 公理化理论及设计语言 3 合 计 28 　 二、教材 教材采用徐洁磐主编的《离散数学导论》，由高等教育出版社出版。 三、教学环节 1. 先修课程 高等数学，线性代数，概率与数理统计。 第三部分 教学内容与教学要求 第一章 绪言 第二章 集合论初步 学习内容： 1.集合论基础 2.幂集、n重有序数组及笛卡儿积 自学要求： 1.掌握集合的两种表示法，理解集合的包含与相等、幂集等基本概念。 2.熟练掌握集合的交、并、补、差、对称差等运算，并通过文氏图加深理解。 会做笛卡儿积的运算。 3.熟练掌握集合的基本运算，并能用以证明集合恒等式。 第三章 关系与映射 学习内容： 1.关系的概念 2.关系运算 3.关系的性质 4.关系上的闭包运算 5.次序关系 6.相容关系 7.等价关系 8.映射 自学要求： 1.理解关系的概念及其性质。 2.掌握关系上的闭包运算。 3.理解次序关系、相容关系、等价关系的有关概念 4.理解映射的概念，并掌握其判定方法。 第四章 无限集 学习内容： 1.无限集的性质 2.集合的基数 自学要求： 1.掌握无限集合的概念、性质。 2.掌握无限集合的基数。 第五章 代数系统 学习内容： 1.代数系统的基本概念 2.半群与单元半群 3.群论 4.其他代数系统 自学要求： 1.理解代数系统及群的概念、性质； 2.了解环、域、格及布尔代数的概念。 第六章 图论 学习内容： 1.图的概念 （图的表示，有向图、无向图、度、同构） 2.道路、回路与连通性 3.欧拉图 4.哈密尔顿图 5.图的矩阵表示法 6.树 7.平面图与两步图 自学要求： 1.理解图的有关概念； 2.理解道路、回路的定义，掌握道路、回路的判断方法； 3.理解欧拉图的定义，了解相关定理及应用； 4.理解哈密顿图的定义，知道相关定理及应用； 4.掌握图的表示方法； 5.理解树的等价定义，了解相关最短树与哈夫曼树的有关定理及应用； 6.理解平面图与两步图。 第七章 数理逻辑 学习内容: 1.命题逻辑基本概念；命题逻辑的等值演算和推理演算 2.谓词逻辑基本概念；谓词逻辑的等值和推理演算 3.公理化理论 4.设计语言 自学要求： 1.理解命题概念，会判断语句是否命题。 2.掌握六个联结词的真值表，掌握公式与真值表的关系与构造方法。 3.掌握命题的基本等值公式，并熟练掌握对合式公式进行等价变换的方法。 4.掌握用主析取范式判断两个公式是否等价的方法，以及命题逻辑的判定问题。 5.理解等价式蕴涵式与逻辑结论的概念。 6.掌握：命题逻辑的推理演算方法。 7.理解谓词、量词、变元、个体域等概念。 8.掌握用谓词、量词、联结词构造谓词逻辑公式的方法。 9.掌握谓词公式在给定解释下求真值的方法。 10.会将谓词逻辑化为前束公式。 11.会将谓词逻辑作为工具，将命题符号化，并能用推理规则进行逻辑证明。 自学建议： 离散数学是理论性较强的数学学科，学习离散数学的关键是把握好概念。把握好概念就要讲清概念；多做练习。