复旦大学:《离散数学》课程教学讲义(集合论)绪论、第一章 集合的基本概念

离散数学教程 (集合论与图论) 离散数学:计算机科学与技术的数学基础课 内容:集合论,图论,组合数学,代数结构,数 理逻辑 集合论:(第1-4章) 组合数学初步:(第5-7章) 图论:(第8-11章)
离散数学教程 (集合论与图论) 离散数学:计算机科学与技术的数学基础课 内容:集合论,图论,组合数学,代数结构,数 理逻辑 集合论:(第1-4章) 组合数学初步:(第5-7章) 图论:(第8-11章)

教师介绍 ■教师:吴永辉博士副教授 ■简历: ■1984-1988上海科技大学计算机系本科 ■1988-1991复日大学计算机系 硕士 ■1991-2003华东师范大学计算机系工作 ■1998-2001复旦大学计算机系 博士 ■2003 复旦大学计算机系 工作 答疑E-ma:yhwu@fudan.edu.cn
教师介绍 教师:吴永辉 博士 副教授 简历: 1984-1988 上海科技大学计算机系 本科 1988-1991 复旦大学计算机系 硕士 1991-2003 华东师范大学计算机系 工作 1998-2001 复旦大学计算机系 博士 2003- 复旦大学计算机系 工作 答疑E-mail: yhwu@fudan.edu.cn

《集合论与图论》课件制作软件 Microsoft powerpoint MathType Equation
《集合论与图论》课件制作软件 Microsoft PowerPoint MathType Equation

《集合论与图论》课程大纲 课程性质与目的 教学内容与要求 使用教材、参考书籍 命题说明和题型
《集合论与图论》课程大纲 课程性质与目的 教学内容与要求 使用教材、参考书籍 命题说明和题型

课程性质、目的与基本要求 裸程性质 本课程讲授计算机科学与技术的数学基础8 课《离散数学》的部分主要内容:集合论、图 论与组合数学初步,是计算机专业的主干课程 之 本课程前行课程为线性代数,数学分析 (上)。 课程目的 使学生掌握集合论、图论与组合数学初 步的基本内容,并对证明的思想和方法深入理 解和体会,初步培养学生的思维过程的数学化
课程性质、目的与基本要求 课程性质 本课程讲授计算机科学与技术的数学基础 课《离散数学》的部分主要内容:集合论、图 论与组合数学初步,是计算机专业的主干课程 之一。 本课程前行课程为线性代数,数学分析 ( 上 ) 。 课程目的 使学生掌握集合论、图论与组合数学初 步的基本内容,并对证明的思想和方法深入理 解和体会,初步培养学生的思维过程的数学化

基本要求: 掌握集合论、组合学和图论的基本概 念,清楚了解引入基本概念的实际背景 各概念间相互关系;掌握基本定理以及有 关理论题的证明技巧;掌握解决计数问题 的基本方法和技巧;掌握图论中各算法设 计的思想、正确性证明以及算法的应用 为进一步学习计算机其他课程打下坚实的 基础
基本要求: 掌握集合论、组合学和图论的基本概 念,清楚了解引入基本概念的实际背景、 各概念间相互关系;掌握基本定理以及有 关理论题的证明技巧;掌握解决计数问题 的基本方法和技巧;掌握图论中各算法设 计的思想、正确性证明以及算法的应用。 为进一步学习计算机其他课程打下坚实的 基础

教学方式 本课程以课堂讲授为主
教学方式 本课程以课堂讲授为主

考核方式 平时作业; ■集合论、组合数学和图论3次课堂练习; 期中,期末的两次笔试考试
考核方式 平时作业; 集合论、组合数学和图论3次课堂练习; 期中,期末的两次笔试考试

