1、“.....可达矩阵，关联矩阵，赋权图，最短路径第十四周月日至月日第二十讲图论四欧拉图理论内容欧拉图的有关概念，欧拉定理，中国邮递员问题图第十五周月日至月日第二十讲图论五无向树有向树理论内容树的基本概念，最小生成树，二叉树的遍历与表达式的计算第二十二讲代数结构代数结构简介理论内容代数结构的定义，半群及独异点，子代数，代数结构的同态与同构第十六周月日至月日第二十三讲代数结构二群的定义及性质理论内容群的有关概念，子群，群的同态第十七周月日至月日第二十四讲总复习系主任签名院长签名年月日年月日说明本教学进度表由主讲教师负责填写，于每学期开学第周内送交教师所在系，经领导审定签字后备查。 此表式三份，其中，任课教师份，教师所在系份，教务处份。 二〇年十月四日星期五第讲集合映射和运算教学目标掌握集合的概念与表示理解子集幂集元组与笛卡儿积的概念掌握子集，幂集，笛卡尔积的求法二重点与难点分析重点集合的概念，子集，幂集，笛卡尔积的概念及求法难点幂集三教学内容与教学过程进行自我介绍分钟姓名，联系方式，专业方向......”。

2、“..... 进行课程简介分钟离散数学是研究离散量的结构及相互之间关系的学科是门专业基础课，是数据结构操作系统计算机组成原理数据库原理等课程的数学基础。 特点知识点集中，概念，定理多方法性强学数学就要做数学成绩评定平时成绩到课情况，书面作业，平时测验占,期末考试占进入主题，开始第讲集合的有关概念分钟集合定义集合是具有种特定性质的对象汇集成的个整体，通常用大写字母,表示。 例如滁州学院全体学生计算机与信息工程学院所有女生常见的数的集合,元素集合中的每个对象称为该集合的元素，通常用小写字母,等表示例如滁州学院的每个学生计算机与信息工程学院的每个女生集合的表示方法列举法描述法是自然数且小于递归法二〇年十月四日星期五文氏图特殊集合全题公式和，有证明只需证其他重要等值式设,是任意的命题公式......”。

3、“..... 教学对象网络工程计算机科学与技术专业本科学生二开课学期第三学期三课程类别专业基础课四考核方式考试五参考教材离散数学第版邓辉文清华大学出版社主要参考书目邵学才,叶秀明离散数学北京电子工业出版社，邵志清,虞慧群离散数学北京电子工业出版社，屈婉玲离散数学习题解析北京大学出版社，本课程的先修课程是高等数学线性代数，后续课程包含数据结构数据库原理及应用操作系统数字逻辑人工智能算法分析与设计等。 二教学基本要求与内容安排教学目的与要求离散数学是研究离散量的结构及其相互关系的学科,它在各学科领域特别在计算机科学领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程必不可少的先行课程。 本课程的教学目的旨在通过对离散数学的教学，让学生不但可以掌握处理如集合代数结构和图等离散结构的描述工具和方法，为后续课程的学习创造条件，而且为学生今后提高专业理论水平，从事计算机行业的实际工作提供必备的抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础......”。

4、“.....真假的判断第十讲命题逻辑二命题公式及其真值表理论命题公式的定义命题的符号化命题公式的真值表命题公式的类型第八周月日至月日第十讲命题逻辑三逻辑等值的命题公式理论逻辑等值的定义基本等值式等值演算法对偶原理周数周计划学时学时讲课学时课堂讨论学时实验课学时......”。

5、“.....谓词的概念与表示，量词的概念与表示，个体域，辖域，约束变元和自由变元的含义第十周月日至月日第十五讲谓词逻辑二谓词公式及命题的符号化谓词公式的解释及类型理论谓词公式的定义，将命题用用符号个体，量词，谓词来表示，消去量词的逻辑等值式，永真式，科满足式，永假式及中性式的概念第十六讲谓词逻辑三逻辑等值的谓词公式谓词公式的前束范式理论谓词公式等值的定义，基本等值式，前束范式第十二周月日至月日第十七讲图论图的基本概念节点的度数子图，图的运算和图同构理论图的定义，邻接，关联，简单图，节点的度数，子图第十三周月日至月日第十八讲图论二路与回路图的连通性理论内容路，回路，无向图的连通性，无向连通图的点连通度与边连通度......”。

