离散数学3、4章
离散数学(刘任任版)第3章答案

6.
设A={1,2},B={x,y,z},C={u,v}
令 (1) x, (2) y, ( x) u, ( y) ( z) v,
则有 是满射和单射 , 但不是满射, 而不是单射 .
4.
(1)设和是满射, 则对任意的z C, 有y B, 使得 ( y) z. 又有x A, 使得 ( x) y 于是, ( x) ( ( x)) ( y) z 故 是满射.
(2)设和是单射, 则对任意的 x1, x2 A, x1 x2, 有 ( x1) ( x2). 设 ( x1) y1 B. ( x2) y 2 B.于是y1 y 2 从而 ( y1) ( y 2).设 ( y1) z1 C, ( y 2) z 2 C, 于是 ( x1) ( ( x1)) ( y1) z1 ( x 2) ( ( x2)) ( y 2) z 2 因此 ( x1) ( ( x2)).故 是单射
(a) b1 , (a) b2 , 从而b1 b2.矛盾.
故A1 A2 ,即是单射.
若是单射, 则不一定是满射 .例如, 令 A {1,2}, B {x, y}, (1) (2) x,
( x) {1,2}, ( y)
于是,是单射, 但不是满射 .
(3)设和是双射, 则由(1)和(2)知, 是双射.
5.
(1)设 是满射.任取z C, 则存在x A 使得z ( x) ( ( x)) ( y) 即存在y B.使得 ( y) z.故是满射
离散数学复习要点

离散数学复习要点第一章命题逻辑一、典型考查点1、命题的判断方法:陈述句真值唯一,特殊:反问句也是命题。
其它疑问句、祈使句、感叹句、悖论等皆不是。
详见教材P12、联结词运算定律┐∧∨→记住特殊的:1∧1⇔1,0∨0⇔0,1→0⇔0,11⇔1,00⇔1详见P53、命题符号化步骤:A划分原子命题,找准联结词。
特殊自然语言:不但而且,虽然但是用∧,只有P才Q,应为Q →P;除非P否则Q,应为┐P→Q。
B设出原子命题写出符号化公式。
详见P54、公式的分类判定(重言式、矛盾式、可满足式)方法:其一根据所有真值赋值情况,其二根据等价演算来判断。
详见P95、真值表的构造步骤:①命题变元按字典序排列,共有2n个真值赋值。
②对每个指派,以二进制数从小到大或从大到小顺序列出。
③若公式较复杂,可先列出各子公式的真值(若有括号,则应从里层向外层展开),最后列出所求公式的真值。
详见P8。
6、基本概念:置换规则,P规则,T规则,详见P24;合取范式,析取范式,详见P15;小项详见P16;大项详见P18,最小联结词组详见P15,7、等价式详见P22表1.6.2 证明方法:①真值表完全相同②用等价演算③利用A B的充要条件是A B且B A。
主要等价式:(1)双否定:A A。
(2)交换律:A∧B B∧A,A∨B B∨A,A B B A。
3)结合律:(A∧B)∧C A ∧(B∧C),(A∨B)∨C A∨(B∨C),(A B)C A(B C)。
(4) 分配律:A∧(B∨C)(A∧B)∨(A∧C),A∨(B∧C)(A∨B)∧(A∨C)。
(5) 德·摩根律:(A∧B)A∨B,(A∨B)A∧B。
(6) 等幂律:A∧A A,A∨A A。
(7) 同一律:A∧T A,A∨F A。
(8) 零律:A∧F F,A∨T T。
(9) 吸收律:A∧(A∨B)A,A∨(A∧B)A。
(10) 互补律:A ∧A F,(矛盾律),A∨A T。
(排中律)(11) 条件式转化律:A→B A∨B,A→B B→A。
离散数学知识点总结

