玉溪师范学院信息技术工程学院计算机科学与技术专业离散数学
玉溪师范学院
信息技术工程学院
计算机科学与技术专业
离散数学
课程教学实施方案
马瑜
2010年9月
目 录
一、课程描述1
二、课程定位与要求1
三、课程目标2
四、内容大纲2
五、教学内容的组织方式14
六、学习指导20
七、课程考核方案21
八、课件21
一、课程描述
课程名称:离散数学(Discrete Mathematics)
课程性质:离散数学是计算机科学与技术专业的核心基础理论课程,专业必修课。在计算机科学与技术专业课程体系中起到重要的基础理论支撑作用。
与其他课程的关系:高等数学、线性代数和高级语言程序设计课程是离散数学学习的基本准备,后续课程包括数据结构、数据库、编译技术和网络技术等。
基本学时:建议90学时;周学时:5;学分:5。
二、课程定位与要求
1、课程定位:离散数学是计算机科学与技术专业的重要基础课程,属于专业基础课,在专业课中有着广泛的应用。本课程定位于“应用型”人材的培养,以主要讨论具有离散特征的变量和结构及相互关系。抽象思维能力逻辑推理能力提高学生分析问题、解决问题的能力 在教学中注意贯穿主线知识点的连贯性和顺序性对教学对象的情况进行分析,了解学生的基础知识掌握程度、使用计算机的能力等实际情况设计好的最优化教学方案,结合专业发展历史与最新前沿,启迪学生的创新实用为主,够用为度的原则,复合关系,复合关系的性质
逆关系,逆关系的性质,关系复合与逆混合运算的性质5、关系的闭包关系的闭包的定义,求法,闭包性质6、等价关系等价关系的定义与判断,等价类,商集,等价关系与集合划分的对应7、相容关系相容关系,相容类与极大相容类,完全覆盖,覆盖决定的相容关系8、序关系偏序关系,哈斯图
特殊元(最大元,最小元,极大元,极小元,上界,下界,上确界,下确界)
全序关系与全序集,良序集函
数
与
集
合
基
数1、函数的基本概念函数定义,单射、满射与双射62、复合函数与逆函数复合函数,性质
逆函数的定义及存在条件,逆函数的性质
复合与逆的函数运算性质3、基数的概念基数的概念,自然数与自然数集合4、可数集与不可数集可数集,可数集的性质,不可数集
代
数
结
构代
数
系
统
基
础1、代数系统的基本概念代数系统的定义:运算和性质4+1+12、几种特定的代数系统群,半群,环,域3、格与布尔代数的基本概念格,分配格,有补格,布尔代数,布尔表达式图论图
的
基
本
概
念1、图的定义结点、边(有向边和无向边),端点,孤立点,环,邻接,关联,零图,平凡图5+12、图的表示图的集合表示,图的图形表示,图的矩阵表示3、图的操作删除边,删除结点,边的收缩,加新边4、图的分类无向图与有向图,简单图和多重图,有权图与无权图5、子图与补图子图与真子图,生成子图,导出子图
全图,补图6、结点度数与握手定理结点的度数,出度和入度,
握手定理,握手定理的推论,度数序列7、图的同构图同构的定义,判断,图同构的必要条件图
的
连
通
性通路与回路通路和回路,通路的起点、终点和端点,通路的长度,简单通路和简单回路,基本通路和基本回路,距离,通路和回路的基本性质
两点间长度为m的通路数的计算
可达和可达矩阵,可达性的判断4+22、连通性无向连通图与连通分支,有向连通图(强连通、单向连通、弱连通)特
殊
图1、欧拉图欧拉通路、欧拉回路与欧拉图,欧拉图的判断定理及推论,桥与割边
Fleury算法6+1+12、哈密尔顿图哈判定定理密尔顿通路,哈密尔顿回路,哈密尔顿图,哈密尔顿图的判断定理及推论3、偶图与匹配偶图(二分图),互补结点子集,完全偶图,偶图的判定定理
匹配、匹配的判断定理4、平面图平面图的面(有限面和无限面)、边界、次数,欧拉公式及其应用
树1、树的定义与性质树、叶、分支点、内部结点、森林、平凡树
树的基本性质42、生成树生成树、树枝和弦、生成树的补
生成树的求法
最小生成树及其算法3、根树根树的基本概念
哈夫曼树算法
【《离散数学》教学内容和要求】
1、命题逻辑
基本学时:建议讲授14学时,课堂讨论2学时,习题讲授2学时。
教学要求:使学生了解离散数学的发展历程;理解命题的相关概念,会判断语句是否命题;掌握五个联结词的真值表,掌握公式与真值表的关系与构造方法;理解等价式、蕴含式的概念;掌握等价式、蕴含式的证明;掌握公式的范式命题、原子命题、命题、命题、复合命题、五种常用的命