离散数学结构 习题11-1

合集下载

应用离散数学代数结构群题库试卷习题及答案

应用离散数学代数结构群题库试卷习题及答案

§4.3 群习题4.31. 设G 是所有形如⎪⎪⎭⎫ ⎝⎛001211a a 的矩阵组成的集合, *表示矩阵乘法。

试问>*<,G 是半群吗?是有么半群吗?这里1211a a 、是实数。

解 任取G 中的2个元素=A ⎪⎪⎭⎫ ⎝⎛001211a a 、=B ⎪⎪⎭⎫⎝⎛001211b b 、 ∵=*B A ⎪⎪⎭⎫ ⎝⎛001211a a ⎪⎪⎭⎫ ⎝⎛001211b b =⎪⎪⎭⎫⎝⎛0012111111b a b a G ∈ ∴ >*<,G 是一个代数系统。

且因为矩阵的乘法满足结合律,所以>*<,G 是半群。

又因为,只要11a =1,则=*B A ⎪⎪⎭⎫ ⎝⎛001211a a *⎪⎪⎭⎫ ⎝⎛001211b b =⎪⎪⎭⎫ ⎝⎛0012111111b a b a =⎪⎪⎭⎫⎝⎛001211b b B = 对任何的G B ∈成立,即⎪⎪⎭⎫⎝⎛00112a 是左单位元(不论12a 取什么值)。

但右单位元不存在,因为不论11b ,12b 取什么值,=*B A ⎪⎪⎭⎫ ⎝⎛001211a a ⎪⎪⎭⎫ ⎝⎛001211b b =⎪⎪⎭⎫ ⎝⎛0012111111b a b a =⎪⎪⎭⎫⎝⎛001111a a B = 不可能对任何的G A ∈成立。

所以单位元不存在(事实上,若单位元存在,则左、右单位元都存在且相等还唯一),所以>*<,G 不是有么半群。