总结离散数学知识点第二章命题逻辑1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假;2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积;3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反;4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假;5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写;6.真值表中值为1的项为极小项,值为0的项为极大项;7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取;8.永真式没有主合取范式,永假式没有主析取范式;9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假)10.命题逻辑的推理演算方法:P规则,T规则①真值表法;②直接证法;③归谬法;④附加前提法;第三章谓词逻辑1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质;多元谓词:谓词有n个个体,多元谓词描述个体之间的关系;2.全称量词用蕴含→,存在量词用合取^;3.既有存在又有全称量词时,先消存在量词,再消全称量词;第四章集合1.N,表示自然数集,1,2,3……,不包括0;2.基:集合A中不同元素的个数,|A|;3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A);4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2;5.集合的分划:(等价关系)①每一个分划都是由集合A的几个子集构成的集合;②这几个子集相交为空,相并为全(A);6.集合的分划与覆盖的比较:分划:每个元素均应出现且仅出现一次在子集中;覆盖:只要求每个元素都出现,没有要求只出现一次;第五章关系1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基数为2种不同的关系;mn,A到B上可以定义mn2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系;3.全关系的性质:自反性,对称性,传递性;空关系的性质:反自反性,反对称性,传递性;全封闭环的性质:自反性,对称性,反对称性,传递性;4.前域(domR):所有元素x组成的集合;后域(ranR):所有元素y组成的集合;5.自反闭包:r(R)=RUI;x对称闭包:s(R)=RU1-R;传递闭包:t(R)=RU2R U3R 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的下界(若存在,可能不唯一);上确界:最小的上界(若存在就一定唯一);下确界:最大的下界(若存在就一定唯一);第六章函数2种不同的关系,有m n种不同的函1.若|X|=m,|Y|=n,则从X到Y有mn数;2.在一个有n个元素的集合上,可以有22n种不同的关系,有n n种不同的函数,有n!种不同的双射;3.若|X|=m,|Y|=n,且m<=n,则从X到Y有A m n种不同的单射;4.单射:f:X-Y,对任意x,2x属于X,且1x≠2x,若f(1x)≠f(2x);1满射:f:X-Y,对值域中任意一个元素y在前域中都有一个或多个元素对应;双射:f:X-Y,若f既是单射又是满射,则f是双射;5.复合函数:fºg=g(f(x));6.设函数f:A-B,g:B-C,那么①如果f,g都是单射,则fºg也是单射;②如果f,g都是满射,则fºg也是满射;③如果f,g都是双射,则fºg也是双射;④如果fºg是双射,则f是单射,g是满射;第七章代数系统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是双射,则称为同构;第八章群1.广群的性质:封闭性;半群的性质:封闭性,结合律;含幺半群(独异点):封闭性,结合律,有幺元;群的性质:封闭性,结合律,有幺元,有逆元;2.群没有零元;3.阿贝尔群(交换群):封闭性,结合律,有幺元,有逆元,交换律;4.循环群中幺元不能是生成元;5.任何一个循环群必定是阿贝尔群;第十章格与布尔代数1.格:偏序集合A中任意两个元素都有上、下确界;2.格的基本性质:1) 自反性a≤a 对偶: a≥a2) 反对称性a≤b ^ b≥a => a=b对偶:a≥b ^ b≤a => a=b3) 传递性a≤b ^ b≤c => a≤c对偶:a≥b ^ b≥c => a≥c4) 最大下界描述之一a^b≤a 对偶 avb≥aA^b≤b 对偶 avb≥b5)最大下界描述之二c≤a,c≤b => c≤a^b对偶c≥a,c≥b =>c≥avb6) 结合律a^(b^c)=(a^b)^c对偶 av(bvc)=(avb)vc7)等幂律a^a=a 对偶 ava=a8) 吸收律a^(avb)=a 对偶 av(a^b)=a9) a≤b <=> a^b=a avb=b10) a≤c,b≤d => a^b≤c^d avb≤cvd11) 保序性b≤c => a^b≤a^c avb≤avc12)分配不等式av(b^c)≤(avb)^(avc)对偶 a^(bvc)≥(a^b)v(a^c)13)模不等式a≤c <=> av(b^c)≤(avb)^c3.分配格:满足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.可达:对于图中的两个节点v,j v,若存在连接i v到j v的路,则称i vi与v相互可达,也称i v与j v是连通的;在有向图中,若存在i v到j v的j路,则称v到j v可达;i13.强连通:有向图章任意两节点相互可达;单向连通:图中两节点至少有一个方向可达;弱连通:无向图的连通;(弱连通必定是单向连通)14.点割集:删去图中的某些点后所得的子图不连通了,如果删去其他几个点后子图之间仍是连通的,则这些点组成的集合称为点割集;割点:如果一个点构成点割集,即删去图中的一个点后所得子图是不连通的,则该点称为割点;15.关联矩阵:M(G),m是i v与j e关联的次数,节点为行,边为列;ij无向图:点与边无关系关联数为0,有关系为1,有环为2;有向图:点与边无关系关联数为0,有关系起点为1终点为-1,关联矩阵的特点:无向图:①行:每个节点关联的边,即节点的度;②列:每条边关联的节点;有向图:③所有的入度(1)=所有的出度(0);16.邻接矩阵:A(G),a是i v邻接到j v的边的数目,点为行,点为列;ij17.可达矩阵: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),v到j v有路为1,无路则为0,点为行,点为列;i19.代价矩阵:邻接矩阵元素为1的用权值表示,为0的用无穷大表示,节点自身到自身的权值为0;20.生成树:只访问每个节点一次,经过的节点和边构成的子图;21.构造生成树的两种方法:深度优先;广度优先;深度优先:①选定起始点v;②选择一个与v邻接且未被访问过的节点1v;③从v出发按邻接方向继续访问,当遇到一个节点所1有邻接点均已被访问时,回到该节点的前一个点,再寻求未被访问过的邻接点,直到所有节点都被访问过一次;广度优先:①选定起始点v;②访问与v邻接的所有节点1v,2v,……,k v,这些作为第一层节点;③在第一层节点中选定一个节点v为起点;1④重复②③,直到所有节点都被访问过一次;22.最小生成树:具有最小权值(T)的生成树;23.构造最小生成树的三种方法:克鲁斯卡尔方法;管梅谷算法;普利姆算法;(1)克鲁斯卡尔方法①将所有权值按从小到大排列;②先画权值最小的边,然后去掉其边值;重新按小到大排序;③再画权值最小的边,若最小的边有几条相同的,选择时要满足不能出现回路,然后去掉其边值;重新按小到大排序;④重复③,直到所有节点都被访问过一次;(2)管梅谷算法(破圈法)①在图中取一回路,去掉回路中最大权值的边得一子图;②在子图中再取一回路,去掉回路中最大权值的边再得一子图;③重复②,直到所有节点都被访问过一次;(3)普利姆算法①在图中任取一点为起点v,连接边值最小的邻接点2v;1②以邻接点v为起点,找到2v邻接的最小边值,如果最小边值2比v邻接的所有边值都小(除已连接的边值),直接连接,否则退回1v,1连接v现在的最小边值(除已连接的边值);1③重复操作,直到所有节点都被访问过一次;24.关键路径例2 求PERT图中各顶点的最早完成时间, 最晚完成时间, 缓冲时间及关键路径.解:最早完成时间TE(v1)=0TE(v2)=max{0+1}=1TE(v3)=max{0+2,1+0}=2TE(v4)=max{0+3,2+2}=4TE(v5)=max{1+3,4+4}=8TE(v6)=max{2+4,8+1}=9TE(v7)=max{1+4,2+4}=6TE(v8)=max{9+1,6+6}=12 最晚完成时间TL(v8)=12TL(v7)=min{12-6}=6TL(v6)=min{12-1}=11TL(v5)=min{11-1}=10TL(v4)=min{10-4}=6TL(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=0TS(v2)=2-1=1TS(v3)=2-2=0TS(v4)=6-4=2TS(v5=10-8=2TS(v6)=11-9=2TS(v7)=6-6=0TS(v8)=12-12=0关键路径: v1-v3-v7-v825.欧拉路:经过图中每条边一次且仅一次的通路;欧拉回路:经过图中每条边一次且仅一次的回路;欧拉图:具有欧拉回路的图;单向欧拉路:经过有向图中每条边一次且仅一次的单向路;欧拉单向回路:经过有向图中每条边一次且仅一次的单向回路;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的二叉树的节点总数最多为k2-1个,最少k个(k>=1);⑧如果有n个叶子,2n个2度节点,则0n=2n+1;42.二叉树的节点遍历方法:先根顺序(DLR);中根顺序(LDR);后根顺序(LRD);43.哈夫曼树:用哈夫曼算法构造的最优二叉树;44.最优二叉树的构造方法:①将给定的权值按从小到大排序;②取两个最小值分支点的左右子树(左小右大),去掉已选的这两个权值,并将这两个最小值加起来作为下一轮排序的权值;③重复②,直达所有权值构造完毕;45.哈夫曼编码:在最优二叉树上,按照左0右1的规则,用0和1代替所有边的权值;每个节点的编码:从根到该节点经过的0和1组成的一排编码;欢迎您的下载,资料仅供参考!致力为企业和个人提供合同协议,策划案计划书,学习课件等等打造全网一站式需求。
离散数学(微课版) 第4章

离散数学(微课版)第4章1. 引言在离散数学的第4章中,我们将讨论图论的基本概念和应用。
图论是研究图及其在现实生活中的应用的数学分支,它在计算机科学、网络设计、运筹学等领域中具有重要的应用价值。
本章将介绍图的定义、图的表示方法、图的遍历算法等内容。
2. 图的定义图由一组节点和一组节点之间的边构成。
节点通常表示现实世界中的对象,而边则表示对象之间的关系。
图可以用于描述各种问题,如社交网络中的用户关系、城市之间的交通网络等。
2.1 有向图和无向图图可以分为有向图和无向图两种类型。
在有向图中,边具有方向,表示节点之间的单向关系。
而在无向图中,边没有方向,表示节点之间的双向关系。
2.2 顶点和边图由顶点和边组成。
顶点是图的节点,用来表示对象。
边连接两个顶点,表示两个对象之间的关系。
2.3 路径和环路径是指在图中从一个顶点到另一个顶点的连接序列。
环是一条路径,其起点和终点相同。
3. 图的表示方法在计算机中,图可以用不同的数据结构来表示。
常见的表示方法包括:3.1 邻接矩阵邻接矩阵是用二维数组表示图的连接关系。
对于无向图,邻接矩阵是对称的,而对于有向图,则不对称。
A B CA010B101C010上述邻接矩阵表示了一个无向图,其中顶点A与顶点B相连,顶点B与顶点C相连。
3.2 邻接表邻接表是用链表表示图的连接关系。
对于每个顶点,邻接表保存了与其相连的其他顶点的信息。
A ->B -> NULLB -> A ->C -> NULLC -> B -> NULL上述邻接表表示了一个无向图,顶点A与顶点B相连,顶点B与顶点A、C相连,顶点C与顶点B相连。
4. 图的遍历算法图的遍历算法是指按照一定的方式访问图中的所有节点。
常见的图的遍历算法有深度优先搜索和广度优先搜索。
4.1 深度优先搜索深度优先搜索从起点开始,尽可能深地访问尚未访问的节点,直到无法继续深入为止,然后回溯到上一个节点,继续深入其他未访问的节点。
离散数学第3章 集合

任取x, xX … xY (2) 证X=Y
方法一 分别证明 XY 和 YX 方法二 任取x,xX … xY
注意:在使用方法二的格式时,必须保证每步推理都是充分 必要的
27
第三章 集合
命题演算法
例3-3.2 证明A(AB) = A (吸收律)
元素a属于A,记作aA; 或者a不属于A,记作aA,也可以记作┓(aA)。
(4)任意性:集合的元素也可以是集合。 例:A={1,{2},2,{3,4},{6}} A=5,2A,{2}A,6A,{6}A
6
第三章 集合 例如:A={{a,b},d,{{b}}}。可以用一种树形图来表示这种
隶属关系,该图分层构成,每一层上的结点都表示一个集 合,它的儿子就是它的元素。 集合的树型层次结构
32
第三章 集合
§3-3-3 笛卡儿积
定义3-3.2 两个元素a,b组成二元组,若它们有次序 之别,称为二元有序组,或称为有序对或序偶,记为<a, b>,称a为第一分量,b为第二分量;若它们无次序区分, 称为二元无序组,或称为无序对,记为(a,b)。
有序对具有如下性质。 (1)有序性:当x≠y时<x,y>≠<y,x>。 (2)<x,y>与<u,v>相等的充分必要条件是
A
B
11
第三章 集合
§3-2 集合之间的关系
§3-2-1 集合之间的关系 (1)相等关系: • 两集合A和B相等,当且仅当它们有相同的元素。 • 若A与B相等,记为A=B;否则,记为A≠B。 • 可形式化为:A=B(x)(xAxB)。
12
第三章 集合
离散数学第四章(第1讲)

第四章 二元关系
§1 序偶与笛卡尔积 §2 关系及其表示 §3 关系的性质 §4 关系的运算 §5 等价关系与划分 §6 相容关系与覆盖 §7 偏序关系
§1 序偶与笛卡尔乘积
1 序偶 《定义》由二个具有给定次序的客体所组成的序列
称为序偶。记作〈x,y〉 例:X—Y二维平面上的一个点的坐标〈x,y〉就
是一个序偶。
说明: (1)在序偶中二个元素要有确定的排列次序。 若ab时,则〈a,b〉〈b,a〉 若〈x,y〉=〈a,b〉(x=a y=b) (2) 多重序元: 三元组:〈〈x,y〉,z〉 =〈x,y,z〉 n元组: 〈〈〈〈x1,x2〉,x3〉…〉,xn〉= 〈x1,…,xn〉
ran R={a,b,c,d}
FLD R={1,2,3,4,a,b,c,d}
4.关系和笛卡尔乘积 笛卡尔乘积的任何子集都可以定义一种二元关系。 例:X={1,2,3,4},Y={1,2}
X Y {1,1 ,1,2 , 2,1 , 2,2 , 3,1 , 3,2 , 4,1 , 4,2 }
S1={<x,y>|x X yYx ≤ y}={<1,1><1,2><2,2>}
2 笛卡尔乘积 《定义》设A,B为二个任意集合,若序偶的第 一个成员(左元素)是A的一个元素,序偶的 第二个成员(右元素)是B的一个元素,则所 有这样的序偶构成的集合称为A和B的笛卡尔乘 积。
记作:A B={〈x,y〉|(xA)(yB)}
离散数学 第三-四章

Ai
(f) A (A∪B ), B (A∪B )
集合与关系 >集合的运算
交与 并的关系 定理3-2.1 设A、B、C为三个集合,则下列分配律 成立。 a) A∩(B∪C)=(A∩B)∪(A∩C) b) A∪(B∩C)=(A∪B)∩(A∪C) 定理3-2.2 设A、B为任意两个集合,则下列吸收律 成立 a) A∪(A∩B)=A b) A∩(A∪B)=A 定理3-2.3 A B 当且仅当 A∪B=B 或 A∩B=A。
集合与关系 > 集合的运算
本节重点掌握的概念: 集合, 集合相等,集合包含, 幂集。
本节重点掌握的方法: 集合的表示, 求幂集.
作业
3-1 (1)(a),(c) ,(e)
(3) (4) (a),(c) ,(e) (5) (6) (a),(c) ,(e) (9)
集合与关系 >集合的概念和表示法
上节知识点: 1. 集合的概念 2. 集合的表示 3 集合之间的关系 4 空集和全集 5 幂集(power set)
A-B
E B
A
集合与关系 >集合的运算
• 绝对补 定义3-2.4 设E为全集,任一集合A关于E的补 E-A, 称为集合A的绝对补,记作~A。
即 ~ A={ x| xE ∧ xA}
集合与关系 >集合的运算
(3) 集合的补(complement) 定义3-2.3 设A、B为任意两个集合,所有属于A而 不属于B的一切元素组成的集合S称为B对于A的 补集,或相对补,记作A-B。 即 A-B={ x| xA ∧ xB} 或 xA-B xA但 xB
例如 A={2, 5, 6} B={1, 2, 4, 7, 9} A-B={5, 6} B-A={1,4,7,9} E - A?
《离散数学》教学大纲

