离散习题代数系统部分答案1

合集下载

011001[离散数学(1)] 天津大学考试题库及答案

011001[离散数学(1)]  天津大学考试题库及答案

离散数学(1)复习题一、单项选择题1、下列命题正确的是( A )。

A. φ⋂{φ}=φB. φ⋃{φ}=φC. {a}∈{a,b,c}D. φ∈{a,b,c}2、设集合{1 2 3 4 },A上的关系R={(1 1)(2 3)(2 4)(3 4)}则R具有( B )。

A. 自反性B. 传递性C. 对称性D. 以上答案都不对3、设Z是整数集,函数f定义为:Z Z→, f(x)=|x|-2x,则f是( A )。

A. 单射B. 满射C. 双射D. 非单射也非满射4、设R为实数集,定义R上4个二元运算,不满足结合律的是( B )。

A. f1(x,y)= x+y B. f2(x,y)=x-yC. f3(x,y)=xy D. f4(x,y)=max{x,y}5、设(A,≤) 是一个有界格,它也是有补格,只要满足( B )。

A. 每个元素都有一个补元B. 每个元素至少有一个补元C. 每个元素都无补元D. 每个元素都有多个补元6、图G和'G的结点和边分别存在一一对应关系是G和'G同构的( B )。

A. 充分条件B. 必要条件C. 充要条件D. 既不充分也不必要条件7、集合上A的等价关系R,其等价类集合{ [a] 天津大学考试题库及答案R| a∈A }称为( C )。

A. A与R的并集,记作A Y RB. A与R的交集,记作A I RC. A关于R的商集,记作A/RD. A与R的差集,记作A—R8、设G是连通平面图,G中有6个顶点8条边,则G的面的数目是( C )。

A. 2B. 3C. 4D. 59、一个公式在等价意义下,下面哪个写法是唯一的( C )。

A. 析取范式B. 合取范式C. 主析取范式D. 以上答案都不对10、设谓词():Q x x犯错误,命题“没有不犯错误的人”符号化为P x x是人,():( D )。

A. (()())⌝∃→⌝x P x Q x ∀∧ B. (()())x P x Q xC. (()())⌝∃∧⌝x P x Q x ⌝∃∧ D. (()())x P x Q x11、设 |A|=m,|B|=n,则 |ρ(A×B) | 等于( C )。

离散数学自考第一章(课后习题和答案)