2. 在自然数集合N 上定义运算∨和∧如下:}max{b a b a ,=∨,}min{b a b a ,=∧试问>∨<,N 和>∧<,N 是半群吗?是有么半群吗? 解>∨<,N 是半群,有单位元0,是有幺半群。

>∧<,N 是半群,没有单位元,不是有幺半群。

3. 设Z 为整数集合,在Z 上定义二元运算*如下:Z ∈∀-+=*y x y x y x ,,2问Z 关于运算*能否构成群?为什么? 解(1)整数集合Z 非空。

离散数学结构试题集2011

离散数学结构试题集2011

第1章一.填空题1.2. 公式P→(Q→R)在联结词全功能集{﹁,∨}中等值形式为___________________。

3.4.5.6.7. 全体小项的析取式必为____________________式。

8. P,Q为两个命题,则德摩根律可表示为7. 全体小项的析取式必为_________式。

9. P,Q为两个命题,则吸收律可表示为____________________ 。

10. 设P:我有钱,Q:我去看电影。

命题“虽然我有钱,但是我不去看电影”符号化为_____ _______________。

11. 设P:我生病,Q:我去学校。

命题“如果我生病,那么我不去学校”符号化为_________ ___________。

12.13.14.15. 设P、Q为两个命题,交换律可表示为____________________。

16.17. 命题“如果你不看电影,那么我也不看电影”(P:你看电影,Q:我看电影)的符号化为____________________ 。

18.19.20.21. P:你努力,Q:你失败。

命题“除非你努力,否则你将失败”的翻译为_______________ _____。

22.23.24. 一个重言式和一个矛盾式的合取是____________________。

25. 全体小项的析取式为____________________ 。

26. 命题“如果你不看电影,那么我也不看电影”(P:你看电影,Q:我看电影)的符号化为____________________。

27.28. 设P:它占据空间,Q:它有质量,R:它不断运动,S:它叫做物质。

命题“占据空间的,有质量的而且不断运动的叫做物质”的符号化为____________________。

29.30.解答:1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.26.27.28.29.30.二.选择题1.2.3. 在除﹁之外的四大联结词中,满足结合律的有几个( )。

北航离散数学第11章习题答案

北航离散数学第11章习题答案

第11章习题答案3. 对图11.3的有向图,找出从u 1到u 4的长度为2,3,4的所有通路,并找出顶点u 4上的长度为2,3,4的所有回路。

用M 2,M 3,,M 4,来验证这些结果。

解:从u 1到u 4长度为2的通路有1条:(u 1,u 2,u 4)从u 1到u 4长度为3的通路有2条:(u 1,u 2,u 3,u 4),(u 1,u 4,u 2,u 4) 从u 1到u 4长度为4的通路有3条:(u 1,u 2,u 3,u 2,u 4),(u 1,u 2,u 4,u 2,u 4),(u 1,u 4,u 2,u 3,u 4)顶点u 4上的长度为2的回路有1条:(u 4,u 2,u 4) 顶点u 4上的长度为3的回路有1条:(u 4,u 2,u 3,u 4) 顶点u 4上的长度为4的回路有2条:(u 4,u 2,u 3,u 2,u 4),(u 4,u 2,u 4,u 2,u 4)M =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0010101011001010 M 2=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1100111010201110M 3=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1020212022102120M 4=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡221323031403230由M 2,M 3,,M 4中的第1行第4列的元素可见,从u 1到u 4长度为2,3,4的通路分别有1条,2条,3条。

由M 2,M 3,,M 4中的第4行第4列的元素可见,u 4上的长度为2,3,4的回路分别有1条,1条,2条,说明所找的上述通路和回路正确。

5. 设有向图D 具有顶点集合{u 1,u 2,…,u n },M 是D 的邻接矩阵。

证明对于i ≠j 和k=1,2,…,n-1,如果M k(k=1,2,…,n-1)中第i 行第j 列上的元素均为0,则u i 和u j 必定属于D 的不同的强分图。

证明:假设u i 和u j 属于D 的同一个强分图,则u i 和u j 互相可达。

离散数学练习题

离散数学练习题

离散数学练习题1、图中度为零的结点称为孤立结点。

A. 正确B. 错误正确:【A】2、域是整环。

A. 正确B. 错误正确:【A】3、有限格都是有界格。

A. 正确B. 错误正确:【A】4、连通且不含圈的图称为树。

A. 正确B. 错误正确:【A】5、“如果1+1≠3,则2+2≠4”是真命题。

A. 正确B. 错误正确:【B】6、无向图G为欧拉图,则G是连通的。

A. 正确B. 错误正确:【A】7、若A和B都是谓词公式,则(A∧B)、(A∨B)、(A→B)、(A<->B)都是谓词公式。

A. 正确B. 错误8、设A, B, C是命题公式,则AVBV﹁C 也是命题公式。

A. 正确B. 错误正确:【A】9、设〈L,≤〉是格,则格的交∧和并∨运算满足等幂律。

A. 正确B. 错误正确:【A】10、“x+3>1。

”是命题。

A. 正确B. 错误正确:【B】11、半群满足交换律。

A. 正确B. 错误正确:【B】12、在任何图中,奇数度的结点数必是偶数。

A. 正确B. 错误正确:【A】13、在格〈L,∨,∧〉中,如果交运算对并运算是可分配的,则并运算对交运算也是可分配的。

A. 正确B. 错误正确:【A】14、完全图Kn没有割集,它的连通性能是最好的。

A. 正确B. 错误15、对任意集合A,都有∅⊆A。

A. 正确B. 错误正确:【A】17、强连通图一定是单向连通图。

A. 正确B. 错误正确:【A】18、代数系统〈G,∘〉为群的条件是存在零元素。

A. 正确B. 错误正确:【B】19、对应日常生活中的“任意的”,“所有的”,“一切的”等词,用符号“任意”表示。

A. 正确B. 错误正确:【A】20、如果a是集合A中的元素,则称a属于A,记作a∉A。

A. 正确B. 错误正确:【B】21、A,B是集合,P(A),P(B)为其幂集,且,则P(A)∩P(B)为()A. B.C. D.正确:【B】22、设M={x|f1(x)=0},N={x|f2(x)=0},则方程f1(x)•f2(x)=0的解为()A. M∩NB. M∪NC. MND. M-N正确:【B】23、设集合A={1,2,3},下列关系R中不是等价关系的是()A. R={<1,1>,<2,2>,<3,3>}B. R={<1,1>,<2,2>,<3,3>,<3,2>,<2,3>}C. R={<1,1>,<2,2>,<3,3>,<1,2>}D.R={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>} 正确:【C】24、设<A,?,*>是环,则下列说法不正确的是()A. <A,?>是交换群B. <A,*>是半群C. *对?是可分配的D. ?对*是可分配的正确:【D】25、平面图(如下)的三个面的次数分别是()A. 11,3,4B. 11,3,5C. 12,3,6D. 10,4,3正确:【A】26、下列命题正确的是()A. {l,2} {{1,2},{l,2,3},1}B. {1,2} {1,{l,2},{l,2,3},2}C. {1,2} {{1},{2},{1,2}}D. {1,2}∈{1,2,{2},{l,2,3}}正确:【B】27、设D的结点数大于1,D=<V,E>是强连通图,当且仅当()A. D中至少有一条通路B. D中至少有一条回路C. D中有通过每个结点至少一次的通路D. D中有通过每个结点至少一次的回路正确:【D】28、下列等价式正确的是()A. ┐┐AB.C. ┐┐AD.正确:【C】29、设P={x|(x+1)2≤4},Q={x|x2+16≥5x},则下列选项正确的是()A. PQB. PQC. QPD. Q=P正确:【C】30、设,则有()A. B.C. D.正确:【C】31、下列各图中既是欧拉图,又是汉密尔顿图的是()A. B.C. D.正确:【C】32、无向图G是欧拉图当且仅当G是连通的且()A. G中各顶点的度数均相等B. G中各顶点的度数之和为偶数C. G中各顶点的度数均为偶数D. G中各顶点的度数均为奇数正确:【C】33、下列式子正确的是()A. (A-B)-C = A-(B∪C)B. A-(B∪C)=(A-B)∪CC. ~(A-B)= ~(B-A)D.正确:【A】34、设有代数系统G=〈A,*〉,其中A是所有命题公式的集合,*为命题公式的合取运算,则G的幺元是()A. 矛盾式B. 重言式C. 可满足D. 公式p∧q正确:【B】35、设P:天下大雨,Q:他在室内运动,命题“除非天下大雨,否则他不在室内运动”可符合化为()A. ┐P∧QB. ┐P→QC. ┐P→┐QD. P→┐Q正确:【C】36、集合A={1,2,…,10}上的关系R={<x,y>|x+y=10,x∈A,y ∈A},则R的性质是()A. 自反的B. 对称的C. 传递的、对称的D. 反自反的、传递的正确:【B】37、设集合A={a,b, c}上的关系如下,具有传递性的是()A. R={<a,c>,<c,a>,<a,b>,<b,a>}B. R={<a,c>,<c,a>}C. R={<a,b>,<c,c>,<b,a>,<b,c>}D. R={<a,a>}正确:【D】38、下列等价式不正确的是()A. B.C. D.正确:【A】39、设M(x):x是人;F(x):x要吃饭。

离散数学练习题(含答案)

离散数学练习题(含答案)

离散数学试题第一部分选择题一、单项选择题1.下列是两个命题变元p,q的小项是( C )A.p∧┐p∧q B.┐p∨qC.┐p∧q D.┐p∨p∨q2.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D )A.p→┐q B.p∨┐qC.p∧q D.p∧┐q3.下列语句中是命题的只有( A )A.1+1=10 B.x+y=10C.sinx+siny<0 D.x mod 3=24.下列等值式不正确的是( C )A.┐(∀x)A⇔(∃x)┐AB.(∀x)(B→A(x))⇔B→(∀x)A(x)C.(∃x)(A(x)∧B(x))⇔(∃x)A(x)∧(∃x)B(x)D.(∀x)(∀y)(A(x)→B(y))⇔(∀x)A(x)→(∀y)B(y)5.谓词公式(∃x)P(x,y)∧(∀x)(Q(x,z)→(∃x)(∀y)R(x,y,z)中量词∀x的辖域是( C )A.(∀x)Q(x,z)→(∃x)(∀y)R(x,y,z))B.Q(x,z)→(∀y)R(x,y,z)C.Q(x,z)→(∃x)(∀y)R(x,y,z)D.Q(x,z)6.设A={a,b,c,d},A上的等价关系R={<a,b>,<b,a>,<c,d>,<d,c>}∪I A,则对应于R的A的划分是( D )A.{{a},{b,c},{d}} B.{{a,b},{c},{d}}C.{{a},{b},{c},{d}} D.{{a,b},{c,d}}7.设A={Ø},B=P(P(A)),以下正确的式子是( A )A.{Ø,{Ø}}∈B B.{{Ø,Ø}}∈BC.{{Ø},{{Ø}}}∈B D.{Ø,{{Ø}}}∈B8.设X,Y,Z是集合,一是集合相对补运算,下列等式不正确的是( A )A.(X-Y)-Z=X-(Y∩Z)B.(X-Y)-Z=(X-Z)-YC.(X-Y)-Z=(X-Z)-(Y-Z)D.(X-Y)-Z=X-(Y∪Z)9.在自然数集N上,下列定义的运算中不可结合的只有( D )A.a*b=min(a,b)B.a*b=a+bC.a*b=GCD(a,b)(a,b的最大公约数)02324# 离散数学试题第1 页共4页02324# 离散数学试题 第 2 页 共4页D .a*b=a(mod b)10.设R 和S 是集合A 上的关系,R ∩S 必为反对称关系的是( A ) A .当R 是偏序关系,S 是等价关系; B .当R 和S 都是自反关系; C .当R 和S 都是等价关系; D .当R 和S 都是传递关系11.设R 是A 上的二元关系,且R ·R ⊆R,可以肯定R 应是( D ) A .对称关系; B .全序关系; C .自反关系; D .传递关系 12.设R 为实数集,函数f :R →R ,f(x)=2x ,则f 是( B ) A .满射函数 B .单射函数 C .双射函数 D .非单射非满射第二部分 非选择题二、填空题1.设论域是{a,b,c},则(∀x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ;(x ∃)S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。