《离散数学》教学大纲(Discrete Mathematics)适用专业:电子信息类课程类别:学科基础课课程学时:48课程学分:3.0先修课程:高等数学、线性代数等一、课程简介离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支,是计算机科学中基础理论的核心课程,是计算机科学与技术的支撑学科。
它在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能与机器人、数据库、网络、计算机图形学、算法设计与分析、理论计算机科学基础等必不可少的先行课程。
通过离散数学的学习,不但可以掌握离散结构的描述工具和处理方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
二、教学目的与任务离散数学是一门培养学生缜密思维、严格推理,具有综合归纳分析能力的课程。
通过本课程的学习,使学生有一定的严格逻辑推理与抽象思维能力,掌握离散量的处理及运算技能,能够将离散数学应用到解决计算机技术中的实际问题中。
不仅能为学生奠定计算机科学的专业基础,并且能为将后续课程的学习及将来开发软、硬件技术及研究、应用提供有力的工具。
三、课程内容第1章命题逻辑的基本概念1.1命题与联结词1.2命题公式及其赋值第2章命题逻辑等值演算2.1等值式2.2析取范式与合取范式* 2.3联结词的完备集* 2.4可满足性问题与消解法第3章命题逻辑的推理理论3.1推理的形式结构3.2自然推理系统P3.3消解证明法第4章一阶逻辑基本概念4.1一阶逻辑命题符号化4.2一阶逻辑公式及其解释第5章一阶逻辑等值演算与推理5.1一阶逻辑等值式与置换规则5.2一阶逻辑前束范式* 5.3一阶逻辑的推理理论第6章集合代数6.1集合的基本概念6.2集合的运算6.3有穷集的计数6.4集合恒等式第7章二元关系7.1有序对与笛卡儿积7.2二元关系7.3关系的运算7.4关系的性质7.5关系的闭包7.6等价关系与划分7.7偏序关系第8章函数8.1函数的定义与性质8.2函数的复合与反函数* 8.3双射函数与集合的基数* 8.4一个电话系统的描述实例第14章图的基本概念14.1图14.2通路与回路14.3图的连通性14.4图的矩阵表示* 14.5图的运算第15章欧拉图与哈密顿图15.1欧拉图15.2哈密顿图15.3最短路问题、中国邮递员问题与货郎担问题第16章树16.1无向树及其性质16.2生成树16.3根树及其应用三、课程学时分配、教学内容与教学基本要求四、教学方法与教学手段说明该课程教学方式主要有:课堂教学、交互学习、课后作业。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2014-3-31 离散数学 2
几个概念
• 映象:若<a,b>∈ ,则称b为a的映象。 (被射 中的人) • 象源:若<a,b>∈ ,则a为b的象源,记为 (a)=b。 (射箭的人) • 映象集: (A)={b∈B|存在a∈A,使 (a)=b} 称 为A的映象集。(全体被射中的人的集合。) 显 然, (A) B 。 • 变换:A到A的映射称为变换。(窝里斗)
2014-3-31 离散数学 5
满射、单射和双射的例子
• 设:N N,N 是自然数集,(n)= 2n, n∈N。则是 单射,但不是满射。
• 设:[0, ] [0, 1],() = sin(), ∈[0, ]。则是 满射,但不是单射。
• 设:N E,N 是自然数集合,E是自 然数中的所有偶数的集合,(n)= 2n,n ∈ N。 则是 单射且是满射,所以是双射。
2014-3-31 离散数学 22
有限与无限
• 定义4.1.2:设Nn={0,1, , n– 1} , n1 , 若集合A与Nn等势,则称A为有限集; 否则称A为无限集。
2014-3-31
离散数学
3
下列关系是否构成映射?
a b c
A
e f g R1
B
a b c
A
e
f g
R2
B
a b c
A
e f g R3
B
嗨!R1可不 是映射喔。 有人偷懒了。
2014-3-31
嗨!R2也不是 映射喔。有人 一箭双雕。
离散数学
啊哈!R3才是 一个映射呢。
4
满射、单射、双射
• 定义3.1.2:若是A到B的映射,且对b∈B, a∈A, 使得 (a)=b,则称是A到B上的映射, 简称满射。此时每个b∈B 必是A 中至少一个 元素a 的映象,且 (A)=B。 糟糕!全被射中了。 • 定义3.1.3:设是A到B的映射,若对a,b∈A, a≠b,均有 (a)≠ (b),则称为A到B的单射或入 射。此时| (A)|=|A|, B中每个元素最多是A中 一个元素的映象。 还好,只中了一箭。 • 定义3.1.4:设是A到B的映射,若既是满射 又是单射,则为A到B的双射或1––1映射。 哼!你能射我,我也能射你。
2014-3-31 离散数学 20
§4.1 等 势
如何比较两个集合中元素的多少呢? 引入等势的概念。 定义4.1.1 设A和B是集合,若存在A到B 的双射,则称A与B等势,记为A ~B 。 (可形象理解为A与B的元素一样多。) • “~”是一个等价关系。 • 例1 自然数集N与偶自然数集E是等势的, 其中定义N到E的双射为:(n) = 2n n∈N.
2014-3-31
离散数学
17
双射两次求逆后不变
• 定理3.2.3 设是A到B的双射,则
( – 1 )– 1 =
• 证明:因为是双射,所以 – 1 是B到A的双射,
从而( – 1) – 1是A到B的双射。对任意x∈A,设
(x) =y ,则 – 1(y) = x ,由于 – 1也是双射,所以 ( – 1)– 1(x) = y,故( – 1)– 1 = 。
• = • ,即映射的乘法不满足交换律;
(3)映射的乘法满足结合律。
2014-3-31 离散数学 14
复合映射交换后不一定是映射
令是A到B的映射, 是B到C的映射,
1 2 3 4
5
6 7 8
A
B
C
• (1) = (4) = 7; • (2) = (4) = 7; • (3) = (5) = 8 . 而 • (x) 都不存在, 其中,x ∈B .
2014-3-31 离散数学 21
证明“~”是一个等价关系
证明:设S={X|任意两个元素之间存在双射,X 是集合},~是S上的二元关系: ~={<A,B>|A,B∈S,存在双射:AB } 1) 对每个AS,存在恒等映射I:AA,I是双射, 于是A~A,故~是自反的。 2) 对任意A,BS,若A~B,则存在双射:AB, 显然双射-1:BA存在,于是B~A,故~是 对称的。 3) 对任意A,B,CS,若A~B,B~C,则存在双射 :AB和:BC,而· (A)=· ((A))=(B)=C, 即双射· :AC存在,于是A~C,故~是传 递的。 综上所述,~是等价关系。
2014双射的逆
• 定理3.2.4 设是A到B的双射, 是B到C的双
•• 证明: 由假设不难知道, ( • ) – 1 和 – 1 • – 1均是C 先让我们来回忆一下复合关系的逆(定 到A的双射。对任意z∈ C,因为 – 1也是双射,所以有 -1 -1 -1。 理 2.2.3 ): (R· S) = S · R 唯一的y∈B,使– 1(z) = y. 又因为 –1也是双射,所以 对y有唯一的x∈A ,使 – 1(y) = x.于是, – 1 • – 1 (z) = – 1 ( – 1(z)) = – 1 (y) = x 又因( • )(x) = ((x)) = (y) = z ,且 • 也是双射, 所以 ( • )– 1(z) = x . 从而对任意z∈C , 有( • )– 1(z) = – 1 • – 1 (z)。因此, (式3.2)成立。
第三章
映射
映射又称为函数,是两个集合 之间一种特殊的二元关系。 本章主要介绍各种典型的映射及 其性质、运算以及它们之间的联 系。
2014-3-31
离散数学
1
§3.1 基本概念
定义3.1.1: 设A,B是两个集合,是A到B的二 元关系,若对A中每个元素a,有唯一的 b∈B, 使得<a,b>∈ ,则称为A到B的映射,记为: : AB 或 A B
• ( • ) = ( • ) • • 证明:对任意x∈A,有 ( • ( • ) )(x) = ( ( • )(x) ) = ( ((x))) (( • ) • )(x) = ( • ) ((x)) = ( ((x))) 因此,(式3.1)成立。即映射的乘法满足结合律。 (式3.1)
2014-3-31 离散数学 9
等势有限集合间的单射即满射
• 定理3.1.1 设A,B是两个有限集,且|A|=|B| .于 是, : AB是单射当且仅当是满射。 • 证明:(必要性)设是单射,则 |A|= |(A)| , 因 为|A|=|B| ,所以 |(A)|= |B| ,又因(A) B且B有 限,所以(A) = B,从而是满射。 (充分性)设是满射,则(A) = B,于是, |A|=|B|=|(A)| , 即|A|=| (A)| 。又因A有限,所 以是单射。
y z
b B
y
C
• (a)= (x) = a ; • (b)= (y) = b ;
A
所以, • ≠ • ,即映射的乘法不满足交换律。
2014-3-31 离散数学 16
映射的乘法满足结合律
• 定理3.2.2 设是A到B的映射, 是B到C的映
射,是C到D的映射,于是
2014-3-31 离散数学 7
2、:R×R R×R,R为实数集。 (x,y)=<x+y,x-y>
解:⑪(单射性) 任取(x,y),(u,v), 假设(x,y)≠(u,v),若 (x,y)= (u,v),即<x+y,x-y>= <u+v,u-v> 则: x+y=u+v 得: x=u x-y=u-v y=v 从而(x,y)=(u,v),与假设矛盾.故是单射. ⑫(满射性) 对任意<u,v>∈R×R,令: (x,y)=<x+y,x-y>= <u,v>,即: x+y=u 解得: x=(u+v)/2 x-y=v y=(u-v)/2 显然((u+v)/2, (u-v)/2)∈R×R,且满足 ((u+v)/2, (u-v)/2)= <u,v>,故是满射.总之, 是双射.
2014-3-31
离散数学
11
双射才有逆映射
• 定理3.2.1 设是A到B的映射,于是, 存在 逆映射当且仅当是双射。
• 证明:必要性:设-1存在, -1:BA。若不是满 射,则y∈B ,使得y不是A中任何元素的映象,即y没 有象源。若不是单射,则 x1, x2∈A , x1≠x2且 (x1)= (x2)=y,则y的象源不唯一。不论哪种情况,都 说明的逆关系不是B到A的映射,此与假设矛盾。故 是双射。
2014-3-31 离散数学 6
判断下列映射是否单射,满射和双射。
1、设:N N,N 是自然数集,(n)= 2n, n∈N。 (是变换) 解: 取b=2n+1,b∈N,由的定义知: (n) ≠b,n,b∈N。∴ 不是满射。 任取i,j∈N,且i≠j。若(i)= (j),即 2i=2j,则i=j,此与i≠j矛盾。∴ (i)≠(j)。 故是单射。综上所述: 是单射但不是 满射。
因此,上例中 • 是映射, • 不是映射。
2014-3-31
离散数学
15
映射的乘法不满足交换律
• 假如 • 和 • 都是映射,如下所示: • (x)= (a) = x ; • (y)= (b) = y ; • (z)= (b) = y ; x a x
2014-3-31
离散数学
13
复合映射
• 定义3.2.2:设是A到B的映射, 是B到C的映
射,对任意x∈A, 定义( • )(x) = ((x)),易