离散数学教学大纲09版.docVIP

《离散数学》课程教学大纲 （Discrete Mathematics） 一、基本信息 课程编号课程类别： □通认教育√专业类教育 □专业教育 □实践教学 □课外教育 课程属性：√必修 □选修 适用层次：本科 适用专业：计算机科学与技术、网络工程、软件工程 开课学期：3 总学分：4 总学时：64学时（理论课54学时，实验课10学时） 考核方式：考试 二、课程教育目标 离散数学的教育目标是通过本课程的学习使学生掌握必要的计算机数学知识，为学生的后续专业课学习及将来从事的软、硬件开发和应用打下坚实的基础，并使他们得到抽象思维和逻辑推理能力方面的培养。 三、教学内容与要求 1.理论课教学内容 （1） 数学语言与证明方法 主要包括：常用的数学符号；集合及其运算；证明方法概述（自学内容）。 基本要求：掌握集合论基本概念及其运算，了解证明方法。 （2）关系 主要包括：关系的定义及其表示；关系的运算（关系的合成运算、关系的逆运算、关系的幂、闭包运算）；关系的性质（自反与反自反、对称与反对称、传递性质）；等价关系与偏序关系。 基本要求：掌握二元关系的基本概念、基本运算与性质；掌握关系上的闭包运算、等价关系与划分以及偏序关系的概念；理解等价关系与偏序关系的性质。 （3）函数 主要包括：函数的定义及其性质；函数的复合与反函数 基本要求：掌握函数的基本概念；理解函数的复合。 （4）图论 主要内容：图的基本概念；路径的连通性；图的矩阵表示（关联矩阵、邻接矩阵、可达矩阵、）；几种特殊的图，包括二部图、欧拉图。 基本要求：掌握图和连通的基本概念、欧拉路径、欧拉图的判断方法、图的矩阵表示。 （5）树及其应用 主要内容：无向树的基本概念10学时。实验内容的选择要尽量结合本课程基本内容，并结合《数据结构与算法》的基本算法，具有一定的典型性和灵活性，一次实验内容不宜太多、太难。 实验课教学内容及要求概述如下： （1）判断关系的性质 基本要求：对给定表示有穷集上关系的矩阵，确定这个关系是否是自反的或反自反的；对称的或反对称的；是否传递的。 （2）判断给定的代数系统〈G，*〉是否为群 基本要求：对给出的一个代数系统〈G，*〉，其中G={1，2，…,n}，*运算由运算表矩阵给出，要判断： 〈G，*〉是否为半群； 〈G，*〉是否为含幺半群； 〈G，*〉是否每个元素关于*运算都是可逆的。 如果满足上述三个条件，则〈G，*〉是群。 （3）最小生成树的Kruskal算法 基本要求：设给定的无向连通图具有n个节点，m条边，首先，将各条边的权按从小到大的顺序排序。然后依次将这些边按所给图的结构放到生成树中去。如果在放置某一条边的时候，使得生成树形成回路，则删除这条边。这样，直至生成树有n-1条边时，我们所得到的就是一棵最小生成树。 （4）合式公式的表示 基本要求：对给出的任意一个合式公式（不超过四个命题变元），使学生会用C语言或C++的语句表示出来，并能够计算它在各组真值指派下所应有的真值。 四. 作业、练习的安排与要求 课内习题课：每章内容结束后根据讲授内容布置2~3个作业题。 学生课外作业为程序设计提高题。 五. 各个章节学时分配 章节 主 要 内 容 各个教学环节学时分配 备 注 理论课 实验课 习题课 讨论课 小计 一 集合 4 4 二 关系 10 4 14 三 函数 4 2 6 四 图论 6 6 五 树及其应用 2 2 4 六 代数 8 2 2 12 七 命题逻辑 8 2 10 八 一阶逻辑 6 2 8 合 计 48 10 6 64 六. 相关联的课程 1.预修课程 线性代数A、程序设计基础、面向对象方法。 2.后续课程 数据结构与算法、数据库概论、操作系统、软件工程、网络安全、人工智能原理等课程。 七. 教材与教学参考书 1.建议教材： [1] 屈婉玲等编著.离散数学.清华大学出版社,2008.2 [2] 方世昌编著.离散数学.西安电子科技大学出版社,2002.6 2.建议参考书目： [1] Bernard Kolman, Robert C.Busby, Sharon Cutler Ross. Discrete Mathematical Structures. 高等教育出版社，2001.7 [2]李盘林等编著.离散数学 K.H.Rosen. Discrete Mathematics and Its?Application. McGraw-Hill,1999 [4] 朱洪等离散数学教程上海科学技术文献出版社，九.其它有关问题的说明 可根据的最新发展和学生的实际情况适当调整教学内容和课时分配。