复习大纲
考试的主要内容
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图、箭头图、关系的有向图、真值表、图、树
1159
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
