离数学教程.ppt

离散数学教程 离散数学教程 (集合论与图论) (集合论与图论) 离散数学:计算机科学与技术的数学基础课 离散数学:计算机科学与技术的数学基础课 内容:集合论,图论,组合数学,代数结构,数 内容:集合论,图论,组合数学,代数结构,数 理逻辑 理逻辑 集合论:(第1-4章) 集合论:(第1-4章) 图论:(第5-9章) 图论:(第5-9章) 组合数学:(第10-12章) 组合数学:(第10-12章)教师介绍 教师介绍教师:吴永辉博士 副教授教师:吴永辉博士 副教授? 简历: 简历:? 1984-1988 上海科技大学计算机系 本科 1984-1988 上海科技大学计算机系 本科1988-1991 复旦大学计算机系硕士1988-1991 复旦大学计算机系硕士1991-2003 华东师范大学计算机系 工作1991-2003 华东师范大学计算机系 工作? 1998-2001 复旦大学计算机系 博士 1998-2001 复旦大学计算机系 博士2003-复旦大学计算机系 工作2003-复旦大学计算机系 工作答疑E-mail: mzxfdchosen@ 答疑E-mail: mzxfdchosen@ 《集合论与图论》课件制作软件 《集合论与图论》课件制作软件Microsoft PowerPointMicrosoft PowerPoint? MathType Equation MathType Equation《集合论与图论》课程大纲 《集合论与图论》课程大纲课程性质与目的课程性质与目的? 教学内容与要求 教学内容与要求使用教材、参考书籍使用教材、参考书籍命题说明和题型命题说明和题型课程性质、目的与基本要求 课程性质、目的与基本要求课程性质课程性质本课程讲授计算机科学与技术的数学基础本课程讲授计算机科学与技术的数学基础 课《离散数学》的部分主要内容:集合论、图 课《离散数学》的部分主要内容:集合论、图 论与组合数学初步,是计算机专业的主干课程 论与组合数学初步,是计算机专业的主干课程 之一。 之一。 本课程前行课程为线性代数,数学分析 本课程前行课程为线性代数,数学分析 上。 上。 课程目的课程目的 使学生掌握集合论、图论与组合数学初 使学生掌握集合论、图论与组合数学初 步的基本内容,并对证明的思想和方法深入理 步的基本内容,并对证明的思想和方法深入理 解和体会,初步培养学生的思维过程的数学化。 解和体会,初步培养学生的思维过程的数学化。基本要求:基本要求:掌握集合论、组合学和图论的基本概掌握集合论、组合学和图论的基本概念,清楚了解引入基本概念的实际背景、 念,清楚了解引入基本概念的实际背景、 各概念间相互关系;掌握基本定理以及有 各概念间相互关系;掌握基本定理以及有 关理论题的证明技巧;掌握解决计数问题 关理论题的证明技巧;掌握解决计数问题 的基本方法和技巧;掌握图论中各算法设 的基本方法和技巧;掌握图论中各算法设 计的思想、正确性证明以及算法的应用。 计的思想、正确性证明以及算法的应用。 为进一步学习计算机其他课程打下坚实的 为进一步学习计算机其他课程打下坚实的 基础。 基础。教 学 方 式 教 学 方 式本课程以课堂讲授为主。 本课程以课堂讲授为主。 考 核 方 式 考 核 方 式 平时作业;平时作业;? 集合论、组合数学和图论3次课堂练习; 集合论、组合数学和图论3次课堂练习;? 期中,期末的两次笔试考试。 期中,期末的两次笔试考试。 教学内容与要求 - - - -集合论 教学内容与要求 - - - -集合论第一章集合的基本概念第一章集合的基本概念 掌握:集合的基本概念,集合的运算。 掌握:集合的基本概念,集合的运算。 了解:集合论的悖论。掌握证明两个集合相 了解:集合论的悖论。掌握证明两个集合相 等的基本法和公式法。 等的基本法和公式法。? 第二章 关系 第二章 关系 掌握:关系的性质、运算和关系的闭 掌握:关系的性质、运算和关系的闭 包,以及等价关系和偏序关系。了解:关系 包,以及等价关系和偏序关系。了解:关系 在关系数据库中的应用。掌握证明的类型。 在关系数据库中的应用。掌握证明的类型。 第三章 函数第三章 函数 掌握:函数的基本概念,复合函数和逆函数。 掌握:函数的基本概念,复合函数和逆函数。了解:集合的特征函数。 了解:集合的特征函数。 第四章无限集第四章无限集掌握:基数及基数的比较,判断可列集与不掌握:基数及基数的比较,判断可列集与不 可列集的方法。了解:集合的递归定义。 可列集的方法。了解:集合的递归定义。 教学内容与要求 - - - -组合数学初步 教学内容与要求 - - - -组合数学初步 第十章 鸽笼原理第十章 鸽笼原理 掌握:利用鸽笼原理解决组合数学中一些存 掌握:利用