《离散数学(第三版)》期末复习知识点总结含例题(呕心沥血整理).doc
大学离散数学期末重点知识点总结(考试专用)
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组成的一排编码；。
《离散数学》总复习
(4) x H . 有 x a = a x， x 1 ( x a) x 1 = x 1 (a x) x 1
a x 1 = x 1 a.
x 1 H . 因此，< H, > 是 < G, > 子群。
《离散数学》总复习
十四.如果 < S, > 是半群，且 是可交换的，证明：若S中有元素a，b 使得a a = a, b b = b，则(a b) (a b) = a b。
S= G 。
15.群 < G, > 的运算表中每一行或每一列都是G中元素的 置换 。
1
16.n个结点的无向完全图Kn的边数 E =
n (n 1) 2
。
17.一棵树有一个结点的度数为2，二个结点的度数为3，三个结点的
度数为4，则有
10
个结点的度数为1。
解. 知识点: 树的基本概念及图的基本定理（握手定理）v
1
2
3
4
12.设 < A, > 是一个代数系统，A ，为定义在A上的二元运算。 若 x, y A, x y = y x，则称运算 为可交换的。 若 x, y, z A,( x y) Mz = x ( y z) ，则称运算 为可结合的。 若 x A, x x = x ，则称运算 为等幂的。
《离散数学》总复习
t(R) = {< a,a >,< a,b >,< a,c >,< a,d >,< b,a >,< b,b >,< b,c >,< b,d >,< c,d >}.
《离散数学》总复
八.已知A = {2,3,4,5,7,10,12,13,16,17,19,20,21,22,25, 29,30}，R是A上的
离散数学知识点总结
注意/技巧：析取符号为V，大写字母Vx + y = 3不是命题前件为假时，命题恒为真运用吸收律命题符号化过程中要注意命题间的逻辑关系，认真分析命题联结词所对应的自然语言中的联结词，不能只凭字面翻译。
也就是说，在不改变原意的基础上，按照最简单的方式翻译通用的方法：真值表法VxP（x）蕴含存在xP（x）利用维恩图解题证明两个集合相等：证明这两个集合互为子集常用的证明方法：任取待证集合中的元素<,>构造相应的图论模型第一章命题逻辑命题和联结词命题的条件：表达判断的陈述句、具有确定的真假值。
选择题中的送分题原子命题也叫简单命题，与复合命题相对简单联结词的真值表要记住非（简单）合取（当且仅当P，Q都为真时，命题为真）析取（当且仅当P，Q都为假时，命题为假），P，Q可以同时成立，是可兼的或条件（→）（当且仅当P为真，Q为假时，命题为假）P是前件，Q是后件只要P，就Q等价于P→Q只有P，才Q等价于非P→非Q，也就是Q→PP→Q特殊的表达形式：P仅当Q、Q每当P双条件（↔）（当且仅当P与Q具有相同的真假值时，命题为真，与异或相反）命题公式优先级由高到低：非、合取和析取、条件和双条件括号省略条件：①不改变先后次序的括号可省去②最外层的括号可省去重言式（永真式）、矛盾式（永假式）、偶然式可满足式：包括重言式和偶然式逻辑等价和蕴含（逻辑）等价:这是两个命题公式之间的关系，写作“⇔”，要与作为联结词的↔区分开来。
如果命题公式A为重言式，那么A⇔T常见的命题等价公式：需要背过被标出的，尽量去理解。
关键是掌握公式是将哪个符号转换为了哪个符号，这对于解证明题有很大的帮助！验证两个命题公式是否等价：当命题变元较少时，用真值表法。
当命题变元较多时，用等价变换的方法，如代入规则、替换规则和传递规则定理：设A、B是命题公式，当且仅当A↔B是一个重言式时，有A和B逻辑等价。
蕴含:若A→B是一个重言式，就称作A蕴含B，记作A⇒B常见的蕴含公式的运用方法同上面的命题等价公式证明A⇒B：①肯定前件，推出后件为真②否定后件，推出前件为假当且仅当A⇒B且B⇒A时，A⇔B，也就是说，要证明两个命题公式等价，可以证明它们相互蕴含联结词的完备集新的联结词：条件否定、异或（不可兼或）、或非（析取的否定）、与非（合取的否定）任意命题公式都可由仅含{非，析取}或{非，合取}的命题公式来等价地表示全功能联结词集合极小全功能联结词集合对偶式对偶式：将仅含有联结词非、析取、合取（若不满足，需先做转换）的命题公式A中的析取变合取，合取变析取，T变F，F变T得到的命题公式A*称为A的对偶式范式析取式：否定+析取合取式：否定+合取析取范式：（合取式）析取（合取式）……析取（合取式）。
离散数学知识点总结
离散数学知识点总结 一、各章复习要求与重点第一章 集 合[复习知识点]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、理解关系的概念：二元关系、空关系、全关系、恒等关系；掌握关系的集合表示、关系矩阵和关系图、关系的运算。
(完整word版)离散数学知识点
说明：定义：红色表示。
定理性质：橙色表示。
公式：蓝色表示。
算法:绿色表示页码：灰色表示数理逻辑：1.命题公式：命题，联结词(，，，，)，合式公式，子公式2.公式的真值：赋值，求值函数，真值表，等值式，重言式，矛盾式3.范式：析取范式，极小项，主析取范式，合取范式，极大项，主合取范式4.联结词的完备集：真值函数，异或，条件否定，与非，或非，联结词完备集5.推理理论：重言蕴含式，有效结论，P规则，T规则，CP规则，推理6.谓词与量词:谓词，个体词，论域，全称量词，存在量词7.项与公式:项，原子公式，合式公式，自由变元，约束变元，辖域，换名，代入8.公式语义:解释，赋值，有效的，可满足的，不可满足的9.前束范式:前束范式10.推理理论:逻辑蕴含式，有效结论，-规则（US），+规则（UG），-规则(ES)，+规则(EG), 推理集合论：1.集合: 集合, 外延性原理, , , , 空集, 全集, 幂集, 文氏图, 交, 并, 差, 补, 对称差2.关系: 序偶, 笛卡尔积, 关系, domR, ranR, 关系图, 空关系, 全域关系, 恒等关系3.关系性质与闭包:自反的, 反自反的, 对称的, 反对称的, 传递的,自反闭包r(R),对称闭包s(R), 传递闭包t(R)4.等价关系: 等价关系, 等价类, 商集, 划分5.偏序关系:偏序, 哈斯图, 全序(线序), 极大元/极小元, 最大元/最小元, 上界/下界6.函数: 函数, 常函数, 恒等函数, 满射,入射,双射，反函数, 复合函数7.集合基数:基数, 等势, 有限集/无限集, 可数集, 不可数集代数结构：1.运算及其性质：运算，封闭的,可交换的,可结合的,可分配的,吸收律, 幂等的，幺元,零元,逆元2.代数系统：代数系统，子代数，积代数，同态，同构。
3.群与子群：半群,子半群,元素的幂，独异点，群，群的阶数，子群,平凡子群，陪集，拉格朗日（Lagrange）定理4.阿贝尔群和循环群：阿贝尔群(交换群)，循环群,生成元5.环与域：环，交换环，含幺环，整环，域6.格与布尔代数：格，对偶原理，子格，分配格，有界格，有补格，布尔代数，有限布尔代数的表示定理图论：1.图的基本概念：无向图、有向图、关联与相邻、简单图、完全图、正则图、子图、补图，握手定理，图的同构2.图的连通性:通路，回路，简单通路，简单回路（迹）初级通路（路径），初级回路（圈），点连通，连通图，点割集，割点，边割集，割边，点连通度，边连通度，弱连通图，单向连通图，强连通图，二部图（二分图）3.图的矩阵表示：关联矩阵，邻接矩阵，可达矩阵4.欧拉图与哈密顿图：欧拉通路、欧拉回路、欧拉图、半欧拉图，哈密顿通路、哈密顿回路、哈密顿图、半哈密顿图5.无向树与根树：无向树，生成树，最小生成树，Kruskal，根树，m叉树，最优二叉树，Huffman算法6.平面图:平面图，面，欧拉公式，Kuratoski定理数理逻辑：命题：具有确定真值的陈述句。
离散数学复习提纲(完整版)解析
《离散数学》期末复习大纲（完整版）（含例题和考试说明）一、命题逻辑[复习知识点]1、命题与联结词（否定￢、析取∨、合取∧、蕴涵→、等价↔），复合命题2、命题公式与赋值（成真、成假），真值表，公式类型（重言、矛盾、可满足），公式的基本等值式3、范式：析取范式、合取范式，极大（小）项，主析取范式、主合取范式4、公式类型的判别方法（真值表法、等值演算法、主析取/合取范式法）5、命题逻辑的推理理论本章重点内容：命题与联结词、公式与解释、（主）析取范式与（主）合取范式、公式类型的判定、命题逻辑的推理[复习要求]1、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。
2、理解公式与赋值的概念；掌握求给定公式真值表的方法，用基本等值式化简其它公式，公式在解释下的真值。
3、了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取）范式的概念；掌握用基本等值式或真值表将公式化为主析取（合取）范式的方法。
4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价方法。
5、掌握命题逻辑的推理理论。
[疑难解析]1、公式类型的判定判定公式的类型，包括判定公式是重言的、矛盾的或是可满足的。
具体方法有两种，一是真值表法，二是等值演算法。
2、范式求范式，包括求析取范式、合取范式、主析取范式和主合取范式。
关键有两点：一是准确理解掌握定义；另一是巧妙使用基本等值式中的分配律、同一律和互补律（排中律、矛盾律），结果的前一步适当使用幂等律，使相同的短语（或子句）只保留一个。
3、逻辑推理掌握逻辑推理时，要理解并掌握12个（除第10，11）推理规则和3种证明法（直接证明法、附加前提证明法和归谬法）。
例1.试求下列公式的主析取范式：（1）))()((P Q Q P P ⌝∨⌝⌝∧→→；（2）)))((R Q Q P P →⌝∨→⌝∨（))()(())()((:)1P Q Q P Q P P P Q Q P P ∧∧∨∧∧⌝∨⌝=∧∧∨⌝∨⌝=原式解 Q P P P Q P P Q P ∨⌝=∨⌝∧∨⌝=∧∨⌝=)()()())(())((Q P P Q Q P ∧∨⌝∨∨⌝∧⌝=)()()(Q P Q P Q P ∧∨∧⌝∨⌝∧⌝=)))((()))(((:)2R Q Q P P R Q Q P P ∨∨∨∨=→⌝∨→⌝∨解)()()()(R Q P R Q P R Q P R Q P R Q P ∧⌝∧∨∧∧⌝∨⌝∧∧⌝∨∧⌝∧⌝=∨∨=)()()(R Q P R Q P R Q P ∧∧∨⌝∧∧∨⌝∧⌝∧∨）2．用真值表判断下列公式是恒真？恒假？可满足？（1）（P ∧⌝P ）↔Q（2）⌝（P →Q ）∧Q（3）（（P →Q ）∧（Q →R ））→（P →R ）解：（1） 真值表因此公式（1）为可满足。
离散数学期末复习要点与重点
离散数学期末复习要点与重点离散数学计算机科学与技术专业的一门统设必修学位课程，共60学时，开设一学期．该课程的主要内容包括：数理逻辑、集合论、图论等．第1章 命题逻辑复习要点1．理解命题概念，会判别语句是不是命题．理解五个联结词：否定⌝P 、析取∨、合取∧、条件→、和双条件↔及其真值表，会将简单命题符号化．具有确定真假意义的陈述句称为命题．命题必须具备：其一，语句是陈述句；其二，语句有唯一确定的真假意义.2．了解公式的概念(公式、赋值、成真赋值和成假赋值)和公式真值表的构造方法．能熟练地作公式真值表．理解永真式和永假式概念，掌握其判别方法．判定命题公式类型的方法：其一是真值表法，其二是等值演算法.3．了解公式等价概念，掌握公式的重要等价式和判断两个公式是否等价的有效方法：等值演算法、列真值表法和主范式方法．4．理解析取范式和合取范式、极大项和极小项、主析取范式和主合取范式的概念以及和成真赋值、成假赋值的关系，熟练掌握它们的求法．命题公式的范式不惟一，但主范式是惟一的．5．了解C 是前提集合{A 1,A 2,…,A m }的有效结论或由A 1, A 2, …, A m 逻辑地推出C 的概念．要理解并掌握推理理论的规则、重言蕴含式和等价式，掌握命题公式的证明方法：真值表法、直接证法、间接证法．重点：命题与联结词，公式与解释，真值表，公式的类型及判定，主析取(合取)范式，命题演算的推理理论.第2章 谓词逻辑复习要点1．理解谓词、量词、个体词、个体域，会将简单命题符号化．原子命题分成个体词和谓词，个体词可以是具体事物或抽象的概念，分个体常项和个体变项．谓词用来刻划个体词的性质或之间的关系．量词分全称量词∀，存在量词∃.命题符号化注意：使用全称量词∀，特性谓词后用→；使用存在量词∃，特性谓词后用∧．2．了解原子公式、谓词公式、变元(约束变元和自由变元)与辖域等概念．掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法．由原子公式、联结词和量词构成谓词公式．谓词公式具有真值时，才是命题．在谓词公式∀xA 或∃xA 中，x 是指导变元，A 是量词的辖域．会区分约束变元和自由变元．在非空集合D (个体域)上谓词公式A 的一个解释或赋值有3个条件．在任何解释下，谓词公式A 取真值1，A 为逻辑有效式(永真式)；公式A 取真值0，A 为永假式；至少有一个解释使公式A 取真值1，A 称为可满足式．会求谓词公式的真值，量词的辖域，自由变元、约束变元，以及换名规则、代入规则等． 掌握谓词演算的等值式和重言蕴含式．并进行谓词公式的等价演算．3．了解前束范式的概念，会求公式的前束范式的方法.若一个谓词公式F 等价地转化成 B x Q x Q x Q k k ...2211，那么B x Q x Q x Q k k ...2211就是F 的前束范式，其中Q 1，Q 2，…，Q k 只能是∀或∃，而x 1, x 2, …, x k 是个体变元，B 是不含量词的谓词公式．前束范式仍然是谓词公式．重点：谓词与量词，公式与解释，谓词演算．第3章 集合及其运算复习要点1．理解集合、元素、集合的包含、子集、相等，以及全集、空集和幂集等概念，熟练掌握集合的表示方法．具有确定的，可以区分的若干事物的全体称为集合，其中的事物叫元素.．集合的表示方法：列举法和描述法.注意：集合的表示中元素不能重复出现，集合中的元素无顺序之分．掌握集合包含(子集)、真子集、集合相等等概念．注意：元素与集合，集合与子集，子集与幂集，∈与⊂(⊆),空集∅与所有集合等的关系. 空集∅，是惟一的，它是任何集合的子集． 集合A 的幂集P (A )＝}{A x x ⊆， A 的所有子集构成的集合．若∣A ∣＝n ，则∣P (A )∣=2n ．2．熟练掌握集合A 和B 的并A ⋃B ，交A ⋂B ，补集~A (~A 补集总相对于一个全集).差集A －B ，对称差⊕，A ⊕B ＝(A －B )⋃(B －A )，或A ⊕B ＝(A ⋃B )－（A ⋂B ）等运算，并会用文氏图表示．掌握集合运算律.3．掌握用集合运算基本规律证明集合恒等式的方法．集合的运算问题：其一是进行集合运算；其二是运算式的化简；其三是恒等式证明． 证明方法有二：(1)要证明A ＝B ，只需证明A ⊆B ，又A ⊇B ；(2)通过运算律进行等式推导．重点：集合概念，集合的运算，集合恒等式的证明．第4章 关系与函数复习要点1．了解有序对和笛卡儿积的概念，掌握笛卡儿积的运算．有序对就是有顺序二元组，如<x , y >，x , y 的位置是确定的，不能随意放置．注意：有序对<a ，b >≠<b , a >，以a , b 为元素的集合{a , b }={b , a }；有序对<a , a >有意义，而集合{a , a }是单元素集合，应记作{a }．集合A ，B 的笛卡儿积A ×B 是一个集合，规定A ×B ＝{<x ,y >∣x ∈A ,y ∈B }，是有序对的集合.笛卡儿积也可以多个集合合成，A 1×A 2×…×A n ．2．理解关系的概念：二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图，掌握关系的集合运算和求复合关系、逆关系的方法．二元关系是一个有序对集合，},{B y A x y x R ∈∧∈><=，记作xRy ．空关系∅是唯一、是任何关系的子集的关系；全关系},,{A b a b a E A ∈><=A A ⨯≡；恒等关系},{A a a a I A ∈><=，恒等关系的矩阵M I 是单位矩阵．关系的集合运算有并、交、补、差和对称差．复合关系}),,(,{2121R c b R b a b c a R R R >∈<∧>∈<∃><=•=；复合关系矩阵：21R R R M M M ⨯=(按布尔运算)；有结合律：(R •S )•T ＝R •(S •T )，一般不可交换．逆关系},,{1R y x x y R >∈<><=-；逆关系矩阵满足：T R R M M =-1；复合关系与逆关系存在：(R •S )－1=S －1•R －1．3．理解关系的性质(自反性和反自反性、对称性和反对称性、传递性的定义以及矩阵表示或关系图表示)，掌握其判别方法(利用定义、矩阵或图，充分条件)，知道关系闭包的定义和求法．注：(1)关系性质的充分必要条件：① R 是自反的⇔I A ⊆R ；②R 是反自反的⇔I A ⋂R ＝∅；③R 是对称的 ⇔R ＝R －1；④R 是反对称的⇔R ⋂R －1⊆I A ；⑤R 是传递的⇔R •R ⊆R .(2)I A 具有自反性，对称性、反对称性和传递性．E A 具有自反性，对称性和传递性．故I A ，E A 是等价关系．∅具有反自反性、对称性、反对称性和传递性．I A 也是偏序关系．4．理解等价关系和偏序关系概念，理解集合上等价关系与划分一一对应的关系、掌握划分的求法和做偏序集哈斯图的方法．知道极大(小)元，最大(小)元的概念，会求极大(小)元、最大(小)元、上界和下界、最小上界和最大下界．等价关系和偏序关系是具有不同性质的两个关系.⎩⎨⎧==+⎭⎬⎫⎩⎨⎧+偏序关系等价关系传递性反对称性对称性自反性 知道等价关系图的特点和等价类定义，会求等价类．一个子集的极大(小)元可以有多个，而最大(小)元若有，则惟一.且极元、最元只在该子集内；而上界与下界可以在子集之外．由哈斯图便于确定任一子集的最大(小)元，极大(小)元．5．理解函数概念：函数(映射)，函数相等，复合函数和反函数。
《离散数学(第三版)》方世昌 的期末复习知识点总结资料
《离散数学》期末复习提要《离散数学》是中央电大“数学与数学应用专业”（本科）的一门选修课。
该课程使用新的教学大纲，在原有离散数学课程的基础上削减了教学内容（主要是群与环、格与布尔代数这两章及图论的后三节内容），使用的教材为中央电大出版的《离散数学》（刘叙华等编）和《离散数学学习指导书》（虞恩蔚等编）。
离散数学主要研究离散量结构及相互关系，使学生得到良好的数学训练，提高学生抽象思维和逻辑推理能力，为从事计算机的应用提供必要的描述工具和理论基础。
其先修课程为：高等数学、线性代数；后续课程为：数据结构、数据库、操作系统、计算机网络等。
课程的主要内容1、集合论部分（集合的基本概念和运算、关系及其性质）；2、数理逻辑部分（命题逻辑、谓词逻辑）；3、图论部分（图的基本概念、树及其性质）。
学习建议离散数学是理论性较强的学科，学习离散数学的关键是对离散数学（集合论、数理逻辑和图论）有关基本概念的准确掌握，对基本原理及基本运算的运用，并要多做练习。
教学要求的层次各章教学要求的层次为了解、理解和掌握。
了解即能正确判别有关概念和方法；理解是能正确表达有关概念和方法的含义；掌握是在理解的基础上加以灵活应用。
一、各章复习要求与重点第一章集合[复习知识点]1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律（交换律、结合律、分配律、吸收律、De Morgan 律等），文氏（Venn）图3、序偶与迪卡尔积本章重点内容：集合的概念、集合的运算性质、集合恒等式的证明[复习要求]1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。
2、掌握集合的表示法和集合的交、并、差、补等基本运算。
3、掌握集合运算基本规律，证明集合等式的方法。
4、了解序偶与迪卡尔积的概念，掌握迪卡尔积的运算。
[本章重点习题]P5~6，4、6； P14~15，3、6、7； P20，5、7。
《离散数学》期末复习
《离散数学》期末复习《离散数学》期末复习内容：第一章~第七章题型：一、选择题（20%，每题2分）二．填空题（20%，每题2分）三、计算题（20%，每题5分）四、证明题（20%，每题5分）五、判断题（20%，每题2分）第1章数学语言与证明方法1.1 常用的数学符号1.计算常用的数学符号式子1.2 集合及其表示法1.用列举法和描述法表示集合2.判断元素与集合的关系(属于和不属于)3.判断集合之间的包含与相等关系，空集(E)，全集(?)4.计算集合的幂集5.求集合的运算：并、交、相对补、对称差、绝对补6.用文氏图表示集合的运算7.证明集合包含或相等方法一：根据定义, 通过逻辑等值演算证明方法二：利用已知集合等式或包含式, 通过集合演算证明1.3 证明方法概述1、用如下各式方法对命题进行证明。
直接证明法：A→B为真间接证明法：“A→B为真” ?“ ?B→ ?A为真”归谬法(反证法)：A∧?B→0为真穷举法：A1→B, A2→B,…, A k→B 均为真构造证明法：在A为真的条件下, 构造出具有这种性质的客体B ?空证明法：“A恒为假” ?“A→B为真”平凡证明法：“B恒为真” ?“A→B为真”数学归纳法：第2章命题逻辑2.1 命题逻辑基本概念1、判断句子是否为命题、将命题符号化、求命题的真值（0或1）。
命题的定义和联结词(?, ∧, ∨, →, ?)2、判断命题公式的类型赋值或解释.成真赋值,成假赋值；重言式(永真式)、矛盾式(永假式)、可满足式:。
2.2 命题逻辑等值演算1、用真值表判断两个命题公式是否等值2、用等值演算证明两个命题公式是否等值3、证明联结词集合是否为联结词完备集2.3 范式1、求命题公式的析取范式与合取范式2、求命题公式的主析取范式与主合取范式（两种主范式的转换）3、应用主析取范式分析和解决实际问题2.4 命题逻辑推理理论1、用直接法、附加前提、归谬法、归结证明法等推理规则证明推理有效第3章一阶逻辑3.1 一阶逻辑基本概念1、用谓词公式符号命题（正确使用量词）2、求谓词公式的真值、判断谓词公式的类型3.2 一阶逻辑等值演算1、证明谓词公式的等值式2、求谓词公式的前束范式第4章关系4.1 关系的定义及其表示1、计算有序对、笛卡儿积2、计算给定关系的集合3、用关系图和关系矩阵表示关系4.2 关系的运算1、计算关系的定义域、关系的值域2、计算关系的逆关系、复合关系和幂关系3、证明关系运算满足的式子4.3 关系的性质1、判断关系是否为自反、反自反、对称、反对称、传递的2、判断关系运算与性质的关系3、计算关系自反闭包、对称闭包和传递闭包4.4 等价关系与偏序关系1、判断关系是否为等价关系2、计算等价关系的等价类和商集3、计算集合的划分4、判断关系是否为偏序关系5、画出偏序集的哈期图6、求偏序集的最大元、最小元、极小元、极大元、上界、下界、上确界、下确界7、求偏序集的拓扑排序第5章函数1.判断关系是否为函数2.求函数的像和完全原像3.判断函数是否为满射、单射、双射4.构建集合之间的双射函数5.求复合函数6.判断函数的满射、单射、双射的性质与函数复合运算之间的关系7.判断函数的反函数是否存在，若存在求反函数第6章图1.指出无向图的阶数、边数、各顶点的度数、最大度、最小度2.指出有向图的阶数、边数、各顶点的出度和入度、最大出度、最大入度、最小出度最小入出度3.根据握手定理顶点数、边数等4.指出图的平行边、环、弧立点、悬挂顶点和悬挂边5.判断给定的度数列能否构成无向图6.判断图是否为简单图、完全图、正则图、圈图、轮图、方体图7.求给定图的补图、生成子图、导出子图8.判断两个图是否同构6.2 图的连通性1.求图中给定顶点通路、回路的距离2.计算无向图的连通度、点割集、割点、边割集、割边3.判断有向图的类型：强连通图、单向连通图、弱连通图6.3 图的矩阵表示1.计算无向图的关联矩阵2.计算有向无环图的关联矩阵3.计算有向图的邻接矩阵4.计算有向图的可达矩阵5.计算图的给定长度的通路数、回路数6.4 几种特殊的图1、判断无向图是否为二部图、欧拉图、哈密顿图第7章树及其应用7.1 无向树1.判断一个无向图是否为树2.计算无向树的树叶、树枝、顶点数、顶点度数之间的关系3.给定无向树的度数列，画出非同构的无向树4.求生成树对应的基本回路系统和基本割集系统5.求最小生成树7.2 根树及其应用1.判断一个有向图是否为根树2.求根树的树根、树叶、内点、树高3.求最优树4.判断一个符号串集合是否为前缀码5.求最佳前缀码6.用三种方法遍历根树。
《离散数学》方世昌的期末复习知识点总结
《离散数学》方世昌的期末复习知识点总结1.集合论-集合的定义和运算：交、并、差、补、反转。
子集与真子集的概念。
-集合的基数：有限集、无限集、可数集、不可数集的定义与特性。
-集合的运算律：交换律、结合律、分配律、幂等律、吸收律。
-集合的等价关系：等价关系的定义和性质，等价关系的划分和等价类。
2.逻辑与命题关系-命题与命题符号：命题的定义、真值表和含有逻辑连接词的复合命题。
-命题逻辑：命题的蕴涵、等价、否定、充分条件和必要条件。
-谓词逻辑：命题的全称量词、存在量词及其关系。
-命题逻辑推理：假言推理、析取推理、拒取推理、类比推理等。
3.图论-图的基本概念与术语：顶点、边、邻接、路径、回路、连通、子图、生成树等。
-图的分类：无向图、有向图、简单图、多重图、完全图。
-图的矩阵表示：邻接矩阵、关联矩阵、度矩阵等。
-图的遍历算法：深度优先、广度优先。
-图的最短路径算法：迪杰斯特拉算法、弗洛伊德算法。
4.代数系统与半群-代数结构：代数系统的定义、代数公理、代数性质。
-半群：半群的定义与性质，封闭性、结合律和单位元。
-半群的子半群与同态：子半群的概念，同态映射的定义与性质。
-有限半群与无限半群：有限半群的定义和性质，无限半群的特点与例子。
5.数论与代数-整数与整数集合的性质：整数的除法原理、整除、公约数、最大公约数和最小公倍数。
-同余关系与同余类：同余关系的定义、同余类的性质、同余关系的基本定理。
-质数与素数：质数的定义、素数的性质、素数的判定方法。
-线性同余方程：线性同余方程的解法、同余方程的应用。
以上仅是《离散数学》中的部分重要知识点总结，该教材还包括很多其他内容，如排列组合、概率论、布尔代数等等。
期末复习时，建议从教材中选取一些重点章节进行深入学习和复习，同时要进行大量的习题训练，加深对知识点的理解和掌握。
祝你在期末考试中取得好成绩！。
离散数学知识点总结
离散数学知识点总结离散数学是数学的一个分支，主要研究离散的数学结构和离散的数学对象。
它包括了许多重要的概念和技术，是计算机科学、通信工程、数学和逻辑学等领域的基础。
本文将对离散数学的一些核心知识点进行总结，包括命题逻辑、一阶逻辑、图论、集合论和组合数学等内容。
1. 命题逻辑命题逻辑是离散数学的一个重要分支，研究命题之间的逻辑关系。
命题是一个陈述语句，要么为真，要么为假，而且不能同时为真和为假。
命题逻辑包括逻辑运算和逻辑推理等内容，是离散数学的基础之一。
1.1 逻辑运算逻辑运算包括与（∧）、或（∨）、非（¬）、蕴含（→）和双条件（↔）等运算。
与、或和非是三种基本的逻辑运算，蕴含和双条件则是基于这三种基本运算得到的复合运算。
1.2 逻辑等值式逻辑等值式是指在命题逻辑中具有相同真值的两个复合命题。
常见的逻辑等值式包括德摩根定律、双重否定定律、分配率等。
1.3 形式化证明形式化证明是命题逻辑的一个重要内容，研究如何利用逻辑规则和等值式来推导出给定命题的真值。
形式化证明包括直接证明、间接证明和反证法等方法，是离散数学中的常见技巧。
2. 一阶逻辑一阶逻辑是命题逻辑的延伸，研究命题中的量词和谓词等概念。
一阶逻辑包括量词、谓词逻辑和形式化证明等内容，是离散数学中的重要部分。
2.1 量词量词包括全称量词（∀）和存在量词（∃），用来对命题中的变量进行量化。
全称量词表示对所有元素都成立的命题，而存在量词表示至少存在一个元素使命题成立。
2.2 谓词逻辑谓词逻辑是一阶逻辑的核心内容，研究带有量词的语句和谓词的逻辑关系。
谓词是含有变量的函数，它可以表示一类对象的性质或关系。
2.3 形式化证明形式化证明在一阶逻辑中同样起着重要作用，通过逻辑规则和等值式来推导出给定命题的真值。
一阶逻辑的形式化证明和命题逻辑类似，但更复杂和抽象。
3. 图论图论是离散数学中的一个重要分支，研究图和图的性质。
图是由节点和边组成的数学对象，图论包括图的表示、图的遍历、最短路径、最小生成树等内容，是离散数学中的一大亮点。
离散数学复习知识点定稿版
因此， 是个阿贝尔群.
有理数集 中的 定义如下：
（1） 是半群吗是可交换的吗
（2）求单位元.
（3） 中是否有可逆元若有，指出哪些是可逆元，并指出其逆元是什么
解:（1） ，
因
， 是半群.因 ，故*是可交换的.
(2)设 为其单位元，则应有: ，即 ，由 的任意性，有 .所以单位元为0.
（3）设 是可逆的，其逆元为 ，则应有： ，所以当 时，有逆元，其逆元为： ，当 时，没有逆元.
A.PQB.PQ
C.QPD.Q=P
设A={a,{a}}，下列命题错误的是（ B ）
A．{a}(A)B．{a}(A)C．{{a}}(A)D．{{a}}(A)
在0（ D ）之间写上正确的符号。
A．=B．C．D．
判断下列命题哪个为真（C）
A．空集只是非空集合的子集B．空集是任何集合的真子集
C．A-B=B-AA=BD．若A的一个元素属于B，则A=B
离散数学复习知识点精编WORD版
复习知识点：
第1章
1．命题、真命题、假命题
2．命题符号化（连接词）
设P：天下大雨，Q：他在室内运动，命题“除非天下大雨，否则他不在室内运动”可符合化为（ D ）
A． B． C． D．
设P：只有你通过了大学英语六级考试，Q：你是英语专业的学生，R：你可以选修这门课程。命题“只有你通过了大学英语六级考试而且不是英语专业的学生，才可以选修这门课程”( B )
A． B．
C． D．
3．什么是命题公式
4．命题公式的等价式
5．利用逻辑等价关系证明下面的等价关系
证明：
6．用真值表法求命题公式的主析取范式和主合取范式
7．符号化以下语句，并推证结论的有效性。
【离散数学】知识点及典型例题整理
【半群】G非空，·为G上的二元代数运算，满足结合律。
【群】（非空，封闭，结合律，单位元，逆元）恰有一个元素1适合1·a=a·1=a,恰有一个元素a-1适合a·a-1=a-1·a=1。
【Abel群/交换群】·适合交换律。
可能不只有两个元素适合x2=1【置换】n元置换的全体作成的集合Sn对置换的乘法作成n 次对称群。
【子群】按照G中的乘法运算·,子集H仍是一个群。
单位子群{1}和G称为平凡子群。
【循环群】G可以由它的某元素a生成,即G=（a）。
a所有幂的集合an，n=0，±1，±2，…做成G的一个子群，由a生成的子群。
若G的元数是一个质数，则G必是循环群。
n元循环群（a）中,元素ak是（a）的生成元的充要条件是（n，k）=1。
共有ϕ（n）个。
【三次对称群】{I（12）（13）（23）（123）（132）}【陪集】a，b∈G，若有h∈H，使得a =bh，则称a合同于b（右模H），a≡b（右mod H）。
H有限，则H的任意右陪集aH的元数皆等于H的元数。
任意两个右陪集aH和bH或者相等或者不相交。
求右陪集：H本身是一个；任取a∉H而求aH又得到一个；任取b∉H∪aH而求bH又一个。
G=H∪aH∪bH∪…【正规子群】G中任意g，gH=Hg。
（H=gHg-1对任意g∈G都成立）Lagrange定理G为有限群，则任意子群H的元数整除群G的元数。
1有限群G的元数除以H的元数所得的商，记为（G：H），叫做H在G中的指数，H的指数也就是H的右（左）陪集的个数。
2设G为有限群,元数为n,对任意a∈G，有an=1。
3若H在G中的指数是2，则H必然是G的正规子群。
证明：此时对H的左陪集aH，右陪集Ha，都是G中元去掉H的所余部分。
故Ha=aH。
4G的任意多个子群的交集是G的子群。
并且，G的任意多个正规子群的交集仍是G的正规子群。
5 H是G的子群。
离散数学期末复习要点与重点
离散数学期末复习要点与重点离散数学是计算机科学及其他相关学科中的一门重要的基础课程。
它主要研究离散的结构和对象，以及它们之间的关系和性质。
离散数学的核心内容包括集合论、关系、图论、布尔代数和逻辑等。
下面是离散数学期末复习的要点与重点。
一、集合论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.谓词逻辑的语义，包括赋值、满足关系等。
word版,《离散数学(第三版)》方世昌期末复习知识点总结,文档
《失散数学》期末复习概要《失散数学》是中央电大“数学与数学应用专业”（本科）的一门选修课。
该课程使用新的教课纲领，在原有失散数学课程的基础上减少了教课内容（主假如群与环、格与布尔代数这两章及图论的后三节内容），使用的教材为中央电大第一版的《失散数学》（刘叙华等编）和《失散数学学习指导书》（虞恩蔚等编）。
失散数学主要研究失散量构造及互相关系，使学生获得优秀的数学训练，提升学生抽象思想和逻辑推理能力，为从事计算机的应用供给必需的描绘工具和理论基础。
其先修课程为：高等数学、线性代数；后续课程为：数据构造、数据库、操作系统、计算机网络等。
课程的主要内容1、会合论部分（会合的基本观点和运算、关系及其性质）；2、数理逻辑部分（命题逻辑、谓词逻辑）；3、图论部分（图的基本观点、树及其性质）。
学习建议失散数学是理论性较强的学科，学习失散数学的要点是对失散数学（会合论、数理逻辑和图论）相关基本观点的正确掌握，对基来源理及基本运算的运用，并要多做练习。
教课要求的层次各章教课要求的层次为认识、理解和掌握。
认识即能正确鉴别相关观点和方法；理解是能正确表达相关观点和方法的含义；掌握是在理解的基础上加以灵巧应用。
一、各章复习要求与要点第一章集合[复习知识点]1、会合、元素、会合的表示方法、子集、空集、全集、会合的包含、相等、幂集2、会合的交、并、差、补等运算及其运算律（互换律、联合律、分派律、汲取律、DeMorgan律等），文氏（Venn）图3、序偶与迪卡尔积本章要点内容：会合的观点、会合的运算性质、会合恒等式的证明[复习要求]11、理解会合、元素、子集、空集、全集、会合的包含、相等、幂集等基本观点。
2、掌握会合的表示法和会合的交、并、差、补等基本运算。
3、掌握会合运算基本规律，证明会合等式的方法。
4、认识序偶与迪卡尔积的观点，掌握迪卡尔积的运算。
[本章要点习题]P5~6，4、6；P14~15，3、6、7；P20，5、7。
《离散数学(第三版)》的期末复习知识点总结
《离散数学（第三版）》的期末复习知识点总结一、各章复习要求与重点第一章集合[复习知识点]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、理解单射、满射、双射等概念，掌握其判别方法。
第三章命题逻辑[复习知识点]１、命题与联结词（否定、析取、合取、蕴涵、等价），复合命题２、命题公式与解释，真值表，公式分类（恒真、恒假、可满足），公式的等价３、析取范式、合取范式，极小（大）项，主析取范式、主合取范式４、公式类别的判别方法（真值表法、等值演算法、主析取/合取范式法）５、公式的蕴涵与逻辑结果６、形式演绎本章重点内容：命题与联结词、公式与解释、析取范式与合取范式、公式恒真性的判定、形式演绎[复习要求]１、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。
《离散数学(第三版)》期末复习知识点总结含例题(呕心沥血整理).doc
6、理解函数概念：函数、函 数相等、复介畅数和反畅数。
7、理解单射、满射、双射等 概念，学握其判别方法。 ［木章重点习题］
P25,1；P32〜33, 4, 8, 10；P43,2, 3, 5；
2、考核试卷题量分配
试卷题量在各部分的分 配是：集合论约i'40% ,数理 逻辑约占40%,
设R是篥合A上的二元 关系，如果关系R同时 具有性.对称性
和性，则称R是
等价关系。
命题公式G=（PaQ）->R,则G共冇个
不同的解释；把G在其 所有解释下所取真值列 成一个表，称为G的;解
释（「P, Q, ->R）或（0,
（al9a2）e R. \a2,a3）e R,,则（R。如若（a,b）w R,R ,
则有,且（b,b）w R。
R=心）血2）伽）‘（3,4），（4,4啊織劇命题与联
念的基础上，主要掌握闭包的 求法。关键是熟记三个定理的 结论：定理2 ,
=R5a；定理3,s（R）=R o R '；定理4,
n
推论/（/?） =Ijx。
1 , 0）使G的真值 为，
设G二（P, L）是图.如 果G是连通的，并 口,则G
是树。如果根树T的每 个点V最多有两棵子树, 则称T
为O
［单项选择题］（选择一个正确 答案的代号，填入括号中）
1.由集合运算定义，下列 各式正确的冇
()O
A.XcXuY
B.XoXuY
C.XcXnY
D.YcXnY
2.设Rp R?是集合A={a, b, c, d)±的两个关系，其中Ri={ (a. a) , (b, b) , (b, c) , (d, d)), R2={ (a, a) , (b, b),
(完整word版)离散数学知识汇总
离散数学笔记第一章命题逻辑合取析取定义 1. 1.3否定：当某个命题为真时，其否定为假，当某个命题为假时，其否定为真定义 1. 1.4条件联结词，表示“如果……那么……”形式的语句定义 1. 1.5双条件联结词，表示“当且仅当”形式的语句定义 1.2.1合式公式(1)单个命题变元、命题常元为合式公式，称为原子公式。
(2)若某个字符串A 是合式公式，则⌝A、(A)也是合式公式。
(3)若A、B 是合式公式，则A ∧B、A∨B、A→B、A↔B 是合式公式。
(4)有限次使用(2)~(3)形成的字符串均为合式公式。
1.3等值式1.4析取范式与合取范式将一个普通公式转换为范式的基本步骤1.6推理定义 1.6.1 设 A 与 C 是两个命题公式， 若 A → C 为永真式、 重言式，则称 C 是 A 的有 效结论，或称 A 可以逻辑推出 C ，记为 A => C 。
（用等值演算或真值表）第二章 谓词逻辑2.1、基本概念∀：全称量词 ∃：存在量词一般情况下， 如果个体变元的取值范围不做任何限制即为全总个体域时， 带 “全称量词”的谓词公式形如"∀x(H(x)→B(x))，即量词的后面为条件式，带“存在量词”的谓词公式形如∃x(H(x)∨WL(x))，即量词的后面为合取式 例题R(x)表示对象 x 是兔子，T(x)表示对象 x 是乌龟， H(x,y)表示 x 比 y 跑得快，L(x,y)表示x 与 y 一样快，则兔子比乌龟跑得快表示为： ∀x ∀y(R(x)∧T(y)→H(x,y))有的兔子比所有的乌龟跑得快表示为：∃x ∀y(R(x)∧T(y)→H(x,y))2.2、谓词公式及其解释定义 2.2.1、 非逻辑符号： 个体常元(如 a,b,c)、 函数常元(如表示22y x 的 f(x,y))、 谓词常元(如表示人类的 H(x))。
定义 2.2.2、逻辑符号：个体变元、量词(∀∃)、联结词(﹁∨∧→↔)、逗号、括号。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
判定公式的恒真性，包括判定公式是恒真的或是恒假的。具体方法有两种，一•是 真值表法，对于任给一个公 式,主要列出该公式的真值 表，观察真值表的最后一列是 否全为1（或全为0）,就可 以判定该公式是否恒真（或恒 假），若不全为0,则为可满 足的。二是推导法，即利用基 木等价式推导出结果为1，或 者利用恒真（恒假）判定定理: 公式G是恒真的（恒假的）当 且仅当等价于它的介取范式
(真值表法)
证法二:
仲僉R^-lQ )v(琲-iR)v-iP'((PvQ)f\(P—R)rQ)a(—iQ(y-R))v—i
1
>vQv-,P)XXPv^Rv-1gR—Pl ) vR人(-iQ\z-ik\z-iP )) J
)G法。
PAQG*V-G-rP
=(P
章重点习题］
P120,1, 2：P125〜126,
另外，由已经得到的主 析取(合取)范式，根据G v= 1,「(「G)= G原理，参阅《离散数学学习指 导书》P71例15,可以求得主 合取(析取)范式。
3.形式演绎法
学握形式演绎进行逻辑 推理时，一是要理解并掌握14个基本蕴涵式，二是会使用三 个规则:规则P、规则Q和规 则D,需要进行一定的练习。 ［例题分析］ 例1求
（Au~ B）c（~注J8）P59,1,
2；P64,3；P74〜75,
2,4, 6, 7；P81,5,
7：
=（（An〜A曲鑑咖血c肛（~ 3c B）） =（①遊:縱璇憾"）=（An圧皿細扇渤洋輕）：元关系 世概念及关系矩阵、关系图表 示。
2、关系的性质及其判定 关系的性质既是对关系 概念的加深理解与学握，乂是 关系的闭包、等价关系、半序 关系的基础。对丁•四种性质的 判定，可以依据教材中P49上 总结的规律。这其中对传递性 的判定，难度稍大一点，这里 要提及两点：一是不破坏传递 性定义，可认为具有传递性。 如空关系具冇传递性，同时空 关系具有对称性与反对称性， 但是不具有自反性。另一点是 介绍-•种判定传递性的“跟踪 法”， 即 若
1、试题类型
试题类型冇填空题（分 数约占20%）.单项选择题（分 数约占14%）、计算题（分数 约占50%）和证明题（分数约 占16%）O
填空题和单项选择题主 耍涉及基本概念、基本理论， 重要性质和结论.公式及其简 单计算。计算题主要考核学生 的基本运算技能，耍求书写计 算、推论过程或理由。证明题 主要考查应用概念、性质、定 理及主要结论进行逻辑推理 的能力，要求写出推理过程。
3201
110 1求3xVy(P(x)A Q(F(x), y))的真值。
解
第四章谓词逻辑
［复习知识点］
例2试将一阶逻辑公式化成 前束范式。
解
第五章图论
［复习知识点］
1、图.完全图.子图、母图、 支撑子图、图的同构
2、关联矩阵、相邻矩阵
3、权图、路、最短路径，迪 克斯特拉算法（Dijkstra）
4>树.支撑树.二叉树
（al9a2）e R. \a2,a3）e R,,则（R。如若（a,b）w R,R ,
则有,且（b,b）w R。
R=心）血2）伽）‘（3,4），（4,4啊織劇命题与联
念的基础上，主要掌握闭包的 求法。关键是熟记三个定理的 结论：定理2 ,
=R5a；定理3,s（R）=R o R '；定理4,
n
推论/（/?）Байду номын сангаас=Ijx。
5、映射的概念与映射种 类的判定
映射的种类主耍指单 射、满射、双射与非单非满射。 判定的方法除定义外，对借助 于关系图.而实数集的子集上 的映射也可以利用直角坐标 系农示进行，尤其是对各种初 等函数。
［例题分析］
例1设 集 合A={a,b,c,d},判定下列 关系，哪些是自反的，对称的， 反对称的和传递的：
& ={（d,Q）,（b,d）}R2=R,=仏c）,（b,d）}解:均不是自反的;&是对称 的；R15R2,R3,R4，R5是反对称 的；R| ,R2,Rs,R4R5是传递 的。
例2设 集 合A={1,2,3,4,5},A上的二元关系R为
（1）写出R的关系矩阵,画 出R的关系图;
（2）证明R是A上的半序 关系，画出其哈斯图;
4、理解树、二叉树与支掠树 的冇关概念；掌握二叉树的三 种遍历方法，用Kruskal算法 求权图屮般小树的方法。
5、理解有向图与有向树的概 念。
［本章重点习题I
P221,2；P225,1；P231,
2, 3；P239,5；P242, L 2o
［疑难解析］
1•本章的概念较多，学习 时需要认真比较各概念的含 义，如：图.子图.有向图. 权图；树、支撑树、二叉树、 有向树；路、简单路、回路等,
这里要求的析取范式中 所含有的每个短语不是极小 项，一定耍与求主析取范式和 区别，对于合取范式也同样。
2、范式
求范式，包括求析取范 式、合収范式、主析取范式和 主合取范式。关键有两点：一 是准确理解学握定义；另-•是
巧妙使用基本等价式中的分 配律、同一律和互补律,结果 的前-•步适当使用等邪律，使 相同的短语(或子句)只保留 一个。
/=1
4、半序关系及半序集中 特殊元素的确定
理解与掌握半序关系与 半序集概念的关键是哈斯图。 哈斯图画法掌握了，对于确定 任一子集的最大（小）元，极 人（小）元也就容易了。这里
要注意,最大（小）元与极大
（小）元只能在子集内确定， 而上界与下界町在子集z外 的全集中确定，最小上界为所 有上界中最小者,最小上界再 小也不小于子集小的任一元 素，可以与某一元素相等，最 大下界也同样。
T是 系、空关系、全关系、恒等关
P（A）-p （B）={{3},{1,3}, {2,券,;{陶鮮餐的集合衣示、关 系矩阵和矣系图、关系的运 算。
2、学握求复合关系与逆关系 的方法。
3.理解关系的性质（自反性. 对称性、反对称性、传递性）•掌握其判别方法（定义、矩阵、 图）。
4、掌握求关系的闭包（自反 闭包、对称闭包、传递闭包） 的方法。
方法2：推导法
(2)求主合取范式方法1:利用上面的真值表((PaQ)v―R)—>P为0的有两行，它们对应的极大项分别为
PvQvR, P\z「Qv R
(「Q\ vR
=((: A(Y
P)
0
1
0
1
1
1
1
1
P137,1。
SvP, Q)
VP
(4)
能将一阶逻辑公式表达 式屮的量词消除，写成与Z等 价的公式，然后将解释I中的 数值代入公式,求出真值。
1、理解命题的概念；了解命 题联结词的概念；理解用联结 词产生复合命题的方法。
2、理解公式与解释的概念； 掌握求给定公式真值表的方 法，用基本等价式化简H他公 式，公式在解释下的真值。
3、了解析取（合取）范式的 概念；理解极大（小）项的概 念和主析取（合取）范式的概 念；掌握用基本等价式或真值 表将公式化为主析取（合取） 范式的方法。
3.谓词公式的等价和蕴涵
4.前束范式
本章重点内容：谓词与量
词、公式与解释、前束范式 ［复习要求］
(「P如镂解関和)屋词、个体词、 -个岳爲送处的瞬；理解也 冰丿M侏強險鈿词就;
G = (-PA-QA-R)7 \
G =-1(-iG)= -1((-iPa—\Q /\'H
=(P V 2 V /?) A(P V<7^单命题；了解命题符号
1 , 0）使G的真值 为，
设G二（P, L）是图.如 果G是连通的，并 口,则G
是树。如果根树T的每 个点V最多有两棵子树, 则称T
为O
［单项选择题］（选择一个正确 答案的代号，填入括号中）
1.由集合运算定义，下列 各式正确的冇
()O
A.XcXuY
B.XoXuY
C.XcXnY
D.YcXnY
2.设Rp R?是集合A={a, b, c, d)±的两个关系，其中Ri={ (a. a) , (b, b) , (b, c) , (d, d)), R2={ (a, a) , (b, b),
4、掌握利用真值表、等值演 算法和主析取/合取范式的唯 一性判別公式类型和公式等 价的方法。
5、理解公式蕴涵与逻辑结果 的概念，学握基木蕴涵式。
6、学握形式演绎的证明方法。 ［本章重点习题］
P93,1；P98,2, 3；
P104,2, 3：P107,1,
3；P112,5；P115,1, 2, 3。
［疑难解析］
3、前束范式
在充分理解拿握前束范 式概念的基础上，利用改名规 则.基本等价式与蕴涵式(一 阶逻辑中)，将给肚公式中量 词提到默Z前称为首标。
规则P
(7)
规则Q,根据(5),
( 8 )
规则D,根据(2),
(6)
S->R
(7)
I j F(3)P(2)P(3)
Q(2,2)Q(2,3)Q(3,2)
Q(33)
G =《P八Q卜的主析取范式与主合取范式。 解(1)求主析取范式， 方法1:利用冀值表求解
因此，
((PAg)v-
方法厶利用已求出的主析取 范式求主合収范式
己用去6个极小项，尚有2个极小项，即
-iP A—\QA -J?
-nF A 2 A i/?于是
1、谓词、量词、个体词、个
自由
2.谓词公式与解释，谓词公 式的类型(恒真、恒假、可满 足)
5、权图屮的最小树，克鲁斯 卡尔算法（Kruskal）
6、有向图.有向树
木章重点内容：权图的最 短路、二义树的遍历、权图中 的最优支撑树
［复习耍求］
1、理解图的冇关概念：图、 完全图.子图.母图.支撑子 图、图的同构。
2、掌握图的矩阵表示（关联 矩阵、相邻矩阵）。