离散数学_授课计划表_2014_2015_1
离散数学(软件)课程18A05《离散数学(软件)》教学进度计划表131学期(BL5)
江西财经大学本科课程教学进度计划表2013—2014学年度第一学期学院软件与通信工程学院教学系软件工程系（课程组）主讲教师赵晓平填表日期：2013 年8月20 日教务处制表填写说明1.本表是教师授课的依据和学生课程学习的概要，也是学校和院（系）进行教学检查、评价课堂教学质量和考试命题质量的重要依据。
有关非理论课教学的课程，可依此样式由院系自行设计。
2.表中“教学形式及其手段”栏主要填写讲授、多媒体教学、课件演示、练习、实验、讨论等内容；“执行情况”栏，主要填写计划落实或变更情况。
3.本表经教研室主任、院(系)教学院长（主任）审签后，不得随意变动。
如需调整，应经教研室和院系教学院长（主任）同意，并在执行栏内注明。
4.本表一式三份（可复印）。
经审签后，任课教师、院（系）和教务处教学质量科各留一份，其电子版本可访问/web/teacherzl/index.asp并登录后提交。
江西财经大学本科课程教学进度计划表2013—2014学年度第一学期主讲教师赵晓平职称讲师学历本科学位研究生主授专业软件工程课程名称离散数学课程编号18A05 班级BL5 学生人数75总学时80 学时，其中课堂讲授62 学时；实验（上机）教学16 学时；其它教学（讨论、见习等）0 学时；机动 2 学时实习实训（包括课程实习、课程实训、课程设计等）0 周教材（名称、主编、出版社、出版时间等）《离散数学》，屈婉玲、耿素云、张立昂，高等教育出版社，2008年3月第一版主要参考书孙吉贵、杨凤杰、欧阳丹彤、李占山编著《离散数学》，高等教育出版社（2002年8月第一版）（英）Bernard kolman等编著《离散数学结构》，高等教育出版社第四版（影印版，2001年7日第一次影印）《离散数学》（修订版），耿素云、屈婉玲，高等教育出版社，2004年1月第二版李盘林、李丽双、赵铭伟等编著《离散数学》，高等教育出版社，（2005年11月第二版）左孝凌等编著《离散数学》，上海科学技术文献出版社（1982年9月第一版）成绩考核说明及要求：考试形式为学校闭卷。
《离散数学教案》课件
《离散数学教案》课件第一章：离散数学简介1.1 离散数学的定义与意义离散数学的定义离散数学在计算机科学中的应用1.2 离散数学的基本概念集合逻辑函数图论1.3 离散数学的研究方法形式化方法归纳法构造法第二章：集合与逻辑2.1 集合的基本概念与运算集合的定义与表示方法集合的运算（并、交、差、补）2.2 逻辑基本概念命题与联结词逻辑推理规则（蕴涵、逆否、德摩根定律）2.3 命题逻辑与谓词逻辑命题逻辑的形式化表示与推理谓词逻辑的形式化表示与推理第三章：函数与图论3.1 函数的基本概念与性质函数的定义与表示方法函数的单调性、连续性、奇偶性3.2 图的基本概念与运算图的定义与表示方法图的运算（节点、边、路径、连通性）3.3 树的基本概念与应用树与图的关系树的结构性质与应用（二叉树、堆、平衡树）第四章：组合数学4.1 组合数学的基本概念排列组合的定义与公式组合数学的应用（计数原理、图论）4.2 组合数学的计算方法直接法、间接法、递推法、函数法4.3 组合数学在计算机科学中的应用算法设计与分析（动态规划、贪心算法）程序语言中的组合类型（类型系统、类型检查）第五章：数理逻辑与计算复杂性5.1 数理逻辑的基本概念命题逻辑的数学模型（布尔代数、逻辑函数）谓词逻辑的数学模型（一阶逻辑、描述逻辑）5.2 计算复杂性的基本概念与分类计算复杂性的定义与度量（时间复杂性、空间复杂性）计算复杂性的分类（P与NP问题、整数分解问题）5.3 离散数学在算法设计与分析中的应用算法设计与分析的基本原则离散数学在算法优化与分析中的作用第六章：关系与映射6.1 关系的基本概念关系的定义与性质关系的类型（对称性、传递性、反身性）6.2 关系的闭包与简化关系的闭包概念关系的简化与规范化6.3 函数与二元关系函数与关系的联系与区别二元组与二元关系的应用第七章：代数结构7.1 代数结构的基本概念群、环、域的定义与性质代数结构在计算机科学中的应用7.2 群与群作用群的定义与运算群作用与群同态7.3 环与域环的定义与性质域的特殊性质与应用第八章：数理逻辑与计算理论8.1 数理逻辑的进一步应用命题逻辑与谓词逻辑的推理规则数理逻辑在计算机科学中的应用8.2 计算理论的基本概念计算模型的定义与分类计算复杂性的理论基础8.3 离散数学在计算理论中的应用计算理论中的逻辑与证明离散数学在算法设计与分析中的作用第九章：组合设计与计数原理9.1 组合设计的基本概念组合设计的定义与类型组合设计在编码理论中的应用9.2 计数原理的基本概念鸽巢原理、包含-排除原理函数的方法与应用9.3 图论与网络流图的遍历与路径问题网络流与最优化问题第十章：离散数学的综合应用10.1 离散数学在计算机科学中的应用算法设计与分析数据结构与程序语言设计10.2 离散数学在数学与应用数学中的作用组合数学在概率论与数论中的应用图论在网络科学与社会网络分析中的应用10.3 离散数学在未来科技发展中的展望量子计算与离散数学与逻辑推理重点和难点解析重点环节一：集合的基本概念与运算集合的表示方法（列举法、描述法）集合的运算（并、交、差、补）重点环节二：逻辑基本概念与推理命题与联结词（且、或、非）逻辑推理规则（蕴涵、逆否、德摩根定律）重点环节三：函数的基本概念与性质函数的定义与表示方法函数的单调性、连续性、奇偶性重点环节四：图的基本概念与运算图的定义与表示方法图的运算（节点、边、路径、连通性）重点环节五：组合数学的基本概念与计数原理排列组合的定义与公式组合数学的应用（计数原理、图论）重点环节六：关系与映射关系的定义与性质关系的类型（对称性、传递性、反身性）重点环节七：代数结构的基本概念群、环、域的定义与性质代数结构在计算机科学中的应用重点环节八：数理逻辑与计算理论数理逻辑的推理规则计算理论的基本概念（计算模型、计算复杂性）重点环节九：组合设计与计数原理组合设计的定义与类型计数原理的应用（鸽巢原理、包含-排除原理）重点环节十：离散数学的综合应用离散数学在计算机科学中的应用（算法设计与分析、数据结构与程序语言设计）离散数学在数学与应用数学中的作用（组合数学在概率论与数论中的应用、图论在网络科学与社会网络分析中的应用）全文总结和概括：本《离散数学教案》课件涵盖了离散数学的基本概念、逻辑推理、函数与图论、组合数学、数理逻辑与计算理论、组合设计与计数原理等多个重要环节。
离散结构日程安排
离散数学教学日程安排
日期教学活动
第1周离散数学概述、命题及其表示法、命题公式及真值表
学习线上资源、完成随堂测试
第2周等值式及等值演算、对偶与范式、主范式
学习线上资源、完成随堂测试、提交第一次课外实验报告（选作）第3周命题演算的推理理论、谓词逻辑基本概念
学习线上资源、完成随堂测试、周末提交提第一次作业
第4周谓词逻辑及其符号化、谓词逻辑等值演算
学习线上资源、完成随堂测试
第5周谓词逻辑的推理理论、集合的基本概念、集合的运算
学习线上资源、完成随堂测试、周末提交提第二次作业
第6周笛卡尔积与关系、关系的运算
学习线上资源、完成随堂测试、提交的二次课外实验报告（选作）第7周关系的性质、关系的闭包
学习线上资源、完成随堂测试、提交的三次课外实验报告（选作）第8周等价关系、偏序关系
学习线上资源、完成随堂测试、周末提交提第三次作业
第9周函数的定义与性质、复合函数和反函数
学习线上资源、完成随堂测试
第10周集合的基数、代数系统概述、二元运算及其性质
学习线上资源、完成随堂测试、周末提交提第四次作业
第11周代数系统、同态与同构、半群与独异点
学习线上资源、完成随堂测试
第12周群的定义与性质
学习线上资源、完成随堂测试
第13周子群
学习线上资源、完成随堂测试、周末提交提第五次作业
第14周图的基本概念、图的矩阵表示
学习线上资源、完成随堂测试
第15周欧拉图、最小生成树
学习线上资源、完成随堂测试、提交的四次课外实验报告（选作）第16周哈夫曼树
学习线上资源、完成随堂测试、周末提交提第六次作业。
《离散数学教案》课件
《离散数学教案》课件第一章：离散数学简介1.1 离散数学的定义与意义介绍离散数学的基本概念和特点解释离散数学在计算机科学和数学领域的应用1.2 离散数学的基本概念介绍集合、图、逻辑、关系等基本概念1.3 离散数学的重要性强调离散数学在计算机科学中的关键作用第二章：集合论2.1 集合的基本概念介绍集合的定义、表示方法和性质2.2 集合的基本运算介绍并集、交集、补集等集合运算2.3 集合的属性与关系探讨集合的无限性、可数性和可序性等属性第三章：逻辑与布尔代数3.1 逻辑的基本概念介绍命题、逻辑联结词和逻辑运算符3.2 命题逻辑探讨命题逻辑的推理规则和真值表3.3 谓词逻辑介绍谓词逻辑的基本概念和推理规则第四章：图论4.1 图的基本概念介绍图的定义、表示方法和基本术语4.2 图的性质与分类探讨图的连通性、路径和圈等性质4.3 图的应用介绍图在网络、社会关系等领域中的应用第五章：组合数学5.1 组合数学的基本概念介绍排列、组合、计数原理等基本概念5.2 组合数学的运算与性质探讨组合数的计算方法和性质5.3 组合数学的应用介绍组合数学在图论、密码学等领域中的应用《离散数学教案》课件第六章：关系与函数6.1 关系的基本概念介绍关系的定义、表示方法和性质6.2 关系的性质与分类探讨关系的对称性、传递性和兼容性等性质6.3 函数的基本概念介绍函数的定义、表示方法和性质第七章：数理逻辑7.1 数理逻辑的基本概念介绍逻辑联结词、命题函数和真值表7.2 命题逻辑的推理规则探讨蕴含式、等价式和逻辑蕴含等推理规则7.3 谓词逻辑的推理规则介绍谓词逻辑的推理规则和模型理论第八章：集合论的高级主题8.1 集合论的公理化介绍ZFC公理系统和集合论的哲学问题8.2 无穷集合的概念探讨无穷集合的性质和无穷性的分类8.3 集合论的应用介绍集合论在数学和计算机科学中的应用第九章：图论的高级主题9.1 树的基本概念介绍树的定义、表示方法和性质9.2 网络与流探讨网络的最大流和最小费用流问题9.3 拓扑排序与最长路径介绍拓扑排序的定义和最长路径问题10.1 组合设计介绍组合设计的概念和类型10.2 代数结构的基本概念介绍群、环、域等代数结构的基本概念10.3 编码理论的基本概念介绍编码理论的基本概念和应用领域《离散数学教案》课件第十一章：组合设计11.1 组合设计的基本概念介绍组合设计、区块系统和平面设计的定义11.2 拉丁方和Steiner系统探讨拉丁方、拉丁平方和Steiner系统的性质和构造方法11.3 组合设计的应用介绍组合设计在编码理论、信息论等方面的应用第十二章：代数结构的基本概念12.1 群的基本概念介绍群的定义、表示方法和性质12.2 环和域的基本概念介绍环和域的定义、表示方法和性质12.3 代数结构的应用探讨代数结构在密码学、编码理论等方面的应用13.1 网络流与匹配介绍网络流、最大流和最小费用流问题的算法和理论13.2 染色问题探讨图的染色问题的算法和理论，包括顶点染色和边染色13.3 代数拓扑和图的同构介绍代数拓扑的基本概念和图的同构问题的算法和理论第十四章：离散数学在应用领域14.1 离散数学在计算机科学中的应用介绍离散数学在算法设计、数据结构、编译原理等方面的应用14.2 离散数学在信息科学中的应用探讨离散数学在信息加密、编码理论、信息传输等方面的应用14.3 离散数学在其他领域的应用介绍离散数学在经济学、生物学、工程学等方面的应用第十五章：离散数学的综合应用15.1 离散数学的综合问题探讨离散数学在实际问题中的应用，如图论在网络设计中的应用、组合设计在通信系统中的应用等15.2 离散数学的案例研究分析离散数学在具体案例中的应用，如Google的PageRank算法、社交网络分析等15.3 离散数学的未来趋势展望离散数学在科学研究和应用领域的未来发展趋势和挑战重点和难点解析本文档涵盖了一个全面的《离散数学教案》课件，共包含十五个章节。
离散数学教案范本
离散数学教案范本《离散数学》教案课⽬：第⼀章命题逻辑教师：熊建英学时： 12课时Ⅰ教学提要⼀、教学对象（⼈数）学⽣：信息安全专业本科⼆年级学⽣50⼈⼆、教学⽬标（任务）各⼩结中知识点掌握程度(* 理解；** 基本掌握；***熟练掌握)三、教学要求（⼀）学⽣：着重知识点的学习，积极思考，参与提问。
（⼆）教官：严格纪律，严密组织、保持良好教学秩序，确保教学效果。
四、教官分⼯主讲教师1名：负责教案编写，课堂的组织教学，教学总结编写。
五、本章重点1、利⽤联接词构造复合命题公式2、真值表的构建3、等值演算4、复合命题公式转化为主析取范式、主合取范式的⽅法5、推理证明六、本章难点1、利⽤命题公式演算、真值表进⾏等值判断和公式类型判断2、利⽤命题公式演算、真值表转化主析取范式、主合取范式3、将现实背景下的条件约束构造为命题公式七、教学⽅法采⽤课堂教授，主要使⽤多媒体课件，部分内容及例题⽤⿊板解释。
⼋、课时分配1.1 命题及联接词2课时；1.2 命题公式及其赋值2课时；1.3 等值式2课时；1.4 析取范式与合取范式2课时；1.5 推理理论与消解法2课时；1.6 命题逻辑应⽤案例2课时；九、场地器材多媒体教室⼗、参考书⽬1、杨圣洪、张英杰、陈义明：《离散数学》，科学出版社，2011年。
2、屈婉玲、耿素云、张⽴昂：《离散数学》，⾼等教育出版社，2008年。
3、屈婉玲、耿素云、张⽴昂：《离散数学学习指导与习题解析》，⾼等教育出版社，2008年。
Ⅱ教学进程1.1 命题及联接词（2课时）⼀、教学内容1、命题的概念表⽰与分类2、五种基本的联接词的逻辑关系3、复合命题的符号化4、复合命题的真值判断⼆、课程时间安排1、⾸先介绍本课程的性质，任务和教学安排，对学⽣明确提出教学上的要求（10分钟）2、介绍离散数学学科的发展历史（20分钟）3、命题与真值、命题的分类、简单命题符号化（15分钟）4、联结词与复合命题（35分钟）5、本次课⼩结（10分钟）三、教学实施（⼀）创设意境、导⼊课程（10分钟）⽬的体会离散数学理论在现实⽣活中的应⽤、是计算机专业多门核⼼课程的基础，让学⽣明⽩“离散数学”课程作⽤和意义。
离散数学课堂教学计划
《离散数学》课堂教学计划任课教师: 刘晓燕上课时间和答疑时间：上课时间：1-19周星期二，1、2节（经B403）7-15周星期五，5、6节（经B403）答疑时间：1-19周星期三，1：30—4：30 地点：经C103任课教师的联系方式：jgliuxiaoyan@或80668939（O）课程简介：离散数学是计算机学科的重要专业基础课程。
该课程结合计算机学科的特点，主要研究离散量结构及相互关系，它是计算机各专业课程的基础，对提高学生抽象思维与逻辑推理能力有重要作用。
掌握集合论、数理逻辑和图论等离散数学基本内容，为学习计算机专业各后续课程做好必要的知识准备。
使学生得到良好的数学训练，提高学生抽象思维和逻辑推理能力，为从事计算机的应用提供理论基础。
考核方式：平时成绩加期末考试评分标准：出勤：5分；课堂表现：5分；作业：10分；期末考试：80分使用教材和推荐参考书：教材：屈婉玲耿素云主编，《离散数学基础》，北京大学出版社，2000年版参考书：徐洁磐编《离散数学导论》（第二版）高等教育出版社祝颂和陆诗娣陈建明曾明编《离散数学》西安交通大学出版社左孝凌李为监刘永才编著《离散数学理论分析题解》上海科学技术文献出版社课堂安排：第一周（2课时）：命题与联结词重点：掌握命题、逻辑联结词的概念第二周（2课时）：公式与解释重点：公式的递归定义，用基本等价公式变换简单的公式第三周（2课时）：范式、析取范式、合取范式重点：公式范式的概念，主析取范式的唯一性特点，用主析取范式判断任意两公式是否等价；公式蕴涵与逻辑结果的概念；形式演绎。
第四周（2课时）：恒真性的判定重点：恒真性的判定方法及意义第五周（2课时）：逻辑推理的基本概念与公式重点：掌握逻辑推理的基本概念与公式第六周（2课时）：推理的应用重点：利用推理原理分析解决实际问题第七周（4课时）：集合的表示法、运算以及集合的应用。
二元关系的定义重点：掌握：子集、空集、全集、相等、幂集等基本概念；集合的表示法；集合的交、并、差、补等概念；交换律、结合律、分配律、De Morgan律等运算律的证明及应用；序偶与迪卡尔积的概念和应用；关系的概念；第八周（4课时）：关系的性质，关系的闭包，等价关系与划分重点：关系的四个性质；等价关系与等价类的概念，划分的有关概念。
离散数学教程课程设计
离散数学教程课程设计导言离散数学是数学中的一门重要学科，其主要研究离散对象以及在这些对象上的数学模型和算法。
它是计算机科学、信息技术、通信工程等领域中必不可少的基础学科之一。
本课程设计旨在针对离散数学的相关知识点，建立一个全面系统的教程，帮助学习者更好地掌握离散数学的理论和方法。
教学目标通过本次课程设计，我们的主要教学目标是：•系统介绍离散数学的相关概念与基础知识；•深入剖析离散对象及其性质，分析其数学模型和算法；•熟练掌握离散数学的各种问题的解决方法和实现技巧；•提高学生学习和应用离散数学的能力和思维水平。
教学内容与方法经过研究和深思熟虑，我们决定采用以下教学内容和方法：一、教学内容1.离散数学的基本概念及其应用–集合论–命题逻辑与谓词逻辑–关系与图论–函数、算法与复杂性2.逻辑推理和证明技巧–命题逻辑的基本概念及其推理规律–谓词逻辑的语法和语义–基本的证明方法：直接证明、间接证明、反证法3.关系与图论–关系的定义、基本性质和操作–图的定义、基本概念和分类–图的遍历、连通性和最短路径算法4.计数和离散概率–数学归纳法的应用–计数和组合数学–离散概率的基本概念和应用二、教学方法1.理论讲解：介绍离散数学的基本概念、理论体系和应用方法，注重概念解释、定理表述、推理论证方法和关键思维基础。
2.知识拓展：使用举例、难点突破、问题分析等教学方法，拓宽学生离散数学的知识面和思维深度，并深入分析和讨论相关概念和方法。
3.实践训练：通过练习题和编程实例，让学生深入理解和运用所学的离散数学知识，锻炼其计算思维和程序设计技能。
教学过程规划本课程设计的教学过程将分为三个阶段：基础阶段、进阶阶段和深化阶段。
一、基础阶段1.课程导入，介绍教学目标和课程内容；2.学习集合论的基本概念及其运算，学习命题逻辑和谓词逻辑的定义和公式，完成相关课后作业；3.学习关系和图论的基本概念和性质，了解图的基本算法，完成相关课后作业。
二、进阶阶段1.学习基本的证明方法，理解命题逻辑的重要性及应用场景，掌握反证法的使用；2.深刻理解图的连通性及最短路径，解决相关遍历问题；3.学习计数和组合数学的基本方法，了解离散概率的基本概念和用途，完成相关课后作业。
离散数学的学习计划[学习资料]
![离散数学的学习计划[学习资料]](https://img.taocdn.com/s3/m/4b58ea4ba45177232f60a293.png)
离散数学的学习计划篇一：离散数学学习计划离散数学是计算机科学系所有专业的基础数学课程。
一方面有其实用性（应用数学的特征），另一方面有其本身作为数学基础课的理论的严谨性。
所以，学习任何一个专题时，首先要精确严格地掌握好概念和术语，正确理解它们的内涵和外延。
因为公理、定理或定律的基石都是概念。
只有正确地理解了概念，才能把握定理的实质，熟练地将公理、定理应用于解决问题。
完全地、精确地掌握一个概念首先要深刻理解概念的内涵，然后举一些属于和不属于该概念外延的正反两方面的实例。
如果对一些似是而非的例子也能辨别的话，应该说就是对这个概念真正理解了。
对一些重要的概念，能记住一两个实例也很管用，这对牢固掌握一个概念是很有好处的。
我觉得应养成一种自觉的学习习惯，就是首先要掌握好基本概念和术语，在此基础上，理解每个基本定理的本质，最后通过学习和借鉴书中提供的例题，独立地完成每一次作业，并且在每次作业完成之后，能自觉地归纳出其中用到的基本解题方法。
注意，千万不要在完全理解相关概念和基本定理之前就匆忙去做相应的习题。
学习数学的唯一途径是实践。
仅看别人怎么做，是不可能学会弹吉他或投篮的，也不可能仅靠阅读本书或听课就能学好离散数学。
必须积极主动地思考。
在阅读数学书时，应该在手头随时备好笔和纸，以便进行详细的推导和计算。
在听数学课前，最好先阅读有关的内容，这样，就可以专注于对内容的理解是否与教授的理解相一致，还可以就一些难点提问。
本书中有很多习题，有些是纯粹的计算题，有些要测试对概念的理解，有些习题则要求给出论证，建议读者多做习题。
学习和理解术语也很重要。
在数学中，传统的做法是对一些简单、常见的词汇赋予特殊的含义，如集合、函数、关系、图、树以及络。
这些词都有严格的定义，必须认真学习。
篇二：离散数学-授课计划表南京邮电大学学院：计算机学院 XX /XX学年第一学期主讲：罗卫兰专业：软件工程《离散数学》授课计划表辅导：罗卫兰班级： B130409-12考查）审查(系、教学中心)：课程编号: B0302021S 学时: 64 学分: 4批准(学院)：教材：《离散数学》，左孝凌等，上海科学技术文献出版社，XX年。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
7.1有序对与笛卡儿积（A）
7.2二元关系（A）
7.3关系的运算（A）
7.4关系的性质（A）
7.5关系的闭包（A）
7.6等价关系与划分（A）
7.7偏序关系（A）
第八章函数（2学时，机动）
8.1函数的定义与性质（B）
8.2函数的复合与反函数（B）
第三部分：代数结构（10学时）
第十章：代数系统（4学时）
10.6
五
10.7
六
10.13
六
10.14
七
10.20
七
10.21
八
10.27
八
10.28
九
11.3
九
11.4
十
11.10
十
11.11
十一
11.17
十一
11.18
十二
11.24
十二
11.25
十三
12.1
十三
12.2
十四
12.8
十四
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
2
2014月2014年12月共14课程名称离散数学课程编号162213010计划时数56学分35理论时数54实验时数作业时数其它采用教材离散数学修订版出版社高等教育出版社出版时间20086编著者统编自编统编使用层次本科年级所用教学大纲名称离散数学课程教学大纲必读书籍和参考书籍实验课或习题学时十一1118十二1124十二1125十三121十三122十四128十四129十五1215142通路与回路a143图的连通性a144图的矩阵表示a第十五章欧拉图与哈密顿图2学时151152哈密顿图a153带权图与货郎担问题b第十六章树5学时161无向树及其性质a162生成树a163根树及其应用a第十七章平面图2学时171平面图的基本概念a172欧拉公式a173平面图的判断b复习与答疑p303305
P319-322：2，4，19，25，37，38，41，42
P337-3411，2，10
1、《离散数学导论》，徐洁磐，高等教育出版社
2、《离散数学典型例题与解法》，邹阿金等，国防科技大学出版社
填写时间： 2014年9月1日 任课教师签名： 系（或教研室）主任签名：
出版时间
2008.6
编著者
耿素云、屈婉玲
统编自编
统编
使用层次
本科
年级
二
专业
计科
所用教学大纲名称
《离散数学》课程教学大纲
周 别
及
日 期
教 学 类 别 及 内 容
必读书籍和
参考书籍
讲 课
实验课或习题
学时
主 要 内 容
学时
主 要 内 容
一
9.9
二
9.15
二
9.16
三
9.22
三
9.23
四
9.29
四
9.30
五
GDOU-B-11-007
广东海洋大学2014—2015学年第一学期授课计划表
任课教师：邹阿金
授课时间：2014年9月～2014年12月（共14周）第1页（总3页）
课程名称
离散数学
课程编号
16221301-0
计划时数
56
学分
3.5
理论时数
54
实验时数
作业时数
其它
2
采用教材
离散数学(修订版)
出版社
高等教育出版社
P140-145：1，6，9，12，15，20，25，31，33，36，46，48
P164-167：2，7，17，20，25
P191-193：1，4，7，10，11，17
P228-231：2，4，5，9，14，36
P288-292：1，5，9，10，21，29，44，46，47
P303-305：1，13，18
14.4图的矩阵表示（A）
第十五章欧拉图与哈密顿图（2学时）
15.1欧拉图（A）
15.2哈密顿图（A）
15.3带权图与货郎担问题（B）
第十六章树（5学时）
16.1无向树及其性质（A）
16.2生成树（A）
16.3根树及其应用（A）
第十七章平面图（2学时）
17.1平面图的基本概念（A）
17.2欧拉公式（A）
17.3平面图的判断（B）
复习与答疑
P15-19:1,2,4，5，14，16，19，22
P39-42：1，2，3，4，7，8，11，12，13，18，19，20
P53-56：1，3，6，9，11，13，15
P68-71：1，2，4，6，7，9，11，14
P84-88：2，5，12，14，17，20
P103-109：1，2，3，7，17，23
10.1 二元运算及其性质（A）
10.2代数系统（A）
第十一章半群与群（6学时）
11.1半群与独异点（A）
11.2群的定义与性质（A）
11.3群的同态与同构（B）
11.4循环群与置换群（A）
第四部分：图论（14学时）
第十四章图的基本概念（5学时）
14.1图（A）
14.2通路与回路（A）
14.3图的连通性（A）
2
2
1
2
2
第一部分： 数理逻辑
第一章命题逻辑基本概念 （4学时）
1.1命题与联结词（A）
1.2命题公式及其赋值（A）
第二章命题逻辑等值演算（4学时）
2.1等值式（A）
2.2析取范式与合取范式（A）
第三章命题逻辑的推理理论（2学时）
3.1推理的形式结构（A）
3.2自然推理系统P（A）
第四章一阶逻辑基本概念（4学时）
4.1一阶逻辑命题符号化（A）
4.2一阶逻辑公式及解释（A）
第五章一阶逻辑等值演算与推理（4学时）
5.1一阶逻辑等值式与置换规则（A）
5.2一阶逻辑前束范式（B）
5.3一阶逻辑推理理论（A）
第二部分： 集合论（12学时）
第六章：集合代数（2学时）
6.1集合的基本概念（A）
6.2集合的运算（A）
6.3集合恒等式（A）