集合论与图论(下)教学大纲
集合论与图论课程
课程号
00135290
学分
3
英文名称
Set Theory and Graph Theory
先修课程
高等数学,线性代数,数据结构
中文简介
学习和掌握集合论与图论的基本知识,重点培养学生处理二元关系类离散问题的综合能力。
英文简介
An introductory course to set thory and graph theory.
1) 树的特征,回路系统与割集系统
2)基本树变换,最小生成树,Kruskal算法,Prim算法
2) 根树,哈夫曼树与编码
四、平面图与图的着色(约4学时)
1) 平面图的性质与图的可平面性判定,对偶图
2) 点着色,边着色,平面图的域着色,四色定理
五、匹配,网络(约4学时)
1)图的匹配与可增广道路,二部图的匹配,匈牙利算法
三、二元关系(约6学时)
1)二元关系的运算,性质与闭包
2)等价关系与集合的划分
3)偏序关系,链与反链,良序与超限归纳原理
四、布尔代数(约8学时)
1) 格的偏序特征与代数结构及其等价性
2)子格,格的同态与同构
3)模格,分配格,有补格
4) 布尔代数,Stone表示定理
5) 布尔函数,析取范式与合取范式
第二部分:图论 (共约 27学时)
一、图的概念,运算与表示(3学时)
二、道路与回路(9学时)
1)道路与回路概述,
2)图的连通性,连通度,Menger定理,可靠通讯网的构作
3)最短道路,Dijkstra算法,Warshall-Floyd算法
4)Euler图,DeBruijn序列
5)Hamilton图,k-方体与Gray码
离散数学教程(集合论与图论)-FudanUniversity
离散数学教程(集合论与图论)离散数学:计算机科学与技术的数学基础课内容:集合论,图论,组合数学,代数结构,数理逻辑集合论:(第1-4章)组合数学初步:(第5-7章)图论:(第8-11章)教师介绍⏹教师:吴永辉博士副教授⏹简历:⏹1984-1988 上海科技大学计算机系本科⏹1988-1991 复旦大学计算机系硕士⏹1991-2003 华东师范大学计算机系工作⏹1998-2001 复旦大学计算机系博士⏹2003-复旦大学计算机系工作⏹答疑E-mail: yhwu@《集合论与图论》课件制作软件⏹Microsoft PowerPoint⏹MathType Equation《集合论与图论》课程大纲⏹课程性质与目的⏹教学内容与要求⏹使用教材、参考书籍⏹命题说明和题型课程性质、目的与基本要求⏹课程性质本课程讲授计算机科学与技术的数学基础课《离散数学》的部分主要内容:集合论、图论与组合数学初步,是计算机专业的主干课程之一。
本课程前行课程为线性代数,数学分析(上)。
⏹课程目的使学生掌握集合论、图论与组合数学初步的基本内容,并对证明的思想和方法深入理解和体会,初步培养学生的思维过程的数学化。
⏹基本要求:⏹掌握集合论、组合学和图论的基本概念,清楚了解引入基本概念的实际背景、各概念间相互关系;掌握基本定理以及有关理论题的证明技巧;掌握解决计数问题的基本方法和技巧;掌握图论中各算法设计的思想、正确性证明以及算法的应用。
为进一步学习计算机其他课程打下坚实的基础。
教学方式本课程以课堂讲授为主。
考核方式⏹平时作业;⏹集合论、组合数学和图论3次课堂练习;⏹期中,期末的两次笔试考试。
教学内容与要求----集合论⏹第一章集合的基本概念掌握:集合的基本概念,集合的运算。
了解:集合论的悖论。
掌握证明两个集合相等的基本法和公式法。
⏹第二章关系掌握:关系的性质、运算和关系的闭包,以及等价关系和偏序关系。
了解:关系在关系数据库中的应用。
掌握证明的类型。
集合论与图论PPT资料(正式版)
在(x+y)2的展开式中令x=y=1得:
5、集合的运算
x∈A (x∈ A x∈ B)) (x∈A x∈ A) (x∈A x∈ B))
定义1 设A、B为两个集合,则A与B的交集A∩B、并 A-B=A-(A∩B)
定义1 给定集合A和B,如果A中每个元素都是B中的元素,则称A为B的子集,记作 A B或B A,读作“A包含于B”或“
定理2 空集是任意集合的子集。
证明:任给集合A,Φ是空集。则(x)(x∈Φ→x∈A) 永
真。这是因为条件式的前件(x∈Φ)永假,所以该条件式对
一切x皆为真。按子集的定义,ΦA为真。
8
3、集合间的关系(续2)
例1 证明对于任何集合A、B、C都有 (AB)∧(BC)(AC)
证:(AB)∧(BC) (x)(x∈A→x∈B)∧(x)(x∈B→x∈C) (x)((x∈A→x∈B)∧(x∈B→x∈C)) (x)(x∈A→x∈C) AC
如果a是集合S的元素,记作a∈S,读作“a属于 S”。如b不是S的元素,记作 bS,读作“b不属于 S”,它等价于 (b∈s)。若一个集合的元素个数是 有限的,则称为有限集,否则称为无限集。
4
2、集合的表示
列举法:列出集合的所有元素,并用花括号括起来,元素 之间用逗号隔开。例如: S={e1 ,e2 ,…,en} (具有n个元素的有限集) A={a,{b,c},{{d}}} ( a,{b,c},{{d}}是该集合的元素)
7
3、集合间的关系(续1)
定理1 设A、B为两个集合,A=B当且仅当 AB 且BA。即 (A=B)AB∧BA。
证明:两个集合相等,则它们有相同的元素。 (A=B)(x)(x∈A→x∈B)∧(x)(x∈B→x∈A) (AB)∧(BA)。
集合论与图论
《集合论与图论》课程示范性教学设计1 本课程教学方法(一)教学方法在这里,仅总结一下我的教学方法,不细展开,因此不涉及专业术语和与专业有关的例子。
以下仅是一些指导思想:(1 )启发式、由浅入深、从直观到抽象。
要用些生动的例子帮助学生理解抽象概念的含义,但要做到生动而有趣又不失概念的准确性和推理的严格性,使学生易于接受,又了解直观背景。
(2 )突出基本思想及方法,强调规律性,提高学生的抽象能力。
要从哲学的高度强调概念是第一位的,引导学生思考问题时必须清楚理解所涉及的概念,使问题有一个明确的提法,引导学生掌握从问题到建立数学模型这一抽象过程的方法。
(3 )利用集合论某些概念和理论与方法总结已学过的知识(如微积分、线性代数)找出本质的规律或主线,使学生认识事物内部的深刻规律。
其次,随时指出在后继课如何应用这些知识、在科技论文中将怎样出现这些知识的应用。
这不仅提高了学习的积极性,也使学生增强了学习的目的性。
(4 )只要有可能就要以建立数学模型组织教学,讲习题也不例外。
这样,能使学生加深印象—任何时候都要抓住事物的本质与事物之间的联系。
(5 )鼓励学生多问为什么,为什么会是这样子而不是那个样子。
不是教会学生怎样去使用工具、去模仿或复制,而是要教会学生独立思考,发现问题,提出问题和解决问题的思考,否则思维会退化。
(5 )适当地提出一些未解决的问题。
尚无答案的问题是摆在我们及学生面前的有无限价值的东西,因为支持大学的最高准则是探究未知领域。
事实上,在每年教此课时,提一些问题确实有学生在思考。
(6 )注意每个学科(内部)的美。
如果某部分很丑或太复杂,人们倾向于认为是不清楚的和暂时的,它没有真正反映客观规律,因为我们相信,越接近终极真理,我们的解释中的不自然的东西就越少。
科学是以越来越完美、有力的理论向终极真理发展的。
(二)关于素质教育、培养创新精神的人才的思考素质教育应该是各类教育的核心,而培养创新人才则是高等教育的任务(见高等教育法,第五条)。
离散数学教学大纲精选全文
精选全文完整版可编辑修改离散数学教学大纲一、教学目标本课程的教学目标是:1.学习和掌握离散型关系结构的构成及分析方法,包括:集合论的主要内容:集合的基本概念、二元关系、函数、自然数和基数等;图论的主要内容:图的基本概念、欧拉图与哈密尔顿图、树、图的矩阵表示、平面图、图的着色、支配集、覆盖集、独立集与匹配、带权图及其应用等;2. 学习和掌握离散型代数结构的构成、性质和分析方法,熟悉半群、群、环、域、格、布尔代数等有着重要应用背景的代数模型;3. 学习和掌握组合配置的存在性证明和计数方法,并用于离散结构的性质分析。
4. 学习和掌握命题逻辑、一阶谓词逻辑的基本概念和推理方法。
5. 能够理论联系实际,用上述离散数学的描述工具和分析方法对实践中的离散系统进行建模和分析。
6. 通过严谨证明及正确逻辑推理的训练,进一步培养学生的抽象思维、计算思维能力和专业素质。
二、教学内容1.集合(教材第一章)●引言●预备知识(命题逻辑)●预备知识(一阶谓词逻辑)●集合的概念和集合之间的关系●集合的运算●基本的集合恒等式2.二元关系(教材第二章)●有序对与卡氏积●二元关系●关系的表示和关系的性质●关系的幂运算和闭包●等价关系和划分●序关系3.函数(教材第三章)●函数的基本概念、性质、合成、反函数4.自然数(教材第四章)●自然数的定义●自然数的性质5.基数(教材第五章)●集合的等势、有穷集合与无穷集合●基数和基数的比较与运算6.图(教材第七章)●图的基本概念●通路与回路●无向图和有向图的连通性●无向图的连通度7.欧拉图与哈密顿图(教材第八章)●欧拉图●哈密顿图8.树(教材第九章)●树9.图的矩阵表示(教材第十章)●图的矩阵表示10.平面图(教材第十一章)●平面图的基本概念●欧拉公式与平面图的判断●平面图的对偶图与外平面图●平面图与哈密顿图11.图的着色(教材第十二章)●点着色和色多项式●平面图着色和边着色12.支配集、覆盖集、独立集与匹配(教材第十三章)●支配集、点覆盖集、点独立集●边覆盖数与匹配●二部图中的匹配13.带权图及其应用(教材第十四章)●中国邮递员问题和货郎问题14. 代数系统(教材第十五章)●二元运算及其性质●代数系统、子代数和积代数●代数系统的同态与同构●同余关系与商代数15. 半群与独异点(教材第十六章)●半群与独异点16 . 群(教材第十七章)●群的定义和性质、子群●循环群、变换群与置换群●群的分解、正规子群与商群、群的同态与同构17. 环与域(教材第十八章)●环与域18. 格与布尔代数(教材第十九章)●格的定义和性质、子格、格同态与直积●模格、分配格、有补格与布尔代数19. 组合存在性定理(教材第二十章)●鸽巢原理和Ramsey定理20. 基本的计数公式(教材第二十一章)●两个计数原则、排列组合●二项式定理与组合恒等式●多项式定理21. 组合计数方法(教材第二十二章)●递推方程的公式解法●递推方程的其他求解方法●生成函数的定义和性质●生成函数、指数生成函数及应用●Catalan数与Stirling数22. 组合计数定理(教材第二十三章)●包含排斥原理与对称筛公式●Burnside引理与Polya定理23. 命题逻辑(教材第二十六章)●引言●命题和联结词●命题形式和真值表●联结词的完全集●推理形式●命题演算自然推理形式系统N●命题演算形式系统P●N与P的等价性●赋值与等值演算●命题范式●可靠性、和谐性与完备性24. 一阶谓词逻辑(教材第二十七章)●一阶谓词演算的符号化●一阶语言●一阶谓词演算形式系统NL●一阶谓词演算形式系统KL●NL与KL的等价性●KL的解释与赋值●KL的可靠性与和谐性●KL的和谐公式集三、教学方式以课堂讲授为主,辅以作业和练习,并配备助教对作业进行批改。
《集合论与图论》课程教学大纲
《集合论与图论》课程教学大纲一、课程基本信息课程编号:CS31111课程名称:集合论与图论英文名称:SET THEORY AND GRAPH THEORY课程学时:64;讲课学时: 48;实验学时:上机学时:习题学时:16;课程学分:4.0开课单位:计算机科学与技术学院授课对象:计算机大类专业(包括计算机科学与技术、物联网工程、生物信息学、信息安全)、软件工程大类专业开课学期: 1春先修课程:工科数学分析、线性代数二、课程目标《集合论与图论》是计算机大类/软件工程大类专业的一门专业基础课程。
本课程为后继的专业基础课及专业课提供必要的数学工具,为描述离散模型提供数学语言。
该课程的设置主要是为了培养学生的抽象思维和逻辑推理能力,提高学生分析问题和解决问题的能力,提高学生的数学修养及计算机科学素质。
要想用计算机解决问题就要为它建立数学模型,即描述研究对象及对象与对象之间的联系,并通过事物之间的联系找出事物的运动规律。
集合论与图论为此提供了强有力的描述工具与推理理论。
本课程的目标是通过理论学习,为计算机科学与技术专业的后继课及将来的科学研究提供必要的相关数学知识,提供建立离散系统的数学模型的数学描述工具;使学生正确地理解概念,正确地使用概念进行推理,养成一个好的思维习惯,理解理论与实践的关系;引导学生观察生活、社会和大自然,分析事物间的联系,建立系统的模型,提出和解决其中的复杂工程问题。
课程具体目标如下:课程目标1:掌握集合论与图论的基本概念、基本原理、基本方法等基本知识,培养形式化、模型化的抽象思维能力,使学生能够利用集合论与图论的概念、理论与方法识别、表达计算相关的复杂工程问题,逐步学会为计算类复杂工程问题建立数学模型;课程目标2:掌握直接证明法、反证法、数学归纳法、构造法等常用的证明方法,培养机械化、自动化的逻辑推理能力,使学生能够利用集合论与图论的概念、理论与方法并通过文献研究分析复杂工程问题,并能获得有效的结论,理解并逐步设计求解这些问题的算法基本思想;课程目标3:掌握资料查阅方法,学会对课堂所学理论知识进行扩展,培养自学能力。
集合论与图论(全套课件)
p q r
0 0 0 0 1 1 1 1
2018/5/28
pqr
1 1 1 1 1 1 0 1
14
0 0 1 1 0 0 1 1
0 1 0 1 0 1 0 1
永真式(tautology)
• 永真式:在各种赋值下取值均为真(重言式) • 永假式:在各种赋值下取值均为假(矛盾式) • 可满足式:非永假式
2018/5/28
《集合论与图论》第1讲
11
命题符号化
简单命题: 联结词:
• 合取联结词: • 析取联结词: • 否定联结词: • 蕴涵联结词: • 等价联结词:
p,q,r,p1,q1,r1,…
逻辑真值:
0,1
2018/5/28
《集合论与图论》第1讲
12
真值表(truth-table)
2018/5/28
《集合论与图论》第1讲
16
常用逻辑等值式(关于与)
幂等律(idempotent laws) AAA AAA 交换律(commutative laws)
ABBA
ABBA
2018/5/28
《集合论与图论》第1讲
17
常用逻辑等值式(关于与)
结合律(associative laws) (AB)CA(BC) (AB)CA(BC) 分配律(distributive laws)
2018/5/28
《集合论与图论》第1讲
6
内容介绍
• 《集合论与图论》
• 第二部分 图论
• 第7章 • 第8章 • 第9章 • 第10章 • 第11章 • 第12章 • 第13章 • 第14章 图 欧拉图与哈密顿图 树 图的矩阵表示 平面图 图的着色 支配、覆盖、独立、匹配 带权图
组合数学与现代图论教学大纲(第二学期开设)
随机图论初步(基本的随机方法,Local lemma)
-----图论部分32课时)
考核方式
教材
参考书目及文献
组合数学与现代图论教学大纲(第二学期开设)
课程名称
组合数学与现代图论
课程代码
Hale Waihona Puke 课程英文名称任课教师任课教师职称
课程类别
学时
学分
授课方式
主要内容简介
1.排列组合(permutation)、容斥原理(The principle of inclusion and exclusion)、递归关系式与母函数(recurrence relation and generating function)、Polya Theorem
----组合计数部分32课时)
2.相异代表系与拉丁方(SDRs and Latin squares)
----组合设计部分8课时)
3.图的连通性和网络流(Menger thm,max-flow and min cut thm);
图的染色理论(Brook Thm,Vizing Thm,the coloring of planar graph);
离散数学教程
二、提高 [4] Kenneth H. Rosen. Discrete Mathematics and its Applications. (4th, 5th Edition). 机械工业出版 社, McGraw-Hill. (中、英文版)
本书第4版是全球500多所大学的指定教材, 获得了极大的成功。中文版也已被国内大学广泛 采用为教材。第5版在前四版的基础上做了大量的 改进,使其成为更有效的教学工具。
/*集合论题集,经典习题,集合基础*/
五 定义1.4(全集):在取定一个集合U以 后,对于U的任何子集而言,称U为全集。
定理1.2:
(1)A (2) AA (3) AU
1.2 集合的子集——证明的方法
证明:(1)A (2) AA (3) AU (1)反证法:假设结论不成立,导出矛盾 结果。 不是A的子集,导致矛盾 (2,3)基本法:由子集定义 x左x右,则左右
第十二章
生成函数与递推关系
掌握:用生成函数和递推关系解决组合计数 问题的方法,以及求解递推关系的生成函数方法。 了解:求解递推关系的特征根方法。
教学内容与要求----图论
第五章 图的基本概念
掌握:图的基本术语,路、回路和连通的基本概念, 求最短路的算法及算法正确性证明,欧拉图和哈密顿图的 基本概念、判别方法以及有关定理。
理论计算机科学经典网站
国内: 国际: /~suresh/theory/the ory-home.html
命题说明和题型
1 填空题:基本概念的理解和掌握 2 判断题:概念的掌握与应用 3 计算、证明题:概念的综合应用,数学 方法的运用
《图论》教学大纲
《图论》教学大纲课程类型:专业选修课总学时:72适用对象:大学本科数学与应用数学专业。
使用教材及参考书:《图论及其应用》邦迪等著,中文版。
一、课程性质、目的和任务图论是研究离散对象二元关系系统的一个数学分支。
作为大学数学系的选修课之一,本课程的目的是让学生掌握图论的基本理论和方法,了解一些基本的图论算法及其实现。
要求学生能将图论理论应用于一些简单的离散数学问题。
二、教学基本要求要求学生初步掌握图的基本概念和图论的基本理论,图论中一些重要的结论以及一些基本的图论算法。
三、教学内容及要求(标注“*”的为教学重点和难点)1.图的基本概念(1)理解图、简单图、自图以及图的同构的定义(*);(2)掌握路、圈和树的概念和基本性质(*);(3)理解图的连通性概念,掌握相关结论(*);(4)了解最短路问题及相关的算法。
2.树(1)树的特性(2)掌握割边与割点(3)理解生成树的定义3. 欧拉图和哈密顿图(1) 欧拉图与哈密顿图的定义:要求达到”领会”的层次(2)欧拉图与哈密顿图的判别准则:要求达到”熟悉”,”领会”的层次4.割集(1)割集与断集.关联集.要求达到”识记”的层次5.圈空间与割集空间(1)理解图的向量空间,圈空间的定义(2)掌握割集空间6.图的矩阵表示(1)关联矩阵,圈矩阵,割集矩阵的表示:要求达到”领会”的层次(2)矩阵间的关系及图的邻接矩阵的运算性质:要求达到”应用”的层次7.连通性(1)连通度和边连通度,连通图:要求达到”领会”的层次8.匹配(1)理解Euler图的定义,掌握有关充要条件(*);(2)理解Hamilton图的概念,掌握有关的必要条件和各种不同的充分条件(*)(3)掌握匹配(最大匹配、完美匹配)的定义及相关结论.9.色数(1)理解图的边着色、顶点着色的概念,掌握相关的结论(*);(2)掌握图的独立数、覆盖数的概念及相关结论;(3)理解色多项式10.平面图(1)理解平面图、平图的概念.(2)掌握Euler公式、Kratowski定理,了解5色定理和4色问题(*);(3)了解平面性算法。
集合论与图论课程教学大纲
《集合论与图论》课程教学大纲一、课程基本信息课程编号:CS31111课程名称:集合论与图论英文名称:SET THEORY AND GRAPH THEORY课程学时:64;讲课学时: 48;实验学时:上机学时:习题学时:16;课程学分:4.0开课单位:计算机科学与技术学院授课对象:计算机大类专业(包括计算机科学与技术、物联网工程、生物信息学、信息安全)、软件工程大类专业开课学期: 1春先修课程:工科数学分析、线性代数二、课程目标《集合论与图论》是计算机大类/软件工程大类专业的一门专业基础课程。
本课程为后继的专业基础课及专业课提供必要的数学工具,为描述离散模型提供数学语言。
该课程的设置主要是为了培养学生的抽象思维和逻辑推理能力,提高学生分析问题和解决问题的能力,提高学生的数学修养及计算机科学素质。
要想用计算机解决问题就要为它建立数学模型,即描述研究对象及对象与对象之间的联系,并通过事物之间的联系找出事物的运动规律。
集合论与图论为此提供了强有力的描述工具与推理理论。
本课程的目标是通过理论学习,为计算机科学与技术专业的后继课及将来的科学研究提供必要的相关数学知识,提供建立离散系统的数学模型的数学描述工具;使学生正确地理解概念,正确地使用概念进行推理,养成一个好的思维习惯,理解理论与实践的关系;引导学生观察生活、社会和大自然,分析事物间的联系,建立系统的模型,提出和解决其中的复杂工程问题。
课程具体目标如下:课程目标1:掌握集合论与图论的基本概念、基本原理、基本方法等基本知识,培养形式化、模型化的抽象思维能力,使学生能够利用集合论与图论的概念、理论与方法识别、表达计算相关的复杂工程问题,逐步学会为计算类复杂工程问题建立数学模型;课程目标2:掌握直接证明法、反证法、数学归纳法、构造法等常用的证明方法,培养机械化、自动化的逻辑推理能力,使学生能够利用集合论与图论的概念、理论与方法并通过文献研究分析复杂工程问题,并能获得有效的结论,理解并逐步设计求解这些问题的算法基本思想;课程目标3:掌握资料查阅方法,学会对课堂所学理论知识进行扩展,培养自学能力。
哈工大 集合与图论 讲义
第一篇集合论集合论是德国数学家康托(Contor)在1874年建立的,它是现代数学的基础,当今数学中的每个对象本质上都是集合。
有时我们说:“数学能嵌套在集合论中”其含义就是指数学的一些对象如数、函数、线、面等都可以用集合来定义。
换句话说,数学的各个分支在本质上都是研究这种或那种对象的集合。
例如:几何学是研究点、线、面的集合;数学分析是研究函数的集合;代数学是研究数的集合以及在此集合上有关运算的集合等。
因此,我们把集合论作为现代各种数学的基础是有道理的、合适的。
集合论也是计算机科学的重要工具。
集合论在程序设计、数据结构、形式语言、操作系统等计算机科学中,都有重要应用,成为计算机科学工作者必不可少的基础知识。
计算机科学领域中的大多数基本概念和理论,几乎均采用集合论的术语来描述和论证。
集合论主要有以下几个特点:第一、第一、它所研究的对象十分广泛。
例如数、图形或其它任何客体作为对象。
第二、第二、因为它研究的对象是如此广泛,为了便于研究,就必须寻找对象的共性。
而要做到这一点,就必须进行抽象。
第三、第三、在抽象化的基础上,可以用统一的方法来研究和处理集合论中的各种问题。
总之,集合论的主要特点是研究对象的广泛性,分析思考问题的抽象性和处理问题的统一性。
正是这些特点,使我们便于用它来描述和研究离散对象及其关系。
第一章集合及其运算基本要求1. 1.掌握集合、子集、全集、空集和幂集等概念。
熟悉常用的表示集合的方法以及用文氏图来表示集合的方法。
能够判定元素与集合、集合与集合之间的关系;熟练掌握两个集合相等关系和包含关系的定义和性质,能够利用定义证明两个集合相等。
2. 2.熟练掌握集合之间的各种运算以及集合运算的基本等式,能够利用它们来证明更复杂的集合等式。
3. 3.掌握余集与集合笛卡儿乘积的概念以及De Morgan公式。
4.掌握求解与有穷集合计数相关的实际问题。
1.1 必备知识和考试要点1.1.1基本定义集合是一个不能精确定义的数学概念。
集合论和图论
集合论的主要模块
集合 基本概念 运算、性质 二元关系 表示、性质 等价关系 序关系 函数 自然数 皮亚诺系统 基数 序数 基数 序数
自然数
集 合 论 函数 等价关系 二元关系 集合 基本逻辑
12
序关系
图论的主要模块
图
带权图
着色 独立、支配、覆盖、匹配 平 面 图 树 欧拉图 图的矩阵表示 哈密顿图
26
课程安排和成绩评定
◼
学时安排:校历
◼
周二(双周) 3-4节 、周四 :1-2节
◼
二教411
◼
成绩评定
◼ ◼ ◼
平时成绩:30%,书面作业 期中笔试:20% 期末笔试:50%
◼
◼
作业提交说明 期中考试:11月15日;期末考试:1月8日
27
北京大学本科考试工作条例(节选)
(2005年修订) 第六章 考试纪律 第三十条 学生完成平时作业…等要自 觉遵守学术道德和学术规范。引用资 料、数据等,必须以规范的形式注明 出处,防止不经意造成的事实抄袭。
◼ ◼
研究对象:集合、关系、函数、自然数、基数 研究思想:
以逻辑为基础、以集合为工具、表示和构造各种数学对象
◼
研究内容:
◼ ◼ ◼ ◼ ◼
集合的基本概念:集合之间的关系、运算、恒等式
二元关系:表示、性质、函数、等价关系、序关系
自然数:皮亚诺系统、自然数的运算、性质 基数:有穷集与无穷集、基数的比较 序数:良序、超限归纳法
基本概念 连通性 欧拉图、哈密顿图 树 图的矩阵表示 平面图 着色 独立支配覆盖匹配 带权图
图 论
连 通 性、连通度 图 的 基 本 概念
13
集合论中的问题
集合的教学大纲
集合的教学大纲集合的教学大纲在教育领域,教学大纲是教师为了达到特定的教学目标而制定的一份指导性文件。
它包括了教学内容、教学方法、评估方式等方面的规定,帮助教师合理安排教学过程,提高教学效果。
而在数学教育中,集合是一个重要的概念,因此我们需要一个集合的教学大纲来引导教学。
一、引言集合作为数学中的基础概念,是数学思维的起点。
在教学大纲的引言部分,我们可以阐述集合的重要性以及其在数学中的应用,激发学生的兴趣和求知欲。
二、基本概念与性质在教学大纲中,我们需要明确集合的基本概念和性质。
首先,我们要明确集合的定义,即由一些确定的对象所组成的整体。
其次,我们要介绍集合的表示方法,包括列举法、描述法和图示法等。
然后,我们需要讲解集合的基本运算,如并集、交集、差集和补集等。
最后,我们要介绍集合的基本性质,如幂集、空集和全集等。
三、集合的关系与运算在教学大纲中,我们需要详细介绍集合的关系与运算。
首先,我们要讲解集合的包含关系,即一个集合是否包含于另一个集合中。
然后,我们要介绍集合的等价关系,即两个集合具有相同的基本性质。
接着,我们要讲解集合的运算,包括并集、交集、差集和补集等。
最后,我们要介绍集合的运算律,如交换律、结合律和分配律等。
四、集合的应用在教学大纲中,我们需要探讨集合的应用。
首先,我们可以介绍集合在数学中的应用,如集合论、概率论和数理逻辑等。
然后,我们可以讨论集合在实际生活中的应用,如调查统计、分类整理和信息管理等。
最后,我们可以引导学生进行集合的实际问题解决,培养他们的数学思维和创新能力。
五、教学方法与评估方式在教学大纲中,我们需要明确教学方法与评估方式。
首先,我们要选择适合的教学方法,如讲授、讨论、实验和案例分析等。
然后,我们要选择合适的评估方式,如作业、考试和项目等。
最后,我们要根据学生的学习情况进行教学反馈和调整,提高教学效果。
六、教学资源与参考书目在教学大纲中,我们需要提供教学资源与参考书目。
首先,我们要提供相关的教学资源,如教案、课件和实验设备等。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
集合论与图论(下)教学大纲
《集合论与图论》是计算机大类/软件工程大类专业的一门专业基础课。
本课程为后继的专业基础课及专业课提供必要的数学工具,为描述离散模型提供数学语言。
该课程的设置主要是为了培养学生的抽象思维和逻辑推理能力,提高学生提出问题、分析问题和解决问题的能力,提高学生的数学修养及计算机科学素质。
课程概述
要想用计算机解决问题就要为它建立数学模型,即描述研究对象及对象与对象之间的联系,并通过事物之间的联系找出事物的运动规律。
集合论与图论为此提供了强有力的描述工具与推理理论。
本课程的目标是通过理论学习,使学生正确地理解概念,正确地使用概念进行推理,养成一个好的思维习惯,理解理论与实践的关系。
引导学生观察生活、社会和大自然,分析事物间的联系,建立系统的模型,提出和解决其中的复杂工程问题。
本课程主要包含二部分内容:集合论与图论。
集合论是整个数学的基础,也是计算机科学的基础,计算机科学领域中的大多数基本概念和理论,几乎均采用集合论的有关术语来描述和论证,而图论的基本知识则将始终陪伴着每一个计算机工作者的职业生涯。
计算学科以抽象、理论、设计为其学科形态,以数学方法和系统方法为其学科方法,本课程的核心目标就是在抽象和理论的基础上提供数学方法,因此,本课程是整个专业的基础课程,是计算机专业最重要的课程之一。
《集合论与图论》(上)主要讲述集合论部分,《集合论与图论》(下)主要讲述图论部分。
授课目标
课程具体目标如下:
课程目标1:掌握集合论与图论的基本概念、基本原理、基本方法等基本知识,培养形式化、模型化的抽象思维能力,使学生能够利用集合论与图论的概念、理论与方法识别、表达计算相关的复杂工程问题,逐步学会为计算类复杂工程问题建立数学模型;
课程目标2:掌握直接证明法、反证法、数学归纳法、构造法等常用的证明方法,培养机械化、自动化的逻辑推理能力,使学生能够利用集合论与图论的概念、理论与方法并通过文献研究分析复杂工程问题,并能获得有效的结论,理解并逐步设计求解这些问题的算法基本思想;
课程目标3:掌握资料查阅方法,学会对课堂所学理论知识进行扩展,培养自学能力。
课程目标4:能够利用本课所学知识分析工程实际问题或针对某些应用背景探讨所学知识的局限性,培养学生的独立思考与创新能力。
课程大纲
第1讲图的基本概念
1.1 课前准备-图论
1.2 简史
1.3 图
1.4 图的表示
1.5 图模型
1.6 子图
1.7 度
1.8 正则图
1.9 同构
第1讲测验
第2讲连通图、补图、偶图
2.1 路、圈
2.2 连通图
2.3 判定是否连通
2.4 几类证明方法
2.5 判定是否有圈
2.6 关于路和圈的一个定理2.7 补图
2.8 双图
2.9 图兰定理
2.10 极图理论
第2讲测验
第3讲欧拉图
3.1 欧拉图、欧拉定理
3.2 欧拉定理的扩展
第3讲测验
第4讲哈密顿图
4.1 背景
4.2 哈密顿图
4.3 哈密顿图判定的必要条件4.4 哈密顿图判定的充分条件第4讲测验
第5讲图的表示、带权图5.1 邻接矩阵
5.2 邻接表
5.3 关联矩阵
5.4 图解
5.5 带权图
第5讲测验
第6讲树、割集
6.1 树的定义
6.2 树的性质
6.3 极小连通图
6.4 树的中心
6.5 生成树
6.6 最小生成树
6.7 割点
6.8 割点的性质
第6讲测验
第7讲图的连通度
7.1 背景
7.2 顶点连通度和边连通度
7.3 顶点连通度和边连通度的关系7.4 n连通
7.5 明格尔定理
7.6 柯尼希定理
7.7 网络流问题
第7讲测验
第8讲匹配问题
8.1 独立集
8.2 偶图的匹配
8.3 偶图匹配的条件
8.4 相异代表系
第8讲测验
第9讲平面图
9.1 背景
9.2 平面图的定义
9.3 欧拉公式
9.4 例题
9.5 非哈密顿平面图
第9讲测验
第10讲图的顶点着色问题10.1 图的顶点着色
10.2 色数的上、下界
10.3 四色定理vs 五色定理第10讲测验
第11讲有向图的基本概念11.1 有向图的表示
11.2 有向图中顶点的度11.3 有向完全图
11.4 有向图的同构
11.5 有向路、有向圈
11.6 邻接矩阵
第11讲测验
第12讲有根树、有序树、比赛图12.1 有根树、有序树
12.2 比赛图
第12讲测验
预备知识
工科数学分析、线性代数。