慕课离散结构习题答案

慕课离散结构习题答案

慕课离散结构习题答案慕课离散结构习题答案离散结构是计算机科学中的一门重要课程,它涉及到了离散数学的基本概念和应用。

在学习离散结构的过程中,做习题是非常重要的一部分。

通过做习题,我们可以加深对知识点的理解,提高解决问题的能力。

然而,有时候我们会遇到一些难题,无法找到正确的答案。

本文将为大家提供一些慕课离散结构习题的答案,希望能够帮助大家更好地学习和理解离散结构。

一、集合论1. 设A={1,2,3,4,5},B={3,4,5,6,7},求A∪B的结果。

答案:A∪B={1,2,3,4,5,6,7}2. 设A={1,2,3,4,5},B={3,4,5,6,7},求A∩B的结果。

答案:A∩B={3,4,5}3. 设A={1,2,3,4,5},B={3,4,5,6,7},求A-B的结果。

答案:A-B={1,2}二、逻辑与证明1. 证明下列命题:若A∪B=A∩B,则A=B。

证明:假设A∪B=A∩B,即对于任意的x,x∈A∪B当且仅当x∈A∩B。

根据集合的定义,x∈A∪B表示x属于A或者属于B,而x∈A∩B表示x既属于A 又属于B。

由于A∪B=A∩B,所以对于任意的x,x属于A或者属于B等价于x 既属于A又属于B。

