1.离散数学学的是什么内容?
集合论、代数系统、图论、数理逻辑
2.什么是集合?
由离散个体构成的整体的称为集合,称这些个体为集合的元素
集合元素的性质:无序性、相异性、确定性、任意性
3.什么是幂集?
集合的全体子集构成的集合叫做幂集
4.什么是笛卡尔乘积?
设有两个集合 A 与 B,用 A 与B 中的元素组成有序偶,以 A 的元素作为有序偶的第一个分量,以 B 的元素作为有序偶的第二个分量,用这种方式所组成的有序偶的全体构成一个集合,称为 A 与 B 的笛卡尔乘积,记为 A × B .
有序偶:先后有顺序的一堆数,可以区分出哪个是第一个,哪个是第二个
5.二元关系的定义
如果一个集合满足下列条件之一:
- 集合非空,且它的元素都是有序偶;
- 集合是空集;
则称该集合为一个二元关系,简称为关系,记作 R .
6.等价关系和等价类的定义
7.偏序关系
设 R 为非空集合 A 上的一个关系,如果 R 是自反的、反对称的和可传递的,则称 R 是集合 A 上的偏序关系,简称偏序,记作 “ ⩽ ”.
- 偏序关系 ⩽——自反性、反对称性、传递性
- 逆序关系 < ——反自反、反对称性、传递性
逆序关系的自反闭包是偏序关系。
8. 空关系
空关系是一种特殊关系,指关系集 A × B中的子集 ϕ。
非空集合中的空关系是反自反的、对称的、反对称的和传递的,但不是自反的;
空集合中的空关系则是自反的、反自反的、对称的、反对称的和传递的
9.判断无穷集合的大小
10.函数的概念
函数是从非空数集到非空数集的映射,而且只能是一对一映射或多对一映射。【一个 x 只能对应一个 y,但多个 x 可以对应一个 y】
11.集合、关系和函数之间?
12.单射、满射、双射的关系
13.代数系统的定义和组成
组成:非空集合、二元运算、特异元素
常见的代数系统:群(二元运算可结合、有关于二元运算的单位元、任意元素的逆元也在集合中)、环、格
14.两个代数系统同构必须满足以下条件
- 它们是同类型的代数系统;
- 它们的集合基数相等(等势);
- 运算定义法则相同。
15.半群、群、交换群(阿贝尔群)
16.格、有补格、布尔代数
17.n 阶完全图、 n 阶竞赛图、 n 阶 k 正则图
18.哈密顿图?欧拉图?
哈:能走出一条通过每个结点仅一次的回路的图
哈密顿图的判定:如果图中任意两个顶点度数之和大于等于n,则图是哈密顿图。
哈密顿图的性质:如果从哈密顿图中去掉p个点得到图G,图G中连通分支的数量小于等于p
欧:能走出一条通过每条边仅一次的回路
欧拉图的判定:无向连通图是欧拉图的充分必要条件是图中所有顶点都是偶度点。
有向弱连通图是欧拉图的充分必要条件是每个顶点的入度等于出度。
20.命题?
-
命题:能够判断真假的陈述句。
-
命题分类
原子(简单)命题——不能再分解为更简单命题的命题。
复合命题——由原子命题通过命题联结词构成的命题。 -
联接词:非、合取、析取、蕴含、等价
21.图的概念
相关算法:
最小生成树算法:Kruskal算法(加边),Prim算法(加点)
最短路径算法:弗洛伊德算法(各个顶点)、迪杰斯特拉算法(单源)
22.什么是谓词?
刻画个体词性质及个体词间的相互关系
23.一列逻辑量词有哪些
全称量词、存在量词
24.平面图?
可以画在平面上,除端点外任意两边都不相交
欧拉公式:n-m+r=2,n:顶点个数。m:边个数。r:面个数
25.特征值和特征向量?