教学内容与要求-集合论 ■第一章集合的基本概念 掌握:集合的基本概念,集合的运算, 了解:集合论的悖论。掌握证明两个集合相 等的基本法和公式法。 第二章关系 掌握:关系的性质、运算和关系的闭 包,以及等价关系和偏序关系。了解:关系 在关系数据库中的应用。掌握证明的类型o
教学内容与要求----集合论 第一章 集合的基本概念 掌握:集合的基本概念,集合的运算。 了解:集合论的悖论。掌握证明两个集合相 等的基本法和公式法。 第二章 关系 掌握:关系的性质、运算和关系的闭 包,以及等价关系和偏序关系。了解:关系 在关系数据库中的应用。掌握证明的类型

第三章函数 掌握:函数的基本概念,复合函数和逆函数 了解:集合的特征函数 第四章无限集 掌握:基数及基数的比较,判断可列集与不 可列集的方法。了解:集合的递归定义
第三章 函数 掌握:函数的基本概念,复合函数和逆函数。 了解:集合的特征函数。 第四章 无限集 掌握:基数及基数的比较,判断可列集与不 可列集的方法。了解:集合的递归定义
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_15 Application and Limitations.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_14 Soundness and Completeness of Predicate Logic.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_13 Tableau Proof of Predicate Logic.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_12 Semantics of Predicated Language.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_11 Term, Formula and Formation Tree.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_10 Predicates and Quantifiers.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_09 Deduction from Premises,Compactness, and Applications.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_08 Soundness and Completeness of Propositional Logic.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_07 Tableau Proof System.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_06 Truth Assignments and Valuations.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_05 Formation Tree and Parsing Algorithm.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_04 Proposition, Connectives and Truth Tables.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_03 Introduction to Logic.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_02 Lattice(II).pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_01 Lattice(I).pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_15 Application of Logic Limitation of First Order Logic.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_14 Soundness Completeness Compactness.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_13 Atomic tableaux Tableau proof Property of CST.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_12 Structure Interpretation Truth Satisfiable Consequence.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_11 Terms Formuals Formation tree.pdf
- 复旦大学:《离散数学》课程教学讲义(集合论)第二章 关系(主讲:吴永辉).pdf
- 复旦大学:《离散数学》课程教学讲义(集合论)第三章 函数.pdf
- 复旦大学:《离散数学》课程教学讲义(集合论)第三章 函数.pdf
- 复旦大学:《离散数学》课程教学讲义(集合论)集合论习题解析——经典习题与考研习题.pdf
- 复旦大学:《离散数学》课程教学讲义(集合论)01 集合代数.pdf
- 复旦大学:《离散数学》课程教学讲义(集合论)02 二元关系.pdf
- 复旦大学:《离散数学》课程教学讲义(集合论)03 函数(主讲:王智慧).pdf
- 复旦大学:《离散数学——组合数学》电子讲义_绪论、第五章 鸽笼原理(吴永辉).pdf
- 复旦大学:《离散数学——组合数学》电子讲义_第六章 排列与组合(吴永辉).pdf
- 复旦大学:《离散数学——组合数学》电子讲义_第七章 生成函数与递推(吴永辉).pdf
- 复旦大学:《离散数学》课程教学讲义(图论)第八章 图的基本概念.pdf
- 复旦大学:《离散数学》课程教学讲义(图论)第九章 平面图与图的着色.pdf
- 复旦大学:《离散数学》课程教学讲义(图论)第十章 树(主讲:吴永辉).pdf
- 复旦大学:《离散数学》课程教学讲义(图论)超图.pdf
- 复旦大学:《离散数学》课程教学讲义(图论)图论应用、图论算法.pdf
- 复旦大学:《离散数学》课程教学讲义(图论)图论习题——考研习题与经典习题.pdf
- 复旦大学:《离散数学》课程教学讲义(图论)第十一章 连通度、网络、匹配.pdf
- 复旦大学:《离散数学》PPT教学课件(赵一鸣)01/28.ppt
- 复旦大学:《离散数学》PPT教学课件(赵一鸣)02/28.ppt
- 复旦大学:《离散数学》PPT教学课件(赵一鸣)03/28.ppt