因此,A=B。

2. 证明下列命题:对于任意的正整数n,如果n是偶数,则n^2是偶数。

证明:假设n是偶数,即存在正整数k,使得n=2k。

那么n^2=(2k)^2=4k^2=2(2k^2),其中2k^2也是一个正整数,所以n^2是偶数。

三、图论1. 给定一个无向图G=(V,E),其中V={1,2,3,4,5},E={(1,2),(2,3),(3,4),(4,5),(5,1)},求图G的邻接矩阵。

答案:1 2 3 4 51 0 1 0 0 12 1 0 1 0 03 0 1 0 1 04 0 0 1 0 15 1 0 0 1 02. 给定一个有向图G=(V,E),其中V={1,2,3,4,5},E={(1,2),(2,3),(3,4),(4,5),(5,1)},求图G的邻接矩阵。

离散数学及其应用图论部分课后习题答案

作业答案:图论部分P165:习题九1、 给定下面4个图(前两个为无向图,后两个为有向图)的集合表示,画出它们的图形表示。

(1)111,G V E =<>,112345{,,,,}V v v v v v =,11223343345{(,),(,),(,),(,),(,)}E v v v v v v v v v v = (2)222,G V E =<>,21V V =,11223344551{(,),(,),(,),(,),(,)}E v v v v v v v v v v = (3)13331,,,D V E V V =<>=31223324551{,,,,,,,,,}E v v v v v v v v v v =<><><><><> (4)24441,,,D V E V V =<>=31225523443{,,,,,,,,,}E v v v v v v v v v v =<><><><><> 解答: (1)(2)10、是否存在具有下列顶点度数的5阶图?若有,则画出一个这样的图。

