内蒙古大学离散习题代数系统部分答案
大学《离散数学》题库及答案

《离散数学》题库与答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( A )(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条边。
(5) 前进! (6) 给我一杯水吧!答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是(命题必须满足是陈述句,不能是疑问句或者祈使句。
)6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。
离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1. 用命题逻辑把下列命题符号化a) 假如上午不下雨,我去看电影,否则就在家里读书或看报。
b) 我今天进城,除非下雨。
c) 仅当你走,我将留下。
2. 用谓词逻辑把下列命题符号化a) 有些实数不是有理数b) 对于所有非零实数x,总存在y使得xy=1。
c) f是从A到B的函数当且仅当对于每个a€ A存在唯一的b € B ,使得f(a)=b.二、简答题(共6道题,共32分)1. 求命题公式(P T(Q T R)).r(R T(Q T P))的主析取范式、主合取范式,并写出所有成真赋值。
(5分)2. 设个体域为{1,2,3},求下列命题的真值(4分)a) -x y(x+y=4)b) y -x (x+y=4)3. 求-x(F(x) T G(x)) T ( xF(x) T-I X G(X))的前束范式。
(4 分)4. 判断下面命题的真假,并说明原因。
(每小题2分,共4分)a) (A _.B)—C=(A-B) (A-C)b) 若f是从集合A到集合B的入射函数,则|A| < |B|5. 设A是有穷集,|A|=5,问(每小题2分,共4分)a) A上有多少种不同的等价关系?b) 从A到A的不同双射函数有多少个?6. 设有偏序集<A, < >,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)7. 已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数K IS;P(S);N,N ;P(N);R,R X R,{o,1}(写出即可)(6 分)三、证明题(共3小题,共计40分)1. 使用构造性证明,证明下面推理的有效性。
(每小题5分,共10分)a) A T (B A C),(E T—F) T—C, B T (A A ~S)二B T Eb) -x(P(x) T—Q(x)), -x(Q(x) V R(x)) , x—R(x)二x~P(x)2. 设R1是A上的等价关系,R2是B上的等价关系,A工._且B =_,关系R满足:<<X1,y1>,<X2,y2>>€ R,当且仅当< x 1, X2> € R1 且<y 1,y2> € R2。
离散数学试题与答案试卷一

试卷二答案:
填空20%(每小题2分)
1、 ; 2、T 3、 4、R={<2,2>,<2,3>,<2,4>,<2,5>,<2,6>,<3,2>,<3,3>,<3,4>,<3,5>,<3,6>,<4,5>,<4,6>,<5,2>,<5,3>,<5,4>,<5,5>,<5,6>}; 5、R={<1,2>,<1,3>,<2,1>};R={<1,1>,<2,2>,<3,3>} 6、a;否;有7、Klein四元群;循环群8、B 9、 ;图中无奇度结点且连通10、渗釤呛俨匀谔鱉调硯錦鋇絨钞。
前提: 、 结论: ……3分
① P
② P
③ US②
④ T①I
⑤ T③④I
⑥ T①I
⑦ T⑤⑥I
⑧ EG⑦……11分
3、10分
证明:
。
4、8分
证明:设G中两奇数度结点分别为u和v,若u,v不连通,则G至少有两个连通分支G1、G2,使得u和v分别属于G1和G2,于是G1和G2中各含有1个奇数度结点,这与图论基本定理矛盾,因而u,v一定连通。铙誅卧泻噦圣骋贶頂廡缝勵罴。
选择20%(每小题2分)
题目
1
2
3
4
5
6
7
8
9
10Biblioteka 答案B、DD;DD
B
D
A
离散数学习题答案.docx

