复习大纲
考试的主要内容
1. 集合与逻辑
2. 证明
3. 函数、序列和关系
6. 计数方法与鸽巢原理
7. 递推关系
8. 图论
9. 树
1、集合与逻辑
集合
命题
条件命题与逻辑等价
论证和推理规则
量词
嵌套量词
2 、证明
数学系统、直接证明和反例
更多的证明方法
数学归纳法
强数学归纳法和良序性
3.函数、序列和关系
函数
序列和串
关系
等价关系
关系矩阵
关系数据库
6 计数方法与鸽巢原理
基本原理:乘法原理、加法原理、包含排斥原理
排列与组合
广义排列与组合
二项式系数和组合恒等式
鸽巢原理
7 递推关系
求解递推关系:
迭代法
二阶常系数齐次线性递推关系
8.图论
图论的基本概念
路径和回路(Euler回路)
Hamilton回路和旅行商问题
最短路径算法
图的表示
图的同构
平面图
9 树
树的基本概念
树的术语和性质
生成树
最小生成树
二叉树
树的遍历
决策树和最短时间排序
树的同构
考题类型
选择填空(单选、多选)
判断题(判断正、误)
名词解释
证明题
计算题
作图题
综合题
选择题(多选题)
右图所示,根据所学的内容,下面正确的是:( )
A)图
B)K1
C)关系,R={ }
D)K1,0
E)偶图
F)完全图
G)具有长度为0的路径
H)具有Euler回路
名词解释
书中所学过的重要概念(主要集中在第1、3、8、9章):
以下概念需要掌握:
集合、划分、笛卡儿积、命题、量词、逻辑等价、函数、序列、串、子序列
子串、关系及其性质、偏序、等价关系、递推关系、图、简单图、完全图
二部图、完全二部图、回路、路径、简单路径、简单图、树、生成树
最小生成树、二叉树
重点掌握:
集合、命题、量词、串、子序列、子串、
关系的性质(自反、对称、反对称及传递)
递推关系、
完全二部图、回路、路径
简单回路、二叉树
证明题
应用所学的证明方法或工具进行证明。
例如:证明逻辑等价时应使用真值表或者已经公认的逻辑规则(假言、拒取等);计数规则时采用鸽巢原理等。
要求:写出所用方法的原理;写出证明过程。
计算题
排列组合(含广义排列组合)
递推关系:迭代法、二阶常系数齐次线性递推关系
集合:利用集合中Venn图进行一些计算
命题逻辑:利用命题的T 或者 F,计算一个复杂命题的真伪;或者计算论证是否有效
图论:计算长度为n的路径的条数、或计算最短路径等
树:利用不同的方法找出生成树和最小生成树等
作图题
Euler 和 Hamilton回路的判定及找出这些回路
证明中也可用图论的方法:5人中恰好3人是朋友
综合题
综合运用所学知识解决问题。
几个矩阵:
关系矩阵、关联矩阵、邻接矩阵
这些矩阵的相互联系及区别
离散数学中常用的工具图及表
Venn图、箭头图、关系的有向图、真值表、图、树
同一定理(De Morgan定理)在不同场合的表现形式及应用
集合论、命题、量词
以下是自己总结的重点
名词解释
1、集合;集合是一些对象的全体。
2、划分;将x分成一些不相交的子集。
3、笛卡儿积;设X与Y是集合,用XxY表示所有有序对(x,y)组成的集合,其中x属于X,y属于Y,称XxY为X与Y的笛卡儿积。
4、命题;一个句子或者为真,或者为假,不能既是真又是假,这样的句子为命题。(命题是所有逻辑理论的基本构成单元)
5、量词;分为全称量词,特称量词
6、逻辑等价;两个不同的命题都取相同的真值
p q 非(p与q) 非p并非q
真 真 假 假
真 假 假 假
假 真 假 假
假 假 真 真 (两者逻辑等价)
p q p->q
真 真 真
真 假 假
假 真 真
假 假 真 (空虚真;前为假后面无论为何都为真)
p q p<->q
真 真 真
真 假 假
假 假 真、
假 真 假 (当且仅当;同为真,不同则为假)
7、函数;函数一种特殊的由有序数对组成的集合(单射;一对一的关系,y可以不用完。映上;Y必须用完,双射;既满足一对一还要满足映上)
8、序列;定义域由连续整数集合组成的特殊函数
(包括有限与无限)
串;集合中元素组成的有限序列
子序列;保持在原来序列中的顺序,也就是底数要递增。(只要求底数递增)
字串;从串中选取连续的一些或者全部元素。(要求连续)
总结串与序列;串是序列。有限序列才是串。无限序列不是串。字串是子序列,子序列不一定是字串。串的字串是串的子序列。串的子序列不一定是串的字串。
9、关系及其性质
关系;从一个集合到另一个集合的关系。
(函数一定是特殊的关系,关系不一定是函数)
性质;自反(有一个圈),对称(有xRy必有yRx)反对称,传递
10、偏序关系;自反,反对称,传递(偏序不一定是全序,但全序一定是偏序)
11、等价关系;自反,对称,传递
12、递推关系;对序列a0,a1….,用a0,a1,..an-1中的某些项来表示an的关系。(一阶;Sn=2Sn-1.二阶;Fn=Fn-1+Fn-2)
13、图;点可重复,边不可重复(物体与物体间的关系)
14、简单图;一个既没有圈也没有平行边的图。
15、完全图;Kn表示的n顶点的完全图,有n个顶点,其任意两个不同的顶点之间都存在一条边。
16、二部图;图G(v,e)称为二部图,存在v的子集v1,v2(其中一个可以为空集),满足v1vv2=v,v1并v2=空,与e 相关联边的两个点一个在v1中,一个在v2中。
17、完全二部图;Km,n是一个完全二部图(看起来,每一边的顶点与另一边的顶点都有连接,满二部图)
18、回路;长度非0,不存在重复边的路径
简单回路;除了开始和结尾顶点都为v之外,不存在重复的顶点。
19、路径;长度为n的路径是从一个顶点开始到另一个顶点结束的n+1个顶点和n条边的交替序列。
20、简单路径;不存在重复顶点的路径
环路;(回路);长度非0,不存在重复边的路径,还要从v到v.
21、简单图;一个既没有圈也没有平行边的图。
邻接矩阵;A的N次方为第ij个元素等于从顶点i到顶点j的长度为n的路径的数目。
关联矩阵;行用顶点表示,列用边表示,当行与列相关联时项为1,否则为0.
22、树;树是一个简单图
23、生成树;树包含了图所有图的所有顶点,那么树就是图的生成树
24、最小生成树;具有最小权值总和的生成树
25、二叉树;每个顶点的子节点可能为0,1,2.如果顶点只有一个子节点,可以成为左节点或者右节点但是不同同时成立。
证明题
- 逻辑等价的真值表
p q 非(p与q) 非p并非q
真 真 假 假
真 假 假 假
假 真 假 假
假 假 真 真 (两者逻辑等价)
p q p->q
真 真 真
真 假 假
假 真 真
假 假 真 (空虚真;前为假后面无论为何都为真)
p q p<->q
真 真 真
真 假 假
假 假 真、
假 真 假 (当且仅当;同为真,不同则为假)
- 逻辑规则 名称 逻辑规则 名称 逻辑规则
p->q p p->q
p 假言推理 q 合取 非q 拒取
所以q 所以p并q 所以非p
- 逻辑规则 名称 逻辑规则 名称 逻辑规则
p->q
q->r 假设三段论 p 附加 p并q 化简
所以p->r 所以p与q 所以p
- 鸽巢原理第一形式;n只鸽子飞入k个巢穴,k<n,则必存在某个鸽巢至少有两只鸽子
鸽巢原理第二形式;设f为有限集合X到有限集合Y的函数,且|X|>|Y|,则必存在x1,x2属于X,x1不等于x2,满足f(x1)=f(x2).
鸽巢原理第三形式;设f为有限集合X到有限集合Y上的函数,|X|=n,|Y|=m,另k=n/m取上整数,则至少存在k个元素a1,…,ak属于X,满足f(a1)=f(a2)=…..=f(ak)
要求;写出所使用方法的原理;写出证明过程。
计算题
- 排列组合
排列有顺序,组合不计顺序
排列是n个不同元素上的r排列的个数,记作p(n,r),P(3,2)=3*2
组合是C(n,r),n个不同元素上的r组合数
P(n,r)=C(n,r)r!
- 广义的排列组合
- 集合的Venn图
- 图论;长度为N的路径条数,最短路径
- 树;找出生成树,最小生成树
作图题
- Euler与Hamilton回路的判定及找出这些回路
- 证明用图论的方法
综合题
- 关系矩阵,关联矩阵,邻接矩阵(联系与区别)
邻接矩阵;A的N次方为第ij个元素等于从顶点i到顶点j的长度为n的路径的数目。
关联矩阵;行用顶点表示,列用边表示,当行与列相关联时项为1,否则为0.
关系矩阵;如果xRy,就另x行y列的元素为1,否则为0
R1oR2=R1*R2; A平方后第ij项为0,A的ij项也为0,则就是传递的。
Venn图、箭头图、关系的有向图、真值表、图、树