(1)5,5,3,2,2;(2)3,3,3,3,2;(3)1,2,3,4,5;(4)4,4,4,4,4 解答:(1)(3)不存在,因为有奇数个奇度顶点。

14、设G 是(2)n n ≥阶无向简单图,G 是它的补图,已知12(),()G k G k δ∆==,求()G ∆,()G δ。

解答:2()1G n k ∆=--;1()1G n k δ=--。

15、图9.19中各对图是否同构?若同构,则给出它们顶点之间的双射函数。

解答:(c )不是同构,从点度既可以看出,一个点度序列为4,3,3,3,3而另外一个为4,4,3,3,1(d )同构,同构函数为12()345x a x bf x x c x d x e=⎧⎪=⎪⎪==⎨⎪=⎪=⎪⎩ 16、画出所有3条边的5阶简单无向图和3条边的3阶简单无向图。

11级离散数学试题(A)参考答案

2011级离散数学(A)参考答案一、填空题(每小题2分,共30分)1. 设():M x x 为人, ():F x x 不吃饭。

将命题“没有不吃饭的人”符号化为:))()((x F x M x ⌝→∀ 或 ))()(((x F x m x ∧∃⌝ 。

2. 设A={1, 2, 3, 4} ,则 A 的全部2元子集共有 6 个。

3. 设p :明天是周一,q :明天是周三,r :我有课。

则命题“如果明天是周一或周三,我就有课”的符号化形式为 r q p →∨)( 。

4. 已知命题公式A 含有2个命题变项,其成真赋值为00、10、11,则其主析取范式为 320m m m ∨∨ 。

5. 设p :北京比大连人口多,q :2+2=4,r :乌鸦是白色的。

则命题公式)()(r p r q ⌝→→∨的真值为 1 。

6. 集合}3,2,1{=A 上的关系}3,2,3,1,2,1{><><><=R ,则=-1R { <2,1>,<3,1>,<3,2> }。

7. 画出下图的补图 。

8.设A={1,2,3},B={a,b,c},A 1={1},f={<1,a>,<2,a>,<3,b>},则=-))((11A f f { 1,2 }。

9. 设无向图的度数序列为:1,2,2,3,4。

则该无向图的边数m= 6 。

10. 3阶有向完全图的2条边的非同构的生成子图有 4 个。

11. 设〈≤,A 〉为偏序集,A B ⊆。

若y x B y x 与,,∈∀都是可比的,则称B是A 中的一条链,B 中的元素个数称为链的长度。

在偏序集〈{1,2,…,9},整除〉中,{1,2,4,8}是长为 4 的链。

12. 下面运算表中的单位元是 b 。

13. 写出模4加法群G=<Z 4,⊕ >的运算表14. 模4加法群中, 2-3= 2 。

离散数学11


(4)条件联结词
定义1-2.4 复合命题“如果P,则Q” 称为P与Q的
蕴涵式,记作P Q,即“如果P,则Q”,“若 P则Q”。并称P为前件,Q为后件,符号称为蕴 涵联结词。
运算规则:属于双目运算符
P
Q P→Q
T
T
T
T
F
F
F
T
T
F
F
T
只有当P的 真值为T, Q的真值为 F时, P Q 的真值为F, 否则均为T。
作业:
P8 (3)(5) P12 (5)
1-1 命题及其表示方法
内容:命题 重点:掌握命题概念
一.基本概念
命题:具有确定真值的陈述句。
or 真值客观存在且唯一 or 能区分真假 可以看出: (1)一个命题,总是具有一个“值”,称为真 值。命真真命题:真值为真(T,1)的命题。 假命题:真值为假(F,0)的命题。
复合命题的真值,取决于原子命题的真值,与原子命题 之间是否有关系无关,与复合命题本身内容、含义无关;
∧、∨、 具有对称性, ┐、 没有; 联结词具有运算和操作性,从已知命题得到新命题。
1-3 命题公式与翻译
内 容:
合式公式
命题翻译
重点难点:命题翻译
合式公式wff
命题公式:将命题变元用联结词和圆括号按一定 的逻辑关系联结起来的有意义的符号串。
为什么研究数理逻辑 程序=算法+数据 算法=逻辑+控制
数理逻辑是用数学方法即通过引入表意符号研究 推理的学问。因此,数理逻辑又名为符号逻辑。
第一章 命题逻辑
命题的引入:
数理逻辑研究推理,而推理必须包含前提和结 论,它们又都是由什么样的句子组成?
陈述句,所以陈述句就成了推理的基本要素。 所有的陈述句都是推理的要素? 数理逻辑中所要求的是能判断真假(对错)的陈

离散数学第十一章群和环习题答案


习题十五
16
证明:每个阶数大于1的群必含有阶数大于1的交换子群. 证明: 因为G的阶数大于1,必有周期大于1的元aG,构造H=(a),即 为所求。
习题十五
17
证明:循环群的子群必是循环群. 证明: 设G的生成元为a, H为G的子群,并且H中具有最小正幂的元是 ak, G=(a), HG, H={e, ak, ak2, ak3,…},设ak是H中具有最小正指数 的元, amH,证明am=(ak)* ,H=(ak), 则 amH,令m=tk+r (0r<k), 则am=(ak)t ar, 由k的选择知,r=0, 即am=(合,试确定<A, +, >是否成环、整环或域。 (1)A={x|xZ且x 0},无加法逆元,不是环 (2)A={a+b√3|a,bQ},是域 (3)A={x|(y)[yZ且x=2y]}, 由偶数构成,是环,但无法幺元, 不是整环,不是域。 (4)A={a/b|a,b为正整数,且(a,b)=1},既约分数,但无0,不构 成环。
习题十五 30
设<G, · >是群,a是G中一个固定元素,定义映射f:G → G使得对任何x G,f(x)=a· a-1. 求证:f是G的 x· 自同构映射。
证明: 容易证明f是G的同态映射, f(x· =a· y· -1 =a· a-1· y· -1 y) x· a x· a· a =f(x) ·f(y) 再证明f是双射, 证单射:f(x)=f(y), a· a-1 = a· a-1 x=y x· y· 证满射:令a· a-1 = y, x=a-1· a x· y·
c
c
c c
附加题:确定 2S,、 2S,、2S,各属于 哪一个层次?
• 2S,:闭,结,幺= S,无逆元,故含幺半群。 • 2S,:闭,结,幺= ,无逆元,故含幺半群。 • 2S,:闭,结,幺= ( A=A, AA= )A-1=A, 群。
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
相关文档
最新文档