最新大学离散数学期末重点知识点总结(考试专用)

1 / 1 1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (∃x)((Ax)∨(Bx))<=>( ∃x)(Ax)∨(∃x)(Bx) (∀x)((Ax)∧(Bx))<=>(∀x)(Ax)∧(∀x)(Bx) —┐(∃x)(Ax)<=>(∀x)┐(Ax) —┐(∀x)(Ax)<=>(∃x)┐(Ax) (∀x)(A ∨(Bx))<=>A ∨(∀x)(Bx) (∃x)(A ∧(Bx))<=>A ∧(∃x)(Bx) (∃x)((Ax)→(Bx))<=>(∀x)(Ax)→(∃x)(Bx) (∀x)(Ax) →B <=>(∃x) ((Ax)→B) (∃x)(Ax) →B <=>(∀x) ((Ax)→B) A →(∀x)(Bx) <=>(∀x) (A →(Bx)) A →(∃x)(Bx) <=>(∃x) (A →(Bx)) (∀x)(Ax)∨(∀x)(Bx) =>(∀x)((Ax)∨(Bx)) (∃x)((Ax)∧(Bx)) =>(∀x)(Ax)∧(∀x)(Bx) (∀x)(Ax)→(∀x)(Bx) =>(∀x)((Ax)→(Bx)) 2.命题逻辑 1.→，前键为真，后键为假才为假；<—>，相同为真，不同为假； 2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积； 3.求极小项时，命题变元的肯定为1，否定为0，求极大项时相反； 4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假； 5.求范式时，为保证编码不错，命题变元最好按P ,Q,R 的顺序依次写； 6.真值表中值为1的项为极小项，值为0的项为极大项； 7.n 个变元共有n 2个极小项或极大项，这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取； 8.永真式没有主合取范式，永假式没有主析取范式； 9.推证蕴含式的方法(=>)：真值表法；分析法(假定前键为真推出后键为真，假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法：P 规则，T 规则 ①真值表法；②直接证法；③归谬法；④附加前提法； 3.谓词逻辑 1.一元谓词：谓词只有一个个体，一元谓词描述命题的性质； 多元谓词：谓词有n 个个体，多元谓词描述个体之间的关系； 2.全称量词用蕴含→，存在量词用合取^; 3.既有存在又有全称量词时，先消存在量词，再消全称量词； 4.集合 1.N ，表示自然数集，1,2,3……，不包括0； 2.基：集合A 中不同元素的个数，|A|； 3.幂集：给定集合A ，以集合A 的所有子集为元素组成的集合，P(A)； 4.若集合A 有n 个元素，幂集P(A)有n 2个元素，|P(A)|=||2A =n 2； 5.集合的分划：(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合； ②这几个子集相交为空，相并为全(A)； 6.集合的分划与覆盖的比较： 分划：每个元素均应出现且仅出现一次在子集中； 覆盖：只要求每个元素都出现，没有要求只出现一次； 5.关系 1.若集合A 有m 个元素，集合B 有n 个元素，则笛卡尔A ×B 的基数为mn ，A 到B 上可以定义mn 2种不同的关系； 2.若集合A 有n 个元素，则|A ×A|=2n ，A 上有22n 个不同的关系； 3.全关系的性质：自反性，对称性，传递性； 空关系的性质：反自反性，反对称性，传递性； 全封闭环的性质：自反性，对称性，反对称性，传递性； 4.前域(domR)：所有元素x 组成的集合； 后域(ranR)：所有元素y 组成的集合； 5.自反闭包：r(R)=RU Ix ; 对称闭包：s(R)=RU 1-R ; 传递闭包：t(R)=RU 2R U 3R U …… 6.等价关系：集合A 上的二元关系R 满足自反性，对称性和传递性，则R 称为等价关系； 7.偏序关系：集合A 上的关系R 满足自反性，反对称性和传递性，则称R 是A 上的一个偏序关系； 8.covA={<x,y>|x,y 属于A ，y 盖住x}； 9.极小元：集合A 中没有比它更小的元素(若存在可能不唯一)； 极大元：集合A 中没有比它更大的元素(若存在可能不唯一)； 最小元：比集合A 中任何其他元素都小(若存在就一定唯一)； 最大元：比集合A 中任何其他元素都大(若存在就一定唯一)； 10.前提：B 是A 的子集 上界：A 中的某个元素比B 中任意元素都大，称这个元素是B 的上界(若存在，可能不唯一)； 下界：A 中的某个元素比B 中任意元素都小，称这个元素是B 的下界(若存在，可能不唯一)； 上确界：最小的上界(若存在就一定唯一)； 下确界：最大的下界(若存在就一定唯一)； 6.函数 1.若|X|=m,|Y|=n,则从X 到Y 有mn 2种不同的关系，有m n 种不同的函数； 2.在一个有n 个元素的集合上，可以有2n2种不同的关系，有nn 种不同的函数，有n!种不同的双射； 3.若|X|=m,|Y|=n ，且m<=n ，则从X 到Y 有A m n 种不同的单射； 4.单射：f:X-Y ，对任意1x ,2x 属于X,且1x ≠2x ，若f(1x )≠f(2x )； 满射：f:X-Y ，对值域中任意一个元素y 在前域中都有一个或多个元素对应； 双射：f:X-Y ，若f 既是单射又是满射，则f 是双射； 5.复合函数：f ºg=g(f(x)); 5.设函数f:A-B ，g:B-C ，那么 ①如果f,g 都是单射，则f ºg 也是单射； ②如果f,g 都是满射，则f ºg 也是满射； ③如果f,g 都是双射，则f ºg 也是双射； ④如果f ºg 是双射，则f 是单射，g 是满射； 7.代数系统 1.二元运算：集合A 上的二元运算就是2A 到A 的映射； 2. 集合A 上可定义的二元运算个数就是从A ×A 到A 上的映射的个数，即从从A ×A 到A 上函数的个数，若|A|=2,则集合A 上的二元运算的个数为2*22=42=16种； 3. 判断二元运算的性质方法： ①封闭性：运算表内只有所给元素； ②交换律：主对角线两边元素对称相等； ③幂等律：主对角线上每个元素与所在行列表头元素相同； ④有幺元：元素所对应的行和列的元素依次与运算表的行和列相同； ⑤有零元：元素所对应的行和列的元素都与该元素相同； 4.同态映射：<A,*>,<B,^>,满足f(a*b)=f(a)^f(b),则f 为由<A,*>到<B,^>的同态映射；若f 是双射，则称为同构； 8.群 广群的性质：封闭性； 半群的性质：封闭性，结合律； 含幺半群(独异点)：封闭性，结合律，有幺元； 群的性质：封闭性，结合律，有幺元，有逆元； 2.群没有零元； 3.阿贝尔群(交换群)：封闭性，结合律，有幺元，有逆元，交换律； 4.循环群中幺元不能是生成元； 5.任何一个循环群必定是阿贝尔群； 10.格与布尔代数 1.格：偏序集合A 中任意两个元素都有上、下确界； 2.格的基本性质： 1) 自反性a ≤a 对偶: a ≥a 2) 反对称性a ≤b ^ b ≥a => a=b 对偶:a ≥b ^ b ≤a => a=b 3) 传递性a ≤b ^ b ≤c => a ≤c 对偶:a ≥b ^ b ≥c => a ≥c 4) 最大下界描述之一a^b ≤a 对偶 avb ≥a A^b ≤b 对偶 avb ≥b 5）最大下界描述之二c ≤a,c ≤b => c ≤a^b 对偶c ≥a,c ≥b =>c ≥avb 6) 结合律a^(b^c)=(a^b)^c 对偶 av(bvc)=(avb)vc 7) 等幂律a^a=a 对偶 ava=a 8) 吸收律a^(avb)=a 对偶 av(a^b)=a 9) a ≤b <=> a^b=a avb=b 10) a ≤c,b ≤d => a^b ≤c^d avb ≤cvd 11) 保序性b ≤c => a^b ≤a^c avb ≤avc 12） 分配不等式av(b^c)≤(avb)^(avc) 对偶 a^(bvc)≥(a^b)v(a^c) 13）模不等式a ≤c <=> av(b^c)≤(avb)^c 3.分配格：满足a^(bvc)=(a^b)v(a^c)和av(b^c)=(avb)^(avc)； 4.分配格的充要条件：该格没有任何子格与钻石格或五环格同构； 5.链格一定是分配格，分配格必定是模格； 6.全上界：集合A 中的某个元素a 大于等于该集合中的任何元素，则称a 为格<A,<=>的全上界，记为1；(若存在则唯一) 全下界：集合A 中的某个元素b 小于等于该集合中的任何元素，则称b 为格<A,<=>的全下界，记为0；(若存在则唯一) 7.有界格：有全上界和全下界的格称为有界格，即有0和1的格； 8.补元：在有界格内，如果a^b=0,avb=1，则a 和b 互为补元； 9.有补格：在有界格内，每个元素都至少有一个补元； 10.有补分配格(布尔格)：既是有补格，又是分配格； 布尔代数：一个有补分配格称为布尔代数； 11.图论 1.邻接：两点之间有边连接，则点与点邻接； 2.关联：两点之间有边连接，则这两点与边关联； 3.平凡图：只有一个孤立点构成的图； 4.简单图：不含平行边和环的图； 5.无向完全图：n 个节点任意两个节点之间都有边相连的简单无向图； 有向完全图:n 个节点任意两个节点之间都有边相连的简单有向图； 6.无向完全图有n(n-1)/2条边，有向完全图有n(n-1)条边； 7.r-正则图：每个节点度数均为r 的图； 8.握手定理：节点度数的总和等于边的两倍； 9.任何图中，度数为奇数的节点个数必定是偶数个； 10.任何有向图中，所有节点入度之和等于所有节点的出度之和； 11.每个节点的度数至少为2的图必定包含一条回路； 12.可达：对于图中的两个节点i v ,j v ，若存在连接i v 到j v 的路，则称i v 与j v 相互可达，也称i v 与j v 是连通的；在有向图中，若存在i v 到j v 的路，则称i v 到j v 可达； 13.强连通：有向图章任意两节点相互可达； 单向连通：图中两节点至少有一个方向可达； 弱连通：无向图的连通；(弱连通必定是单向连通) 14.点割集：删去图中的某些点后所得的子图不连通了，如果删去其他几个点后子图之间仍是连通的，则这些点组成的集合称为点割集； 割点：如果一个点构成点割集，即删去图中的一个点后所得子图是不连通的，则该点称为割点； 15.关联矩阵：M(G)，mij 是vi 与ej 关联的次数，节点为行，边为列； 无向图：点与边无关系关联数为0，有关系为1，有环为2； 有向图：点与边无关系关联数为0，有关系起点为1终点为-1， 关联矩阵的特点： 无向图： ①行：每个节点关联的边，即节点的度；②列：每条边关联的节点； 有向图： ③所有的入度(1)=所有的出度(0); 16.邻接矩阵：A(G)，aij 是vi 邻接到vj 的边的数目，点为行，点为列； 17.可达矩阵：P(G)，至少存在一条回路的矩阵，点为行，点为列； P(G)=A(G)+2A (G)+3A (G)+4A (G) 可达矩阵的特点：表明图中任意两节点之间是否至少存在一条路，以及在任何节点上是否存在回路； A(G)中所有数的和：表示图中路径长度为1的通路条数； 2A (G)中所有数的和：表示图中路径长度为2的通路条数； 3A (G)中所有数的和：表示图中路径长度为3的通路条数； 4A (G)中所有数的和：表示图中路径长度为4的通路条数； P(G)中主对角线所有数的和：表示图中的回路条数； 18.布尔矩阵：B(G)，i v 到j v 有路为1，无路则为0，点为行，点为列； 19.代价矩阵：邻接矩阵元素为1的用权值表示，为0的用无穷大表示，节点自身到自身的权值为0； 20.生成树：只访问每个节点一次，经过的节点和边构成的子图； 21.构造生成树的两种方法：深度优先；广度优先； 深度优先： ①选定起始点0v ； ②选择一个与0v 邻接且未被访问过的节点1v ； ③从1v 出发按邻接方向继续访问，当遇到一个节点所有邻接点均已被访问时，回到该节点的前一个点，再寻求未被访问过的邻接点，直到所有节点都被访问过一次； 广度优先： ①选定起始点0v ； ②访问与0v 邻接的所有节点v1,v2,……,vk,这些作为第一层节点； ③在第一层节点中选定一个节点v1为起点； ④重复②③，直到所有节点都被访问过一次； 22.最小生成树：具有最小权值(T)的生成树； 23.构造最小生成树的三种方法： 克鲁斯卡尔方法；管梅谷算法；普利姆算法； （1）克鲁斯卡尔方法 ①将所有权值按从小到大排列； ②先画权值最小的边，然后去掉其边值；重新按小到大排序； ③再画权值最小的边，若最小的边有几条相同的，选择时要满足不能出现回路，然后去掉其边值；重新按小到大排序； ④重复③，直到所有节点都被访问过一次； （2）管梅谷算法(破圈法) ①在图中取一回路，去掉回路中最大权值的边得一子图； ②在子图中再取一回路，去掉回路中最大权值的边再得一子图； ③重复②，直到所有节点都被访问过一次； （3）普利姆算法 ①在图中任取一点为起点1v ，连接边值最小的邻接点v2； ②以邻接点v2为起点，找到v2邻接的最小边值，如果最小边值比v1邻接的所有边值都小(除已连接的边值)，直接连接，否则退回1v ，连接1v 现在的最小边值(除已连接的边值)； ③重复操作，直到所有节点都被访问过一次； 24.关键路径 例2 求PERT 图中各顶点的最早完成时间, 最晚完成时间, 缓冲时间及关键路径. 解：最早完成时间 TE(v1)=0 TE(v2)=max{0+1}=1 TE(v3)=max{0+2,1+0}=2 TE(v4)=max{0+3,2+2}=4 TE(v5)=max{1+3,4+4}=8 TE(v6)=max{2+4,8+1}=9 TE(v7)=max{1+4,2+4}=6 TE(v8)=max{9+1,6+6}=12 最晚完成时间 TL(v8)=12 TL(v7)=min{12-6}=6 TL(v6)=min{12-1}=11 TL(v5)=min{11-1}=10 TL(v4)=min{10-4}=6 TL(v3)=min{6-2,11-4,6-4}=2 TL(v2)=min{2-0,10-3,6-4}=2 TL(v1)=min{2-1,2-2,6-3}=0 缓冲时间 TS(v1)=0-0=0 TS(v2)=2-1=1 TS(v3)=2-2=0 TS(v4)=6-4=2 TS(v5=10-8=2 TS(v6)=11-9=2 TS(v7)=6-6=0 TS(v8)=12-12=0 关键路径: v1-v3-v7-v8 25.欧拉路：经过图中每条边一次且仅一次的通路； 欧拉回路：经过图中每条边一次且仅一次的回路； 欧拉图：具有欧拉回路的图； 单向欧拉路：经过有向图中每条边一次且仅一次的单向路； 欧拉单向回路：经过有向图中每条边一次且仅一次的单向回路； 26.（1）无向图中存在欧拉路的充要条件： ①连通图；②有0个或2个奇数度节点； （2）无向图中存在欧拉回路的充要条件： ①连通图；②所有节点度数均为偶数； （3）连通有向图含有单向欧拉路的充要条件： ①除两个节点外，每个节点入度=出度； ②这两个节点中，一个节点的入度比出度多1，另一个节点的入；度比出度少1； （4）连通有向图含有单向欧拉回路的充要条件： 图中每个节点的出度=入度； 27.哈密顿路：经过图中每个节点一次且仅一次的通路； 哈密顿回路：经过图中每个节点一次且仅一次的回路； 哈密顿图：具有哈密顿回路的图； 28.判定哈密顿图（没有充要条件） 必要条件： 任意去掉图中n 个节点及关联的边后，得到的分图数目小于等于n ； 充分条件： 图中每一对节点的度数之和都大于等于图中的总节点数； 29.哈密顿图的应用：安排圆桌会议； 方法：将每一个人看做一个节点，将每个人与和他能交流的人连接，找到一条经过每个节点一次且仅一次的回路(哈密顿图)，即可； 30.平面图：将图形的交叉边进行改造后，不会出现边的交叉，则是平面图； 31.面次：面的边界回路长度称为该面的次； 32.一个有限平面图，面的次数之和等于其边数的两倍； 33.欧拉定理：假设一个连通平面图有v 个节点，e 条边，r 个面，则 v-e+r=2； 34.判断是平面图的必要条件：(若不满足，就一定不是平面图) 设图G 是v 个节点，e 条边的简单连通平面图，若v>=3，则e<=3v-6； 35.同胚：对于两个图G1,G2，如果它们是同构的，或者通过反复插入和除去2度节点可以变成同构的图，则称G1，G2是同胚的； 36.判断G 是平面图的充要条件： 图G 不含同胚于K3.3或K5的子图； 37.二部图：①无向图的节点集合可以划分为两个子集V1，V2； ②图中每条边的一个端点在V1，另一个则在V2中； 完全二部图：二部图中V1的每个节点都与V2的每个节点邻接； 判定无向图G 为二部图的充要条件： 图中每条回路经过边的条数均为偶数； 38.树：具有n 个顶点n-1条边的无回路连通无向图； 39.节点的层数：从树根到该节点经过的边的条数； 40.树高：层数最大的顶点的层数； 41.二叉树： ①二叉树额基本结构状态有5种； ②二叉树内节点的度数只考虑出度，不考虑入度； ③二叉树内树叶的节点度数为0，而树内树叶节点度数为1； ④二叉树内节点的度数=边的总数(只算出度)；握手定理“节点数=边的两倍”是在同时计算入度和出度的时成立； ⑤二叉树内节点的总数=边的总数+1； ⑥位于二叉树第k 层上的节点，最多有12-k 个(k>=1)； ⑦深度为k 的二叉树的节点总数最多为k 2-1个，最少k 个(k>=1)； ⑧如果有0n 个叶子，n2个2度节点，则0n=n2+1； 42.二叉树的节点遍历方法： 先根顺序（DLR ）； 中根顺序（LDR ）； 后根顺序（LRD ）； 43.哈夫曼树：用哈夫曼算法构造的最优二叉树； 44.最优二叉树的构造方法： ①将给定的权值按从小到大排序； ②取两个最小值分支点的左右子树(左小右大)，去掉已选的这两个权值，并将这两个最小值加起来作为下一轮排序的权值； ③重复②，直达所有权值构造完毕； 45.哈夫曼编码：在最优二叉树上，按照左0右1的规则，用0和1代替所有边的权值； 每个节点的编码：从根到该节点经过的0和1组成的一排编码；。

离散数学期末总结离散数学是描绘一些离散量与量之间的相互逻辑构造及关系的学科。

它的思想方法及内容渗透到计算机学科的各个领域中。

因此它成为计算机及相关专业的一门重要专业根底课。

主要内容包括：集合论、关系、代数系统、图论和数理逻辑五个部分。

构造上，从集合论入手，后介绍数理逻辑，便于学生学习。

为了能很好的消化理解内容，列举了大量的较为典型、易于承受、说明问题的例题，配备了相当数量的习题，也列举了部分实际应用问题。

一．知识点第一章.集合论集合论或集论是研究集合（由一堆抽象物件构成的整体）的数学理论，包含集合、元素和成员关系等最根本数学概念。

在大多数现代数学的公式化中，集合论提供了要如何描述数学物件的语言。

本章主要介绍集合的根本概念、运算及幂集合和笛卡尔乘积。

这章是本书的根底部分，要学好离散数学就必须很好的掌握集合的内容。

集合论的概念和方法已经渗透到所有的数学分支，因而各数学分支的完整体系，都是在所取集合上。

第二章．关系关系在我们日常生活中经常会遇到关系这一概念。

但在数学中关系表示集合中元素间的联系。

本章主要学习关系的根本概念、关系的性质、闭包运算、次序关系、等价关系，本章学习的重点：关系的性质、闭包运算、次序关系。

关系这一章是集合论这一章的延伸，对集合论的理解程度对学习关系这一章是非常有影响的。

而关系又是学习下一章代数系统必不可少的，所以本章是非常重要的章节。

第三章．代数系统代数构造也叫做抽象代数，主要研究抽象的代数系统。

抽象代数研究的中心问题就是一种很重要的数学构造--代数系统：半群、群等等。

本章主要学习了运算与半群、群。

学习本章需要学会判断是否是代数系统、群和半群，以及判断代数系统具有哪些运算规律，如：结合、交换律等及单位元、逆元。

这些都在我们计算机编码中表达出重要的作用。

第四章．图论图论〔Graph Theory〕起源于著名的柯尼斯堡七桥问题，以图为研究对象。

图论中的图是由假设干给定的点及连接两点的线所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系，用点代表事物，用连接两点的线表示相应两个事物间具有这种关系。

离散数学知识点总结 一、各章复习要求与重点第一章 集 合[复习知识点]1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律（交换律、结合律、分配律、吸收律、 De Morgan 律等），文氏（V enn ）图3、序偶与迪卡尔积本章重点内容：集合的概念、集合的运算性质、集合恒等式的证明 [复习要求]1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。

2、掌握集合的表示法和集合的交、并、差、补等基本运算。

3、掌握集合运算基本规律，证明集合等式的方法。

4、了解序偶与迪卡尔积的概念，掌握迪卡尔积的运算。

[本章重点习题]P5~6，4、6； P14~15，3、6、7； P20，5、7。

[疑难解析] 1、集合的概念因为集合的概念学生在中学阶段已经学过，这里只多了一个幂集概念，重点对幂集加以掌握，一是掌握幂集的构成，一是掌握幂集元数为2n 。

2、集合恒等式的证明通过对集合恒等式证明的练习，既可以加深对集合性质的理解与掌握；又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。

实际上，本章做题是一种基本功训练，尤其要求学生重视吸收律和重要等价式在B A B A ~⋂=-证明中的特殊作用。

[例题分析]例1 设A ，B 是两个集合，A={1，2，3}，B={1，2}，则=-)()(B A ρρ 。

解}}3,2,1{},3,2{},3,1{},2,1{},3{},2{},1{,{)(φρ=A}}2,1{},2{},1{,{)(φρ=B于是}}3,2,1{},3,2{},3,1{},3{{)()(=-B A ρρ例2 设{}{}Φ=,,,,b a b a A ，试求：(1){}b a A ,-； (2)Φ-A ； (3){}Φ-A ； (4){}{}A b a -,； (5)A -Φ； (6){}A -Φ。

解 (1){}{}{}Φ=-,,,b a b a A (2)A A =Φ- (3){}{}{}b a b a A ,,,=Φ- (4){}{}Φ=-A b a , (5)Φ=-ΦA (6){}Φ=-ΦA 例3 试证明()()()()B A B A B A B A ~~~~⋂⋃⋂=⋃⋂⋃ 证明()()()()()()()()()()()()()()()()()()B A B A B A B A B B B A A B A A B B A A B A B A B A ~~~~~~~~~~~~~⋂⋃⋂=Φ⋃⋂⋃⋂⋃Φ=⋂⋃⋂⋃⋂⋃⋂=⋂⋃⋃⋂⋃=⋃⋂⋃第二章 二元关系[复习知识点]1、关系、关系矩阵与关系图2、复合关系与逆关系3、关系的性质（自反性、对称性、反对称性、传递性）4、关系的闭包（自反闭包、对称闭包、传递闭包）5、等价关系与等价类6、偏序关系与哈斯图（Hasse ）、极大/小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质（单射、满射、双射）8、复合函数与反函数本章重点内容：二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念 [复习要求]1、理解关系的概念：二元关系、空关系、全关系、恒等关系；掌握关系的集合表示、关系矩阵和关系图、关系的运算。

离散数学知识点总结及应用
知识点1: 集合论
- 集合的定义和表示方法
- 集合的运算：并、交、差、补
- 集合的基本性质和定律
知识点2: 逻辑与命题
- 命题的定义和特性
- 命题的联结词：与、或、非
- 命题的真值表和逻辑运算
- 命题的充分条件和必要条件
知识点3: 关系与函数
- 关系的定义和性质
- 关系的类型：自反、对称、传递、等价
- 函数的定义和基本概念
- 函数的特性和图像
知识点4: 图论
- 图的基本概念和术语
- 图的存储结构：邻接矩阵、邻接表
- 图的遍历算法：深度优先搜索、广度优先搜索
- 最短路径算法：Dijkstra算法、Floyd-Warshall算法
知识点5: 组合数学
- 排列和组合的基本概念
- 排列和组合的计算方法
- 随机变量和概率分布
- 组合数学在密码学等领域的应用
知识点6: 布尔代数
- 布尔代数的基本运算：与、或、非
- 布尔函数的最小化方法
- 布尔代数的应用：逻辑电路设计、编码器等
知识点7: 计算理论
- 自动机的基本概念和分类
- 正则语言和正则表达式
- 文法的定义和性质
- 上下文无关文法和巴科斯范式
知识点8: 数论
- 整数的性质和基本运算
- 质数和分解定理
- 同余关系和同余方程
- 数论在加密算法中的应用
以上是离散数学中的一些主要知识点和应用场景的简要总结，希望对你的研究有所帮助。

离散数学必备知识点总结汇总
1.集合论：集合的概念、元素、子集、交集、并集、差集、补集、空集、集合的运算、集合的等价关系、集合的序关系等。

2.命题逻辑：命题的概念、命题的联接词（与、或、非）、命题的否
定形式、命题的蕴涵、等价命题、命题的充分条件和必要条件、命题的合
取范式和析取范式、蕴涵式、逻辑等价式、命题的否定形式的推理。

3.谓词逻辑：谓词的概念、谓词的量化、全称量化和存在量化、谓词
逻辑的等价式和推理规则、归纳定理和应用。

4.关系：关系的概念、关系的性质、关系的运算、关系的性质和关系
的代数结构。

5.图论：图的概念、图的表示、连通图、树、度数和定理、欧拉图、
哈密顿图、图的平面性质等。

6.混合图：有向图、无向图、有向图和无向图的表示、混合图的回路、可达矩阵、连通度、强连通图等。

7.布尔代数：布尔运算、布尔函数、布尔代数的运算规则、完备性和
最小化。

8.代数结构：半群、群、环、域的定义和性质、同态和同构。

9.组合数学：排列组合、二项式系数、排列、组合、分配原理、鸽巢
原理、生成函数、容斥原理等。

10.图的着色：图的着色问题、邻接矩阵、边界点、图的着色问题的
算法、四色定理等。

11.概率论：基本概念、概率的性质、条件概率、独立事件、贝叶斯定理、随机变量、概率分布函数、期望、方差、协方差、相关系数、大数定理和中心极限定理等。

12.递归：递归关系、递归函数、递归算法、递归树、递归求解等。

大学数学易考知识点离散数学与论大学数学易考知识点——离散数学与论离散数学与论是大学数学中的一个重要分支，也是数学思维的基础。

它以数论、图论、集合论、代数结构和逻辑等内容为主线，是计算机科学和信息科学的基石。

在大学数学考试中，离散数学的知识点是相对容易得分的，本文将介绍一些大学数学易考的离散数学与论知识点，希望对广大学子有所帮助。

一、数论数论是研究整数性质及其间的相关关系的学科。

大学数学考试中常见的数论知识点包括奇偶性、整除关系、模运算、素数及其性质等。

以下是数论的一些易考知识点：1. 奇偶性：大学数学考试中经常出现奇数和偶数的性质问题，例如奇数加偶数、奇数乘偶数的性质。

2. 整除关系：掌握整数的除法定义和整除的性质，包括最大公因数与最小公倍数的计算方法等。

3. 模运算：了解模运算的基本概念和性质，包括同余关系、模运算的运算规则等。

4. 素数及其性质：熟悉素数与合数的定义，了解素数的判定方法，掌握素数的性质及其在整数运算中的应用。

二、图论图论是研究图及其性质、图的应用以及相关图算法的学科。

图是由若干个顶点以及连接这些顶点的边所构成的数学模型。

图论是离散数学与论中的一个重要分支，也是计算机科学中的基础知识。

以下是图论的一些易考知识点：1. 图的基本概念：了解图的基本概念，包括顶点、边、邻接关系、度数、路径等。

2. 连通图与连通分量：理解连通图的定义和性质，了解连通分量的划分与应用。

3. 树及其性质：熟悉树的定义和性质，掌握树的判定方法和生成树的相关算法。

4. 图的着色问题：了解图的着色问题的基本概念和相关算法，包括顶点着色和边着色等。

三、集合论集合论是数学中研究集合及其运算规律的学科。

在离散数学与论中，集合论扮演着重要的角色，它是分析和证明离散数学性质的基础。

以下是集合论的一些易考知识点：1. 集合的基本概念：了解集合的定义和基本运算，包括并集、交集、差集和补集等。

2. 集合的运算规律：掌握集合的运算规律，包括交换律、结合律、分配律等。

《离散数学》方世昌的期末复习知识点总结1.集合论-集合的定义和运算：交、并、差、补、反转。

子集与真子集的概念。

-集合的基数：有限集、无限集、可数集、不可数集的定义与特性。

-集合的运算律：交换律、结合律、分配律、幂等律、吸收律。

-集合的等价关系：等价关系的定义和性质，等价关系的划分和等价类。

2.逻辑与命题关系-命题与命题符号：命题的定义、真值表和含有逻辑连接词的复合命题。

-命题逻辑：命题的蕴涵、等价、否定、充分条件和必要条件。

-谓词逻辑：命题的全称量词、存在量词及其关系。

-命题逻辑推理：假言推理、析取推理、拒取推理、类比推理等。

3.图论-图的基本概念与术语：顶点、边、邻接、路径、回路、连通、子图、生成树等。

-图的分类：无向图、有向图、简单图、多重图、完全图。

-图的矩阵表示：邻接矩阵、关联矩阵、度矩阵等。

-图的遍历算法：深度优先、广度优先。

-图的最短路径算法：迪杰斯特拉算法、弗洛伊德算法。

4.代数系统与半群-代数结构：代数系统的定义、代数公理、代数性质。

-半群：半群的定义与性质，封闭性、结合律和单位元。

-半群的子半群与同态：子半群的概念，同态映射的定义与性质。

-有限半群与无限半群：有限半群的定义和性质，无限半群的特点与例子。

5.数论与代数-整数与整数集合的性质：整数的除法原理、整除、公约数、最大公约数和最小公倍数。

-同余关系与同余类：同余关系的定义、同余类的性质、同余关系的基本定理。

-质数与素数：质数的定义、素数的性质、素数的判定方法。

-线性同余方程：线性同余方程的解法、同余方程的应用。

以上仅是《离散数学》中的部分重要知识点总结，该教材还包括很多其他内容，如排列组合、概率论、布尔代数等等。

期末复习时，建议从教材中选取一些重点章节进行深入学习和复习，同时要进行大量的习题训练，加深对知识点的理解和掌握。

祝你在期末考试中取得好成绩！。

命题：称能判断真假的陈述句为命题。

命题公式：若在复合命题中，p、q、r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式。

命题的赋值：设A为一命题公式，p ,p ,…,p 为出现在A中的所有命题变项。

给p ,p ,…,p 指定一组真值，称为对A的一个赋值或解释。

若指定的一组值使A的值为真，则称成真赋值。

真值表：含n（n≥1）个命题变项的命题公式，共有2^n组赋值。

将命题公式A在所有赋值下的取值情况列成表，称为A的真值表。

命题公式的类型：（1）若A在它的各种赋值下均取值为真，则称A为重言式或永真式。

（2）若A在它的赋值下取值均为假，则称A为矛盾式或永假式。

（3）若A至少存在一组赋值是成真赋值，则A是可满足式。

主析取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合取式全是极小项，则称该析取范式为A的主析取范式。

主合取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合析式全是极大项，则称该析取范式为A的主析取范式。

命题的等值式：设A、B为两命题公式，若等价式A↔B是重言式，则称A与B是等值的，记作A<=>B。

约束变元和自由变元：在合式公式∀x A和∃x A中，称x为指导变项，称A为相应量词的辖域，x称为约束变元，x的出现称为约束出现，A中其他出现称为自由出现（自由变元）。

一阶逻辑等值式：设A，B是一阶逻辑中任意的两公式，若A↔B为逻辑有效式，则称A与B是等值的，记作A<=>B，称A<=>B为等值式。

前束范式：设A为一谓词公式，若A具有如下形式Q1x1Q2x2Q k…x k B，称A为前束范式。

集合的基本运算：并、交、差、相对补和对称差运算。

笛卡尔积：设A和B为集合，用A中元素为第一元素，用B中元素为第二元素构成有序对组成的集合称为A和B的笛卡尔积，记为A×B。

二元关系：如果一个集合R为空集或者它的元素都是有序对，则称集合R是一个二元关系。

离散数学知识点总结离散数学是数学的一个分支，主要研究离散的数学结构和离散的数学对象。

它包括了许多重要的概念和技术，是计算机科学、通信工程、数学和逻辑学等领域的基础。

本文将对离散数学的一些核心知识点进行总结，包括命题逻辑、一阶逻辑、图论、集合论和组合数学等内容。

1. 命题逻辑命题逻辑是离散数学的一个重要分支，研究命题之间的逻辑关系。

命题是一个陈述语句，要么为真，要么为假，而且不能同时为真和为假。

命题逻辑包括逻辑运算和逻辑推理等内容，是离散数学的基础之一。

1.1 逻辑运算逻辑运算包括与（∧）、或（∨）、非（¬）、蕴含（→）和双条件（↔）等运算。

与、或和非是三种基本的逻辑运算，蕴含和双条件则是基于这三种基本运算得到的复合运算。

1.2 逻辑等值式逻辑等值式是指在命题逻辑中具有相同真值的两个复合命题。

常见的逻辑等值式包括德摩根定律、双重否定定律、分配率等。

1.3 形式化证明形式化证明是命题逻辑的一个重要内容，研究如何利用逻辑规则和等值式来推导出给定命题的真值。

形式化证明包括直接证明、间接证明和反证法等方法，是离散数学中的常见技巧。

2. 一阶逻辑一阶逻辑是命题逻辑的延伸，研究命题中的量词和谓词等概念。

一阶逻辑包括量词、谓词逻辑和形式化证明等内容，是离散数学中的重要部分。

2.1 量词量词包括全称量词（∀）和存在量词（∃），用来对命题中的变量进行量化。

全称量词表示对所有元素都成立的命题，而存在量词表示至少存在一个元素使命题成立。

2.2 谓词逻辑谓词逻辑是一阶逻辑的核心内容，研究带有量词的语句和谓词的逻辑关系。

谓词是含有变量的函数，它可以表示一类对象的性质或关系。

2.3 形式化证明形式化证明在一阶逻辑中同样起着重要作用，通过逻辑规则和等值式来推导出给定命题的真值。

一阶逻辑的形式化证明和命题逻辑类似，但更复杂和抽象。

3. 图论图论是离散数学中的一个重要分支，研究图和图的性质。

图是由节点和边组成的数学对象，图论包括图的表示、图的遍历、最短路径、最小生成树等内容，是离散数学中的一大亮点。

第四章图论1.图的基本概念重点掌握：阶的概念；度的概念：完全图，补图概念；母图与子图—引出生成图与导出图概念的差别；握手定理—度数和 = 2 倍边；握手定理应用—图这一章的所有计算题的理论依据。

2.图的分割重点掌握：割集概念—注意割点或桥的特点。

请留心割集与基本割集的联系。

例题1、９阶无向简单连通图Ｇ中，顶点间的最大距离为 [ A ] A．8 ； B．9 ； C．10 ； D．11 。

第五章树1.树的基本概念重点掌握：定义—连通而无回路，m = n - 1；生成树—引出树枝、弦、基本回路、基本割集概念。

2.根树重点掌握：根树的来源及特点定义；最优二元树及最佳前缀码。

特别要求:必须掌握图----树关系.例题1: 每条边都是桥的无向连通图必是树。

[ 是]例题2、n 阶无向连通图G有m 条边，T为G 的一棵生成树，则G对应T的基本回路数目为[ D ]A．n ；B．n-1 ；C．m-n；D．m-n+1。

例题3、非平凡无向树T 是连通图[ 是]。

例题4、根树中的树叶都在树的最高层。

[ 非 ]例题5、填空题：（1）n 阶非平凡无向树至少两片树叶。

（2）、图G（m，n）的阶数n 为10，则其生成树的边数为9 。

例题6、在网上传输 GOODBYE 的最佳前缀码。

每个字母出现频率分别为：G、D、B、E、Y：14%，O：28%；(可以对符号出现频率归一,如下图右;也可以不归一,某符号出现次数即为权,下图左).所以，得到编码如下：G（000），D（001），B（100），E（101），Y（01），O （11）。

试问：你能算出传递ＧＯＯＤＢＹＥ共用多少位二进制码字？第六章命题逻辑1.基本概念重点掌握：命题—命题定义及简单命题；5 个基本联结词 + 简单命题 = 复合命题；简单命题的符号化；2.命题公式及其规范形式重点掌握：公式的赋值—成真、成假赋值，真值表—公式的类型；范式及主范式—析取范式与合取范式；主范式中极小项与极大项关系。

离散数学知识点整理离散数学是现代数学的一个重要分支，它在计算机科学、信息科学、电子工程等领域都有着广泛的应用。

下面我们来对离散数学的一些重要知识点进行整理。

一、集合论集合是离散数学的基础概念之一。

集合是由一些确定的、不同的对象组成的整体。

集合的表示方法有列举法和描述法。

集合的运算包括并集、交集、差集和补集。

并集是指将两个集合中的所有元素合并在一起组成的新集合。

交集则是指两个集合中共同拥有的元素组成的集合。

差集是从一个集合中去掉另一个集合中的元素得到的集合。

补集是在给定的全集范围内，某个集合之外的元素组成的集合。

集合之间的关系也非常重要，比如包含关系、相等关系等。

子集是指一个集合中的所有元素都属于另一个集合。

如果两个集合相互包含，那么它们就是相等的。

二、关系关系是集合中元素之间的某种联系。

关系可以用矩阵和图形来表示。

关系的性质包括自反性、反自反性、对称性、反对称性和传递性。

自反性是指集合中的每个元素都与自身有关系；反自反性则是集合中的每个元素都与自身没有关系。

对称性是指如果一个元素与另一个元素有关系，那么反过来另一个元素也与这个元素有关系；反对称性则是如果一个元素与另一个元素有关系，且另一个元素也与这个元素有关系，那么这两个元素必须相等。

传递性是指如果一个元素与另一个元素有关系，另一个元素与第三个元素有关系，那么第一个元素与第三个元素也有关系。

关系的合成是将两个关系结合起来得到一个新的关系。

三、函数函数是一种特殊的关系，它对于定义域中的每个元素，都有唯一的对应值在值域中。

函数的类型有单射、满射和双射。

单射是指定义域中的不同元素对应值域中的不同元素；满射是指值域中的每个元素都有定义域中的元素与之对应；双射则是既是单射又是满射。

四、代数系统代数系统由集合、运算和运算所满足的公理组成。

常见的代数系统有群、环、域等。

群是一种具有封闭性、结合律、单位元和逆元的代数系统。

环是在群的基础上增加了两个运算，并且满足一定的运算规则。

离散数学知识点总结离散数学是计算机科学基础理论的核心课程之一，是计算机及应用、通信等专业的一门重要的基础课。

它以研究量的结构和相互关系为主要目标，其研究对象一般是有限个或可数个元素，充分体现了计算机科学离散性的特点。

学习离散数学的目的是为学习计算机、通信等专业各后续课程做好必要的知识准备，进一步提高抽象思维和逻辑推理的能力，为计算机的应用提供必要的描述工具和理论基础。

1、定义和定理多离散数学是建立在大量定义、定理之上的逻辑推理学科，因此对概念的理解是学习这门课程的核心。

在学习这些概念的基础上，要特别注意概念之间的联系，而描述这些联系的实体则是大量的定理和性质。

在考试中有一部分内容是考查学生对定义和定理的识记、理解和运用，因此要真正理解离散数学中所给出的每个基本概念的真正的含义。

比如，命题的定义、五个基本联结词、公式的主析取范式和主合取范式、三个推理规则以及反证法；集合的五种运算的定义；关系的定义和关系的四个性质；函数（映射）和几种特殊函数（映射）的定义；图、完全图、简单图、子图、补图的定义；图中简单路、基本路的定义以及两个图同构的定义；树与最小生成树的定义。

掌握和理解这些概念对于学好离散数学是至关重要的。

2、方法性强在离散数学的学习过程中，一定要注重和掌握离散数学处理问题的方法，在做题时，找到一个合适的解题思路和方法是极为重要的。

如果知道了一道题用怎样的方法去做或证明，就能很容易地做或证出来。

反之，则事倍功半。

在离散数学中，虽然各种各样的题种类繁多，但每类题的解法均有规律可循。

所以在听课和平时的复习中，要善于总结和归纳具有规律性的内容。

在平时的讲课和复习中，老师会总结各类解题思路和方法。

作为学生，首先应该熟悉并且会用这些方法，同时，还要勤于思考，对于一道题，进可能地多探讨几种解法。

3、抽象性强离散数学的特点是知识点集中，对抽象思维能力的要求较高。

由于这些定义的抽象性，使初学者往往不能在脑海中直接建立起它们与现实世界中客观事物的联系。

离散数学期末复习要点与重点离散数学是计算机科学及其他相关学科中的一门重要的基础课程。

它主要研究离散的结构和对象，以及它们之间的关系和性质。

离散数学的核心内容包括集合论、关系、图论、布尔代数和逻辑等。

下面是离散数学期末复习的要点与重点。

一、集合论1.集合的基本概念，包括元素、子集、幂集、集合的运算等。

2.集合的性质，如交换律、结合律、分配律等。

3.集合的表示方法，包括列举法、描述法、特征函数法等。

4.集合的运算，如并、交、差、对称差等。

5.集合的关系，包括子集关系、相等关系、真子集关系等。

二、关系1.关系的基本概念，包括序偶、笛卡尔积、关系的定义等。

2.关系的性质，如自反性、对称性、传递性等。

3.关系的表示方法，包括关系矩阵、关系图、关系表等。

4.关系的运算，如复合、逆、幂等等。

5.等价关系和偏序关系的特性和性质。

6.关系的闭包，包括自反闭包、对称闭包、传递闭包等。

三、图论1.图的基本概念，包括顶点、边、路径、环等。

2.不同类型的图，包括无向图、有向图、简单图、多重图等。

3.图的表示方法，包括邻接矩阵、邻接表等。

4.图的遍历算法，包括深度优先（DFS）和广度优先（BFS）。

5. 最小生成树算法，包括Prim算法和Kruskal算法。

6. 最短路径算法，包括Dijkstra算法和Floyd-Warshall算法。

四、布尔代数1.布尔代数的基本运算，包括与、或、非等。

2.布尔函数的最小项和最大项表示方法。

3.布尔函数的化简，包括代数化简和卡诺图化简。

4.布尔函数的特性，包括恒等律、零律、单位律等。

5.布尔函数的逻辑门电路实现，包括与门、或门、非门等。

五、逻辑1.命题逻辑的基本概念，包括命题、命题变量、逻辑联结词等。

2.命题逻辑的语法，包括命题公式的形式化定义和语法规则。

3.命题逻辑的证明方法，包括直接证明、间接证明、反证法等。

4.谓词逻辑的基本概念，包括谓词、量词、合取范式等。

5.谓词逻辑的语义，包括赋值、满足关系等。

离散数学知识点总结1. 集合论- 集合的基本概念：集合、元素、子集、幂集、并集、交集、差集、补集。

- 集合的运算：德摩根定律、分配律、结合律、交换律。

- 有限集合和无限集合：可数与不可数集合、阿列夫零、阿列夫一。

2. 数理逻辑- 命题逻辑：命题、联结词、真值表、逻辑等价、逻辑蕴含、逻辑独立。

- 一阶谓词逻辑：量词、谓词、解释、满足、逻辑公式、全称量词、存在量词。

- 证明方法：直接证明、间接证明、反证法、数学归纳法。

3. 递归关系和函数- 递归定义：递归方程、初始条件、递归函数。

- 递归函数的例子：阶乘、斐波那契数列。

- 函数的性质：单射、满射、双射、复合函数。

4. 图论- 图的基本概念：顶点、边、路径、回路、图的同构。

- 图的类型：无向图、有向图、简单图、多重图、连通图、强连通图。

- 图的算法：欧拉路径、哈密顿回路、最短路径（Dijkstra算法）、最小生成树（Prim算法、Kruskal算法）。

5. 组合数学- 排列与组合：排列数、组合数、二项式定理。

- 组合恒等式：Pascal三角形、组合恒等式。

- 组合问题：计数原理、Inclusion-Exclusion原理。

6. 布尔代数- 布尔运算：AND、OR、NOT、XOR、NAND、NOR、XNOR。

- 布尔表达式的简化：卡诺图、奎因-麦克拉斯基方法。

- 布尔函数的表示：真值表、卡诺图、逻辑表达式。

7. 关系论- 关系的基本概念：笛卡尔积、自反性、对称性、传递性。

- 关系的类型：等价关系、偏序关系、全序关系。

- 关系的闭包：自反闭包、对称闭包、传递闭包。

8. 树和森林- 树的基本概念：节点、边、根、叶、子树、兄弟、祖先、子孙。

- 特殊类型的树：二叉树、平衡树、B树、B+树。

- 树的遍历：前序遍历、中序遍历、后序遍历、层次遍历。

9. 算法复杂度- 时间复杂度：最好情况、最坏情况、平均情况、大O表示法。

- 空间复杂度：算法空间需求的分析。

- 渐进分析：渐进紧确界、大Θ表示法、小o和大O的非正式描述。

《离散数学（第三版）》的期末复习知识点总结一、各章复习要求与重点第一章集合[复习知识点]1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律（交换律、结合律、分配律、吸收律、De Morgan律等），文氏（Venn）图3、序偶与迪卡尔积本章重点内容：集合的概念、集合的运算性质、集合恒等式的证明[复习要求]1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。

2、掌握集合的表示法和集合的交、并、差、补等基本运算。

3、掌握集合运算基本规律，证明集合等式的方法。

4、了解序偶与迪卡尔积的概念，掌握迪卡尔积的运算。

第二章二元关系[复习知识点]1、关系、关系矩阵与关系图2、复合关系与逆关系3、关系的性质（自反性、对称性、反对称性、传递性）4、关系的闭包（自反闭包、对称闭包、传递闭包）5、等价关系与等价类6、偏序关系与哈斯图（Hasse）、极大/小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质（单射、满射、双射）8、复合函数与反函数本章重点内容：二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念[复习要求]1、理解关系的概念：二元关系、空关系、全关系、恒等关系；掌握关系的集合表示、关系矩阵和关系图、关系的运算。

2、掌握求复合关系与逆关系的方法。

3、理解关系的性质（自反性、对称性、反对称性、传递性），掌握其判别方法（定义、矩阵、图）。

4、掌握求关系的闭包（自反闭包、对称闭包、传递闭包）的方法。

5、理解等价关系和偏序关系的概念，掌握等价类的求法和偏序关系做哈斯图的方法，极大/小元、最大/小元、上/下界、最小上界、最大下界的求法。

6、理解函数概念：函数、函数相等、复合函数和反函数。

7、理解单射、满射、双射等概念，掌握其判别方法。

第三章命题逻辑[复习知识点]１、命题与联结词（否定、析取、合取、蕴涵、等价），复合命题２、命题公式与解释，真值表，公式分类（恒真、恒假、可满足），公式的等价３、析取范式、合取范式，极小（大）项，主析取范式、主合取范式４、公式类别的判别方法（真值表法、等值演算法、主析取/合取范式法）５、公式的蕴涵与逻辑结果６、形式演绎本章重点内容：命题与联结词、公式与解释、析取范式与合取范式、公式恒真性的判定、形式演绎[复习要求]１、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。

离散数学知识点归纳一、集合论。

1. 集合的基本概念。

- 集合是由一些确定的、彼此不同的对象组成的整体。

这些对象称为集合的元素。

例如，A = {1,2,3}，其中1、2、3是集合A的元素。

- 集合的表示方法有列举法（如上述A的表示）和描述法（如B={xx是偶数且x < 10}）。

2. 集合间的关系。

- 子集：如果集合A的所有元素都是集合B的元素，则称A是B的子集，记作A⊆ B。

例如，{1,2}⊆{1,2,3}。

- 相等：如果A⊆ B且B⊆ A，则A = B。

- 真子集：如果A⊆ B且A≠ B，则A是B的真子集，记作A⊂ B。

3. 集合的运算。

- 并集：A∪ B={xx∈ A或x∈ B}。

例如，A = {1,2}，B={2,3}，则A∪B={1,2,3}。

- 交集：A∩ B = {xx∈ A且x∈ B}。

对于上述A和B，A∩ B={2}。

- 补集：设全集为U，集合A相对于U的补集¯A=U - A={xx∈ U且x∉ A}。

二、关系。

1. 关系的定义。

- 设A、B是两个集合，A× B的子集R称为从A到B的关系。

当A = B时，R称为A上的关系。

例如，A={1,2}，B = {3,4}，R={(1,3),(2,4)}是从A到B的关系。

2. 关系的表示。

- 关系矩阵：设A={a_1,a_2,·s,a_m}，B={b_1,b_2,·s,b_n}，R是从A到B的关系，则R的关系矩阵M_R=(r_ij)，其中r_ij=<=ft{begin{matrix}1,(a_i,b_j)∈ R0,(a_i,b_j)∉ Rend{matrix}right.。

- 关系图：对于集合A上的关系R，用节点表示A中的元素，若(a,b)∈ R，则用有向边从a指向b。

3. 关系的性质。

- 自反性：对于集合A上的关系R，如果对任意a∈ A，都有(a,a)∈ R，则R 是自反的。

例如，A={1,2,3}，R = {(1,1),(2,2),(3,3)}是自反关系。