离散数学自考第一章(课后习题和答案)
P F F T T Q F T F T P↔Q T F F T
每当P和Q的真值相同时,则(P↔Q)的真值 为“T”,否则(P↔Q)的真值为“F”。
(3)举例:
▪ 春天来了当且仅当燕子飞回来了。 ▪平面上二直线平行,当且仅当这二直线不相交。 ▪2+2=4当且仅当雪是白色的。 (两者没有关系,但是确实命题)
举例: (a)P:王华的成绩很好 Q:王华的品德很好。 则PΛQ:王华的成绩很好并且品德很好。 (b P:我们去种树 Q:房间里有一台电视机 则PΛQ:我们去种树与房间里有一台电视机。 (c) P:今天下大雨 Q:3+3=6 则PΛQ:今天下大雨和3+3=6
3.析取词(或运算) (1)符号“∨” 设P、Q为二个命题,则 (P∨Q)称作P与Q的“析取”,读作: “P或Q”。
(a)P:我拿起一本书 Q:我一口气读完了这本书 P→Q:如果我拿起一本书,则我一口气读完了这本书。 (b)P:月亮出来了 Q:3×3=9 P→Q:如果月亮出来了,则 3×3=9。(善意推定)
5.双条件联结词(“等价”词、“同”联结词、 “等同”词) (1)符号“↔”设P、Q为二个命题,则P↔ Q读作:“P当且仅当Q”,“P等价 Q”,“P是Q的充分必要条件”。 (2)定义(见真值表):
(4)P,Q中,P、Q的地位是平等的,P、Q 交换位置不会改变真值表中的值。
6.命题联结词在使用中的优先级 (1)先括号内,后括号外 (2)运算时联结词的优先次序为: ¬ Λ → ↔ (由高到低) (3)联结词按从左到右的次序进行运算

¬P∨(Q∨R)可省去括号,因为“V”运算是可结合的。 ( ¬P∨Q)∨R可省去括号,因为符合上述规定 而P→(Q→R)中的括号不能省去,因为“→”不满足结合律。

离散数学样卷参考答案

离散数学样卷参考答案

参考答案试卷一一、选择填空1.C2.A3.D4.D5.A6.A7.B8.C9.D 10.B二、填空1.主合取范式)()(q p q p ⌝∨∧∨⌝.前束范式))()((x G x F x →∀或))()((y G x F y x →∀∀ 2. n-k,93.=)(A ρ{Φ,{1},{2},{1,2}},B A ⨯={〈1,a 〉,<1,b>,<2,a>,<2,b>}4. [b]R ={1,2,3}, X/R={{1,2,3},{4},{5}}.5. ,,G y x ∈∀ )()()(y f x f y x f *= 。

6.=-)(1R r { <2,1>,< 4,2>,<1,1>,<3,3>,<2,2>},=S R {<1,4>,<2,2>}。

7.15,12.8. =τσ⎪⎪⎭⎫ ⎝⎛42134321 =(132) =-1στ⎪⎪⎭⎫ ⎝⎛41324321=(123) 9.0, 45 10.2,0三 1.× 2.√ 3. √ 4.× 5.×四.1.一棵树具有3个2度结点,2个3度结点,2个4度结点,其余为叶。

试求其共有多少个结点?多少片叶?解: 设该树其有x 片叶,则顶点数为x+7, 根据树的性质知,该树有x+6边,由握手定理有:3*2+2*3+2*4+x*1=2(x+6), 得x=8故该树共有15个结点,8 片叶 .2.已知X={a,b,c},给出X 上的所有等价关系。

解:X 的划分其有五种:S 1={{a,b,c}}, S 2={{a,b},{c}}, S 3={{a,c},{b}}, S 4={{a},{b,c}},S 5={{a},{b},{c}},因为X 上划分与等价关系一一对应,故x 上共有五个等价关系,它们是:R 1={<a,b>,<b,a>,<a,c><c,a>,<b,c>,<c,b>}X I ⋃R 2={<a,b>,<b,a>}X I ⋃, R 3={<a,c><c,a>}X I ⋃R 4={<b,c>,<c,b>}X I ⋃, R 5=X I3..画一棵权为2,3,3,4,5,6,7,8 的最优二叉树,并计算出它的树权。

《离散数学》题库及标准答案

《离散数学》题库及标准答案

《离散数学》题库及标准答案《离散数学》题库及答案————————————————————————————————作者:————————————————————————————————日期:《离散数学》题库与答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( )(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P答:在第三章里面有公式(1)是附加律,(4)可以由第二章的蕴含等值式求出(注意与吸收律区别)2、下列公式中哪些是永真式?( )(1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答:(2),(3),(4)可用蕴含等值式证明3、设有下列公式,请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P答:(2)是第三章的化简律,(3)类似附加律,(4)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。

答:x,y, x,z(考察定义在公式?x A和?x A中,称x为指导变元,A为量词的辖域。

在?x A和?x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。

于是A(x)、B(y,x)和?z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元)5、判断下列语句是不是命题。

若是,给出命题的真值。

( )(1)北京是中华人民共和国的首都。

(2) 陕西师大是一座工厂。

(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。

离散数学答案 第九章 特殊代数系统

离散数学答案 第九章 特殊代数系统

第九章 特殊的代数系统习题9.11.解 ⑴是半群。

显然,二元运算“ ”在N 上是封闭的, 所以,>< ,N 是一个代数系统, 另一方面,,,,N c b a ∈∀有(){}{}c b a c b a c b a ,,max ,max == ,而(){}{}c b a c b a c b a ,,m ax ,m ax == ,因此,()()c b a c b a =,所以,运算“ ”满足结合律的,故>< ,N 是半群;⑵是半群。

显然,二元运算“ ”在N 上是封闭的, 所以,>< ,N 是一个代数系统, 另一方面,N c b a ∈∀,,,有()c c b c b a == ,而()c c a c b a == ,则()()c b a c b a =,所以,运算“ ”满足结合律,故><,N 是半群;⑶是半群。

显然,二元运算“ ”在N 上是封闭的, 所以,>< ,N 是一个代数系统, 另一方面,N c b a ∈∀,,,有()abc c ab c ab c b a 4)2(2)2(=== ,()()abc bc a bc a c b a 422)2(=== ,即()()c b a c b a = ,所以,运算“ ”满足结合律,故>< ,N 是半群。

⑷不是半群。

虽然,二元运算“ ”在N 上是封闭的,即>< ,N 是一个代数系统,但是 对于5,3,6,因为,()4635635635=--=-= ,而2635635)63(5=--=-= ,即())63(5635 ≠,所以,运算“ ”不满足结合律,故>< ,N 不是半群。

2.解 ⑴正确。

因为,运算显然封闭。

⑵正确。

abc bc ac ab c b a c ab b a c b a ++++++=++= )()(, bc ac ab c b a bc c b a c b a +++++=++=)()( ,即是()()c b a c b a =,所以︒满足结合律。

离散数学 练习题及答案

离散数学 练习题及答案

命题逻辑例1: 下面哪些语句是命题十是一个整数. 真命题北京是一个村庄. 假命题我学英语或法语. 复合命题如果天气好,我就去散步. 复合命题向右看齐! 不是命题您吃饭了吗? 不是命题本命题是假的. 不是命题例2:试以符号形式写出下列命题1) 选小王或小李中的一人当班长。

P: 小王当班长。

Q: 小李当班长。

( P ∧ ⌝ Q) ∨ (⌝ P ∧ Q)2) 小王是计算机系的学生,他生于1982年,他是一个好学生。

P: 小王是计算机系的学生。

Q: 他生于1982年。

R: 他是一名好学生。

P ∧ Q ∧ R3) 只要我上街,我就去书店看看,除非我很累。

P: 我上街。

Q: 我去书店看看。

R: 我很累。

⌝ R →(P → Q)例3 给出下列公式的真值表 成真指派:100,101,110,111例4 试求下面公式的主析取(主合取)范式,并写出成真指派和成假指派。

()()P Q Q P ⌝→→⌝∨例5 证明:P →Q ,⌝Q ∨R ,⌝R ,⌝S ∨P=>⌝S证明:(1) ⌝R 前提(2) ⌝Q ∨R 前提(3) ⌝Q (1),(2)(4) P →Q 前提(5) ⌝P (3),(4)PR Q P →→∧)((6) ⌝S ∨P 前提(7) ⌝S (5),(6)例6 证明:A ,A →B ,A →C ,B →(D → C) => D证明:(1) A 前提(2) A →B 前提(3) B (1),(2)(4) A →C 前提(5) C (1),(4)(6) B →(D →⌝C) 前提(7) D →⌝C (3),(6)(8) ⌝D (5),(7)例7 证明:⌝B ∨D ,(E →⌝F)→⌝D ,⌝E=>⌝B证明:(1) B 附加前提(2) ⌝B ∨D 前提(3) D (1),(2)(4) (E →⌝F)→⌝D 前提(5) ⌝(E →⌝F) (3),(4)(6) E ∧⌝F (5)(7) E (6)(8) ⌝E 前提(9) E ∧⌝E (7),(8)例8 证明: 谓词逻辑例1 符号化下列命题不是所有的男人都比女人高。

离散数学答案

离散数学答案

2015春课件作业第一部分集合论第一章集合的基本概念和运算1-1 设集合 A ={{2,3,4},5,1},下面命题为真是 A (选择题) [ A ] A.1 ∈A; B.2 ∈ A; C.3 ∈A; D.{3,2,1} ⊆ A。

1-2 A,B,C 为任意集合,则他们的共同子集是 D (选择题) [ D ] A.C; B.A; C.B; D.Ø。

1-3 设 S = {N,Z,Q,R},判断下列命题是否正确(是非题)(1) N ⊆ Q,Q ∈S,则 N ⊆ S,否[错](2)-1 ∈Z,Z ∈S,则 -1 ∈S 。

否[错]1-4 设集合 B = {4,3} ∩Ø, C = {4,3} ∩{ Ø },D ={ 3,4,Ø },E = {x│x ∈R 并且 x2 - 7x + 12 = 0},F = { 4,Ø,3,3},试问:集合 B 与那个集合之间可用等号表示 A (选择题) [A ]A. C;B. D;C. E;D. F.1-5 用列元法表示下列集合:A = { x│x ∈N 且 3-x 〈 3 }(选择题) [D ]A. N;B. Z;C. Q;D. Z+1-6 为何说集合的确定具有任意性 ? (简答题)按照所研究的问题来确定集合的元素。

而我们所要研究的问题当然是随意的。

所以,集合的定义(就是集合成分的确定)就带有任意性。

第二章二元关系2-1 给定 X =(3, 2,1),R 是 X 上的二元关系,其表达式如下:R = {〈x,y〉x,y ∈X 且 x > y } (综合题)求:(1)domR =?; (2)ranR =?; (3)R 的性质。

所谓谓词表达法,即是将集合中所有元素的共同性质用一个谓词概括起来,如本题几例所示。

有的书上称其为抽象原则。

反过来,列元法则是遵照元素的性质和要求,逐一将他们列出来,以备下用,结果如下:R = {<1,1>,<2,2>,<3,3>};(1)DomR={R中所有有序对的x}={3,2,1};(2)RanR={R中所有有序对的y}={3,2,1};(3)R 的性质:自反,对称,传递性质.2-2 设 R 是正整数集合上的关系,由方程 x + 3y = 12 决定,即R = {〈x,y〉│x,y ∈Z+ 且 x + 3y = 12},试给出 dom(R 。

离散数学习题集(十五套含答案)

离散数学习题集(十五套含答案)

离散数学试题与答案试卷一一、填空20% (每小题2分)1.设}7|{)},5()(|{<∈=<∈=+xExxBxNxxA且且(+=⋃BA{0,1,2,3,4,6} 。

2.A,B,C表示三个集合,文图中阴影部分的集合表达式为。

3R,S的真值为1,则)()))(((SRPRQP⌝∨→⌝∧→∨⌝的真值= 1 。

4.公式PRSRP⌝∨∧∨∧)()(的主合取范式为)()(RSPRSP∨⌝∨⌝∧∨∨⌝。

5.若解释I的论域D仅包含一个元素,则)()(xxPxxP∀→∃在I下真值为1 。

6.设A={1,2,3,4},A上关系图为则R2 = {<a.b>,<a,c>,<a,d>,<b,d>,<c,d> 。

7.设A={a,b,c,d},其上偏序关系R的哈斯图为则R= {<a.b>,<a,c>,<a,d>,<b,d>,<c,d>} I A。

8.图的补图为9.设A={a,b,c,d} ,A上二元运算如下:那么代数系统<A,*>的幺元是 a ,有逆元的元素为a , b , c ,d,它们的逆元分别为 a , d , c , d 。

10.下图所示的偏序集中,是格的为 c 。

二、选择20% (每小题2分)1、下列是真命题的有(CD)A.}}{{}{aa⊆;B.}}{,{}}{{ΦΦ∈Φ;C.}},{{ΦΦ∈Φ;D.}}{{}{Φ∈Φ。

2、下列集合中相等的有(BC )A.{4,3}Φ⋃;B.{Φ,3,4};C.{4,Φ,3,3};D.{3,4}。

3、设A={1,2,3},则A上的二元关系有( C )个。

A.23 ;B.32 ;C.332⨯;D.223⨯。

4、设R,S是集合A上的关系,则下列说法正确的是(A )A.若R,S 是自反的,则SR 是自反的;B.若R,S 是反自反的,则SR 是反自反的;C .若R ,S 是对称的, 则S R是对称的;D .若R ,S 是传递的, 则S R 是传递的。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

《离散数学》代数系统
1.以下集合和运算是否构成代数系统?如果构成,说明该系统是否满足结合律、交换律?
求出该运算的幺元、零元和所有可逆元素的逆元.
1)P(B)关于对称差运算⊕,其中P(B)为幂集.
构成代数系统;满足结合律、交换律;幺元φ;无零元;逆元为自身。

2)A={a,b,c},*运算如下表所示:
构成代数系统;满足结合律、交换律;无幺元;无逆元;零元b.
2.设集合A={a,b},那么(1)在A上可以定义多少不同的二元运算?(2)在A上可以
定义多少不同的具有交换律的二元运算?
24个不同的二元运算;23个不同的具有交换律的二元运算
3.设A={1,2},B是A上的等价关系的集合.
1)列出B的元素.2元集合上只有2种划分,因此只有2个等价关系,即B={I A,E A}
2)给出代数系统V=<B,∩>的运算表.
3)求出V的幺元、零元和所有可逆元素的逆元.
幺元E A、零元I A;只有E A可逆,其逆元为E A.
4)说明V是否为半群、独异点和群?
V是为半群、独异点,不是群
4.设A={a,b,c},构造A上的二元运算*,使得a*b=c,c*b=b,且*运算满足幂等律、交换
律.
1)给出关于*运算的一个运算表.
其中表中?位置可以是a、b、c。