6、“.....连通性第十九讲图论三图的矩阶逻辑基本概念阶逻辑命题符号化阶逻辑公式及解释阶逻辑等值演算与推理阶逻辑等值式与置换规则阶逻辑前束范式阶逻辑的推理理论数理逻辑在计算机中的应用第二部分集合论讲授集合代数集合的基本概念集合的运算有穷集的计数集合恒等式二元关系有序对与笛卡尔积二元关系关系的运算关系的性质关系的闭包等价关系与划分函数函数的定义与性质函数的复合与反函数双射函数与集合的基数二〇年十月四日星期五个电话系统的描述实例集合论在计算机中的应用第三部分代数结构讲授代数系统二元运算及其性质代数系统代数系统的同态与同构群与环群的定义及其性质循环群与置换群第四部分图论讲授图的基本概念图连通与回路图的连通性图的矩阵表示图的运算欧拉图与哈密顿图欧拉图哈密顿图最短路问题与货郎担问题树无向树及其性质生成树根树及其应用平面图平面图的基本概念欧拉公式平面图的判断平面图的对偶图图论在计算机中的应用教学要求熟练掌握掌握了解三实验内容本课程无实验制订人签字审核人签字教学进度表二〇年十月四日星期五学年第学期授课教师姓名赵欢欢职称助教授课专业网络工程班级级课程名称离散数学教......”。

7、“.....集合的划分与覆盖集合对等可数集合不可数集合第五讲关系关系的概念理论元关系的定义元关系关系的定义域和值域关系的表示函数的关系定义第四周月日题公式的概念，命题公式的真值表，命题公式类型的判断难点命题公式类型的判断三教学内容与教学过程习题讲解分钟上讲内容回顾分钟命题的概念真假命题命题逻辑的表示方式对象语言与元语言连接词符号的表示以及真假的判定进入主题......”。

8、“.....„,有限次应用所得到的符号串是仅有的命题公式例命题公式可称为合式公式或简称为公式,其全称为命题合式公式这儿的公式实际上是书写正确含义清楚的表达式或者说符号串可以省略括号的约定最外层的括号可以省略在形成最终的命题公式时,所有的中间过程得到的命题公式,包含其,,二〇年十月四日星期五本身,都称为该命题公式的子公式,个联结词运算的优先顺序依次为符合本约定的有些括号可以不写如命题公式注这种规定不是唯的同级运算从左至右依次进行如实际上,在对命题进行符号化时,只要书写正确的逻辑函数都是命题公式命题的符号化分钟命题的符号化就是使用符号命题变元逻辑联结词和括号将所给出的命题表示出来方面说明,符号体系来源于实际问题,另方面也是给出进步学习逻辑演算系统的语义解释时的种标准模型命题的符号化的步骤找出所给命题的所有原子命题,并用小写英文字母或带下标表示确定应使用的联结词,进而将原命题用符号表示出来例将下列命题符号化天气很好或很热如果张三和李四都不去,那么我就去仅当你走......”。

9、“.....除非天下雨你只有刻苦学习,才能取得好成绩解或张三不去是复合命题你走,我留下,仅当我今天进城,天下雨除非如果不的类型，最后重点介绍了如何利用真值表法和取值法判断命题公式的类型。 四作业与实验分钟书面作业习题双,双,双,双上机作业无永真永真二〇年十月四日星期五第十讲命题逻辑三教学目标理解命题公式的逻辑等值的概念理解并掌握基本等值式及其他重要等值式掌握等值演算法及其应用二重点与难点分析重点基本等值式，等值演算法难点应用等值演算法三教学内容与教学过程习题讲解分钟上讲内容回顾分钟命题公式的定义命题的符号化命题公式的真值表命题公式的类型进入主题，开始第十讲本讲知识点概括逻辑等值定义给定两个命题公式和,若在任何真值指派下和的真值都相同,则称命题公式和逻辑等价或逻辑等值或简称为等值或相等,记为注与是不同的中的是关系符号，是等值式，是运算符号，是命题公式，运算结果可真可假。 定理的充要条件是永真证明由可知，和的真值是相同的，所以是永真式若为永真式，则和的真值相同......”。