精品文档离散数学习题答案习题一及答案:( P14-15 )14、将下列命题符号化:( 5)李辛与李末是兄弟解:设 p:李辛与李末是兄弟,则命题符号化的结果是p( 6)王强与刘威都学过法语解:设 p:王强学过法语; q:刘威学过法语;则命题符号化的结果是p q ( 9)只有天下大雨,他才乘班车上班解:设 p:天下大雨; q:他乘班车上班;则命题符号化的结果是q p( 11)下雪路滑,他迟到了解:设 p:下雪; q:路滑; r :他迟到了;则命题符号化的结果是( p q)r15、设 p: 2+3=5.q:大熊猫产在中国 .r:太阳从西方升起 .求下列复合命题的真值:( 4)(p q r )(( p q)r )解: p=1, q=1,r=0 ,(p q r )(110)1,((p q)r )((11)0)(00)1(p q r )(( p q)r ) 1 1119、用真值表判断下列公式的类型:( 2)( p p)q解:列出公式的真值表,如下所示:p q p qp) ( p p)q( p001111011010100101110001由真值表可以看出公式有 3 个成真赋值,故公式是非重言式的可满足式。
20、求下列公式的成真赋值:精品文档( 4)( p q)q解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是:( p q)1p0q0q0所以公式的成真赋值有: 01,10, 11。
习题二及答案:( P38)5、求下列公式的主析取范式,并求成真赋值:( 2)(p q) (q r )解:原式( p q) q r q r( p p) q r( p q r ) ( p q r )m3m7,此即公式的主析取范式,所以成真赋值为011, 111。
6、求下列公式的主合取范式,并求成假赋值:( 2)( p q) ( p r )解:原式( pp r ) ( p q r )( p q r )M 4,此即公式的主合取范式,所以成假赋值为 100。
离散数学答案 第九章 特殊代数系统

第九章 特殊的代数系统习题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 =,所以︒满足结合律。
离散数学习题集(十五套含答案)

离散数学试题与答案试卷一一、填空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 是传递的。
离散数学复习题及参考答案

离散数学复习题及参考答案《离散数学II-抽象代数》复习题一单项选择题1、设集合S={a,b},某运算如下定义。
是代数系统的是(A)。
某ab 某ab某ab某abaaaaaa,baabab无baaba,bbbbebba2、关于代数系统的某个二元运算某的幺元,说法正确的是(A)。
A.幺元不一定存在B.若幺元存在,不一定唯一C.除非幺元存在且某运算满足结合律,幺元才唯一D.幺元一定不是零元3、已知代数系统和满同态,S∩S1=Φ。
若中存在幺元某,则(B)。
A.一定存在幺元,幺元还是某B.一定存在幺元,幺元不是某C.不一定存在幺元D.一定不存在幺元4、下列代数系统不是群的是(C)。
.A.S={1,3,4,5,9},某是模11的乘法B.S是有理数,某是一般的加法C.S是有理数,某是一般的乘法D.S是整数,某是一般的加法5、关于群正确的说法是(C)。
A.群一定存在零元B.群一定不存在零元C.群一定存在幺元D.群一定不存在幺元二填空题1、一个代数系统,如果a,b∈S,a某b=b某a/a,b,c∈S,(a某b)某c=a某(b某c),则某满足交换律/结合律。
2、一个代数系统,如果a,b,c∈S,a某(b+c)=(a某b)+(a某c)且(b+c)某a=(b某a)+(c某a),则某对+满足分配律。
3、设是群,对a,b∈G,填写以下证明过程每步的理由。
-1-1-1-1(a某b)某(b某a)=a某(b某b)某(a)某满足结合律=e逆元定义、幺元定义4、设是环,0是环的加法幺元、乘法零元。
对a,b∈R,-a表示a的加法逆元。
填写以下证明过程每步的理由。
(-a)·b=(-a)·b+(a·b+(-(a·b)))a·b+(-(a·b))=0,(-a)·b+0 =(-a)·b=((-a)·b+a·b)+(-(a·b))+满足结合律=((-a)+a)·b+(-(a·b))·对+满足分配律=0·b+(-(a·b))(-a)+a=0=-(a·b)0·b=0,0+(-(a·b))=(-(a·b))三计算题1、设S={a,b,c,d,e},S上的运算某运算表如下:某abcdeaaacbdbabcddcccbbddbdbededdddd(1)某是否有零元?无零元。
离散数学习题集十五套含答案

离散数学试题与答案试卷一一、填空20% (每小题2分)1.设}7|{)},5()(|{<∈=<∈=+xExxBxNxxA且且(N:自然数集,E+正偶数)则=⋃BA{0,1,2,3,4,6} 。
2.A,B,C表示三个集合,文图中阴影部分的集合表达式为ACB-⊕)(。
3.设P,Q 的真值为0,R,S的真值为1,则)()))(((SRPRQP⌝∨→⌝∧→∨⌝的真值= 1 。
4.公式PRSRP⌝∨∧∨∧)()(的主合取范式为)()(RSPRSP∨⌝∨⌝∧∨∨⌝。
5.若解释I的论域D仅包含一个元素,则)()(xxPxxP∀→∃在I下真值为1 。
6.设A={1,2,3,4},A上关系图为则R2 = {<>,<a,c>,<a,d>,<b,d>,<c,d> 。
7.设A={a,b,c,d},其上偏序关系R的哈斯图为则R= {<>,<a,c>,<a,d>,<b,d>,<c,d>}IA。
8.图的补图为9.设A={a,b,c,d} ,A上二元运算如下:* a b c dabcda b c db c d ac d a bd a b c那么代数系统<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 是自反的;A BCB .若R ,S 是反自反的, 则S R 是反自反的;C .若R ,S 是对称的, 则S R 是对称的;D .若R ,S 是传递的, 则S R 是传递的。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 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.求循环群<Z16,+>的所有生成元和子群.
生成元有:1、3、5、7、9、11、13、15
子群有:<0>、<1>、<2>、<4>、<8>.
9.设<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 , ⊙>是群.
10.试写出模6加法群<Z6,+6>的每个子群及其相应的左陪集.
<Z6,+6>的运算表如下所示:
<Z6,+6>的子群:<{0},+6>、<{0,3},+6>、<{0,2,4},+6>和<Z6,+6>.
11.试aH和bH是子群H在G中的两个左陪集.
证明:aH=bH或aH∩bH=
12.试写出群和环的定义.
13.证明偏序集与格的等价。
14.设A={1,2,5,10,11,22,55,110}.
1)A关于整除关系是否构成偏序集?构成偏序集
2)如果构成偏序集合,画出其对应的哈斯图.
3)如果构成偏序集,该偏序集合构成哪种格?(分配格、有界格、有补格、布尔格).
分配格、有界格、有补格、布尔格。