2)*运算是否满足结合律,为什么?
不满足结合律;a*(b*b)=c≠(a*b)*b=b
5.设<R,*>是一个代数系统。

*是R上的一个二元运算,使得对于R(实数集合)中的任意元素a,b都有a*b=a+b+a·b(·和+为数集上的乘法和加法).
证明::<R,*> 是独异点.
6.如果<S,*>是半群,且*是可交换的.
证明:如果S中有元素a,b,使得a*a=a和b*b=b,则(a*b)*(a*b)=a*b.
(a*b)*(a*b)
= a*(b*a)*b 结合律
= a*( a*b)*b 交换律
= (a* a)*(b*b)
= a*b.
7.设<G,·,–1,e>是一个群,则∀a,b,c∈S。

试证明:群G中具有消去律,即成立: 如果
a·b=a·c ,b·a=c·a 那么b=c. (见课件)
8.设<G,*>是群,a∈G .
现定义一种新的二元运算⊙:x⊙y=x*a*y,∀x,y∈G .
证明:<G,⊙>也是群.
证明:显然⊙是G上的一个二元运算。

∀x,y,z∈G,(x⊙y)⊙z=(x⊙y)*a*z=(x*a*y)*a*z=x*a*(y*a*z)= x*a*(y⊙z)= x⊙(y
⊙z).故运算⊙满足结合律.
∀x∈G,x⊙a-1=x*a*a-1=x*e=x,a-1⊙x=a-1*a*x=e*x=x,故a-1是幺元.
∀x∈G,x⊙(a-1*x-1* a-1)=x*a*(a-1*x-1* a-1)= x*e*(x-1* a-1)= a-1.
(a-1*x-1* a-1)⊙x= (a-1*x-1* a-1)*a*x=(a-1*x-1)*e*x = a-1.
故a-1*x-1* a-1是x关于⊙的逆元.
综上所述<G , ⊙>是群.
9.试写出模6加法群<Z6,+6>的每个子群及其相应的左陪集.
<Z6,+6>的运算表如下所示:
<Z6,+6>的子群:<{0},+6>、<{0,3},+6>、<{0,2,4},+6>和<Z6,+6>.
10.设A={1,2,5,10,11,22,55,110}.
1)A关于整除关系是否构成偏序集?构成偏序集
2)如果构成偏序集合,画出其对应的哈斯图.
3)如果构成偏序集,该偏序集合构成哪种格?(分配格、有界格、有补格、布尔格).
分配格、有界格、有补格、布尔格。

相关文档
最新文档