离散数学结构试题集5-6

合集下载

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

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

§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 非空。

离散数学习题集

离散数学习题集

离散数学课外习题集编者:金鹏时间:2008-5-6目录:第一章一、选择题1.由n个命题变元组成不等值的命题公式的个数为()A.2nB.2nC.n2D.2n22.设P:我将去镇上,Q:我有时间。

命题“我将去镇上,仅当我有时间时”符号化为()A.P→QB.Q→PC.P ↔QD.⌝Q∨⌝P3.下列各组公式中,哪组是互为对偶的?()A.P,PB.P, ⌝PC.A,(A*)*D.A,A(其中P为单独的命题变元,A为含有联结词的命题变元)4.设P:我们划船,Q:我们跑步。

命题“我们不能即划船又跑步”符号化为()A. ⌝p∧⌝QB. ⌝P∨⌝QC. ⌝(P↔Q)D.P↔⌝Q5.下面哪一个命题是命题“2是偶数或-3是负数”的否定?()A. 2是偶数或-3不是负数 C. 2是奇数或-3不是负数C.2不是偶数且-3不是负数 D. 2是奇数且-3不是负数6.设P:张三可以作这件事,Q:李四可以作这件事。

命题“张三或李四可以做这件事”符号化为()A.P∨QB.P∨⌝QC.P↔QD. ⌝(⌝P∨⌝Q)7.下列语句中哪个是真命题?()A.我正在说谎。

B.严禁吸烟。

C.如果1+2=3,那么雪是黑的。

D.如果1+2=5,那么雪是黑的。

8.下面哪个联结词运算不可交换?()A.∧B.→C.∨D.↔9.命题公式(P∧ (P→Q)) →Q是()。

A.矛盾式B.蕴含式C.重言式D.等值式10.下面哪个命题公式是重言式?()A.(P→Q)∧(Q→ P)B.(P∧Q)→PC.(⌝P∨Q)∧⌝(⌝P∧⌝Q)D.⌝(P∨Q)11.下列哪一组命题公式是等值的?()A. ⌝P∧⌝Q,P∨QB.A→(B→A),⌝A→(A→⌝B)C.Q→(P∨Q),⌝Q∧ (P∨Q)D.⌝A∨ (A∧B),B12.P→Q的逆反式是()A.Q→⌝PB. P →⌝ QC. ⌝Q→PD. ⌝Q→⌝P13.⌝P→Q的逆反式是()A.Q→⌝PB. P →⌝ QC. Q→⌝PD.P →⌝ Q14.下列命题联结词集合中,哪一个是最小联结词组?()A.{⌝,↔}B.{⌝,∨,∧}C.{↑}D.{∧,→}15.下列联结词集合中,哪一个不是最小联结词组?()A.{⌝,∧}B.{⌝,→}C.{⌝,∧,∨}D.{↑}16.已知A是B的充分条件,B是C的必要条件,D是B的必要条件,则A是D的()A.充分条件B.必要条件C.充要条件D.A、B、C都不对17.⌝P → Q的反换式是()A.Q→⌝PB.⌝P→⌝QC.⌝Q→⌝PD.P→⌝Q18.下面哪一个命题公式是重言式?()A.P→(Q∨R)B.(P∨R)∧(P→Q)C.(P∨Q) ↔ (Q∨R)D.(P→(Q→R)) →((P→Q) →(P→R))19.下列哪个命题公式不是重言式?()A.Q→(P∨Q)B.(P∧Q)→PC.⌝(P∧⌝Q) ∧(⌝P∨Q)D.(P→Q)↔(⌝P∨Q)20.重言式的否定式是()A.重言式B.矛盾式C.可满足式D.蕴含式21. 下面哪一个命题是假命题?()A.如果2是偶数,那么一个公式的析取范式惟一B.如果2是偶数,那么一个公式的析取范式不惟一C.如果2是奇数,那么一个公式的析取范式惟一D.如果2是奇数,那么一个公式的析取范式不惟一22. 下面哪一组命题公式不是等值的?()A.⌝(A→B),A∧⌝BB.⌝(A↔B),(A∧⌝B)∨(⌝A∧B)C.A→(B∨C),⌝A∧(B∨C)D. A→(B∨C),(A∧⌝B)→C23.命题公式P→Q∧R的对偶式为()A.P→(Q∨R)B. P∨ (Q∨R)C.⌝P∨ (Q∧R)D.⌝P∧ (Q∨R)24.命题公式P→(Q↓R)是()A.重言式B.可满足式C.矛盾式D.等值式25.P↔⌝Q⇔()A.⌝P→ (P→⌝Q)B.(⌝P∨Q)∨ (⌝Q∨P)C.(⌝P∨⌝Q)∧(⌝Q∨P)D.(⌝P∨⌝Q)∧(Q∨P)26.命题公式⌝(P∧Q)→R的主析取范式中含极小项的个数为()A.8B.3C.5D.027.命题公式⌝(P∧Q)→R的主析取范式中含极大项的个数为()A.0B.3C.5D.828.命题公式⌝(P∧Q)→R的成真赋值为()A.000,001,110B.001,011,101,110,111C.全体赋值D.无29.如果A⇒B成立,则以下各种蕴含关系哪一个成立?()A.B⇒AB.⌝A⇒⌝BC.⌝B⇒⌝AD.⌝A⇒B二、填空题1.下列句子中,是命题的有(1).我是教师。

离散考试题123456

离散考试题123456

一、证明题(10分)1) (P∧Q∧A→C)∧(A→P∨Q∨C)⇔ (A∧(P↔Q))→C。

P<->Q=(p->Q)合取(Q->p)证明: (P∧Q∧A→C)∧(A→P∨Q∨C)⇔(⌝P∨⌝Q∨⌝A∨C)∧(⌝A∨P∨Q∨C)⇔((⌝P∨⌝Q∨⌝A)∧(⌝A∨P∨Q))∨C反用分配律⇔⌝((P∧Q∧A)∨(A∧⌝P∧⌝Q))∨C⇔⌝( A∧((P∧Q)∨(⌝P∧⌝Q)))∨C再反用分配律⇔⌝( A∧(P↔Q))∨C⇔(A∧(P↔Q))→C2) ⌝(P↑Q)⇔⌝P↓⌝Q。

证明:⌝(P↑Q)⇔⌝(⌝(P∧Q))⇔⌝(⌝P∨⌝Q))⇔⌝P↓⌝Q。

二、分别用真值表法和公式法求(P→(Q∨R))∧(⌝P∨(Q↔R))的主析取范式与主合取范式,并写出其相应的成真赋值和成假赋值(15分)。

主析取范式与析取范式的区别:主析取范式里每个括号里都必须有全部的变元。

主析取范式可由析取范式经等值演算法算得。

证明:公式法:因为(P→(Q∨R))∧(⌝P∨(Q↔R))⇔(⌝P∨Q∨R)∧(⌝P∨(Q∧R)∨(⌝Q∧⌝R))⇔(⌝P∨Q∨R)∧(((⌝P∨Q)∧(⌝P∨R))∨(⌝Q∧⌝R))分配律⇔(⌝P∨Q∨R)∧(⌝P∨Q∨⌝Q)∧(⌝P∨Q∨⌝R)∧(⌝P∨R∨⌝Q)∧(⌝P ∨R∨⌝R)⇔(⌝P∨Q∨R)∧(⌝P∨Q∨⌝R)∧(⌝P∨⌝Q∨R)⇔4M使(非P析取Q析取R)为0所赋真值,即100,二进制M∧5M∧6为4⇔0m∨1m∨2m∨3m∨7m所以,公式(P→(Q∨R))∧(⌝P∨(Q↔R))为可满足式,其相应的成真赋值为000、001、010、011、111:成假赋值为:100、101、110。

真值表法:P Q R Q↔R P→(Q∨R)⌝P∨(Q↔R) (P→(Q∨R))∧(⌝P∨(Q↔R))0 0 0 0 0 1 0 1 00 1 11 0 0 1 0 1 1 1 0 1 1 1 1111111111111111111111由真值表可知,公式(P→(Q∨R))∧(⌝P∨(Q↔R))为可满足式,其相应的成真赋值为000、001、010、011、111:成假赋值为:100、101、110。

离散数学试题与参考答案

离散数学试题与参考答案

离散数学试题与参考答案(总4页)--本页仅作为文档封面,使用时请直接删除即可----内页可以根据需求调整合适字体及大小--《离散数学》试题及答案一、选择题:本题共5小题,每小题3分,共15分,在每小题给出的四个选项中,只有一项是符合题目要求的。

1. 命题公式Q Q P →∨)(为 ( )(A) 矛盾式 (B) 可满足式 (C) 重言式 (D) 合取范式2.设P 表示“天下大雨”, Q 表示“他在室内运动”,则命题“除非天下大雨,否则他不在室内运动”符号化为( )。

(A). P Q →; (B).P Q ∧; (C).P Q ⌝→⌝; (D).P Q ⌝∨.3.设集合A ={{1,2,3}, {4,5}, {6,7,8}},则下式为真的是( ) (A) 1A (B) {1,2, 3}A (C) {{4,5}}A (D) A4. 设A ={1,2},B ={a ,b ,c },C ={c ,d }, 则A ×(B C )= ( )(A) {<1,c >,<2,c >} (B) {<c ,1>,<2,c >} (C) {<c ,1><c ,2>,} (D) {<1,c >,<c ,2>} 5. 设G 如右图:那么G 不是( ). (A)哈密顿图; (B)完全图;(C)欧拉图; (D) 平面图.二、填空题:本大题共5小题,每小题4分,共20分。

把答案填在对应题号后的横线上。

6. 设集合A ={,{a }},则A 的幂集P (A )=7. 设集合A ={1,2,3,4 }, B ={6,8,12}, A 到B 的关系R =},,2,{B y A x x y y x ∈∈=><, 那么R -1=8. 在“同学,老乡,亲戚,朋友”四个关系中_______是等价关系. 9. 写出一个不含“→”的逻辑联结词的完备集 . 10.设X ={a ,b ,c },R 是X 上的二元关系,其关系矩阵为M R =⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001001101,那么R 的关系图为三、证明题(共30分)11. (10分)已知A 、B 、C 是三个集合,证明A ∩(B ∪C)=(A ∩B)∪(A ∩C) 12. (10分)构造证明:(P (Q S))∧(R ∨P)∧Q R S13.(10分)证明(0,1)与[0,1),[0,1)与[0,1]等势。

离散数学第五章习题答案

离散数学第五章习题答案

离散数学第五章习题答案题目1: 定义一个关系R在集合A上,如果对于所有的a, b, c属于A,满足以下条件:- 如果(a, b)属于R,则(b, a)属于R。

- 如果(a, b)属于R且(b, c)属于R,则(a, c)属于R。

证明R是传递的。

答案:根据题目给出的条件,R是对称的和传递的。

首先,对称性意味着如果(a, b)属于R,那么(b, a)也必须属于R。

其次,传递性意味着如果(a, b)和(b, c)都属于R,那么(a, c)也必须属于R。

结合这两个性质,我们可以得出结论:对于任意的a, b, c属于A,如果(a, b)和(b, c)都属于R,那么(a, c)也属于R,从而证明了R的传递性。

题目2: 给定一个函数f: A → B,如果对于A中的每个元素a,都有唯一的b属于B使得f(a) = b,那么称f为单射(或一一映射)。

证明如果函数f是单射,那么它的逆函数f^-1也是单射。

答案:要证明f^-1是单射,我们需要证明对于B中的任意两个元素b1和b2,如果f^-1(b1) = f^-1(b2),则b1 = b2。

假设f^-1(b1) = a且f^-1(b2) = a',其中a, a'属于A。

由于f是单射,我们知道f(a) = b1且f(a') = b2。

根据f^-1的定义,我们有b1 = f(a) = f(a') = b2。

因此,如果f^-1(b1) = f^-1(b2),则b1必须等于b2,这证明了f^-1是单射。

题目3: 证明一个函数f: A → B是满射(或到上映射)当且仅当对于B中的每个元素b,都存在A中的元素a使得f(a) = b。

答案:首先,我们证明如果f是满射,那么对于B中的每个元素b,都存在A 中的元素a使得f(a) = b。

假设f是满射,这意味着B中的每个元素都是A中某个元素的像。

因此,对于B中的任意元素b,我们可以找到一个a属于A,使得f(a) = b。

离散数学考试题及详细参考答案

离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共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→(Q→R)) (R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。

(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(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分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N(写出即可)(6分)三、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。

(每小题5分,共10分)a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x)),x R(x) x P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠ 且B≠ ,关系R满足:<<x1,y1>,<x2,y2>>∈R,当且仅当< x1, x2>∈R1且<y1,y2>∈R2。

(完整版)离散数学试题及答案,推荐文档

(完整版)离散数学试题及答案,推荐文档

11 设 A,B,R 是三个集合,其中 R 是实数集,A = {x | -1≤x≤1, xR}, B = {x | 0≤x < 2, xR},则
A-B = __________________________ , B-A = __________________________ ,
A∩B = __________________________ , . 13. 设集合 A={2, 3, 4, 5, 6},R 是 A 上的整除,则 R 以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式 G = xP(x)xQ(x),则 G 的前束范式是__________________________
二、选择题
1. C. 2. D. 3. B. 4. B.
5. D. 6. C. 7. C.
8. A. 9. D. 10. B. 11. B.
第 5 页 共 18 页
13. {(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)}.
14. x(P(x)∨Q(x)). 15. 21.
16. (R(a)∧R(b))→(S(a)∨S(b)). 17. {(1, 3),(2, 2)}; {(1, 1),(1, 2),(1, 3)}.
8. 设命题公式 G=(P(QR)),则使公式 G 为真的解释有
__________________________,_____________________________,
__________________________.

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

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

离散数学练习题(含答案)离散数学试题第一部分选择题1.下列命题变元p,q的小项是(C)。

A。

p∧┐p∧qB。

┐p∨qC。

┐p∧qD。

┐p∨p∨q2.命题“虽然今天下雪了,但是路不滑”可符号化为(D)。

A。

p→┐qB。

p∨┐qC。

p∧qD。

p∧┐q3.只有语句“1+1=10”是命题(A)。

A。

1+1=10B。

x+y=10___<0D。

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的辖域是“Q(x,z)→(x)(y)R(x,y,z)”(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={。

}∪IA则对应于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。

{Ø,{Ø}}∈BB。

{{Ø,Ø}}∈BC。

{{Ø},{{Ø}}}∈BD。

{Ø,{{Ø}}}∈B8.集合相对补运算中,不正确的等式是(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的最大公约数)D。

离散数学结构试题集5-6

离散数学结构试题集5-6

第5章一.填空题1. 群中有唯一的()。

2. 如果群运算是可交换的,则群为()。

3. 设*是定义在集合A上的二元运算,如果对于A中任意的两个元素x,y,都有x*y∈A,则称二元运算*在A上是()。

4. 设*是定义在集合A上的二元运算,如果对于A中任意的两个元素x,y,都有x*y=y*x,则称二元运算*在A上是()。

5. 设★是定义在有理数集合Q上的二元运算,如果对于Q中任意的两个元素x,y,都有x★y=x+y-x*y,其中*表示普通乘法元算,则二元运算★在Q上是()。

(填写可交互/不可交换)6. 设*是定义在集合A上的二元运算,如果对于A中任意的元素x,y,z,都有(x*y)*z=x*(y*z) ,则称二元运算*在A上是()。

7. 设★是定义在非空集合A上的二元运算,如果对于A中任意的两个元素x,y,都有x*y=y,则二元运算★在A上是()。

(填写可结合/不可结合)8. 设*,★是定义在集合A上的两个二元运算,如果对于A中任意的元素x,y,z,都有(x*y) ★z=(x★z)*(y★z),z★(x*y)=(z★x)*(z★y),则称二元运算★对于*在A上是()。

9. 设*,★是定义在集合A上的两个可交换的二元运算,如果对于A中任意的元素x,y,都有x*(x★y)=x, x★(x*y)=x,则称二元运算*对于★在A上满足()。

10. 设*是定义在集合A上的二元运算,如果对于A中任意的元素x,都有x*x=x,则称二元运算*是()。

11. 设*是定义在集合A上的二元运算,如果在A中存在元素el,对于A中任意的元素x,都有el*x=x,则称el为A中关于运算*的()。

12. 设*是定义在集合A上的二元运算,如果在A中存在元素ol,对于A中任意的元素x,都有ol*x=x,则称ol为A中关于运算*的()。

13. 设*是定义在集合A上的二元运算,如果在A中存在元素er,对于A中任意的元素x,都有x*erl =x,则称er为A中关于运算*的()。

离散数学习题集(十五套)---答案.docx

离散数学习题集(十五套)---答案.docx

离散数学试题与答案试卷一一、填空20%(每小题 2 分)1.设A{ x | ( x N )且 ( x5)}, B{ x | x E 且 x7}( N:自然数集, E+正偶数)则 A B。

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

C 3.设 P,Q 的真值为0,R, S 的真值为1,则(P(Q(R P)))( R S)的真值 =。

4.公式( PR)(S R)P的主合取范式为。

5.若解释 I 的论域 D 仅包含一个元素,则xP( x)xP( x)在 I 下真值为。

6.设 A={1 ,2, 3, 4} , A 上关系图为则 R2 =。

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

8.图的补图为。

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

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

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

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

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

A . 23;B . 32;C. 23 3;D.32 2。

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

5、设 A={1 ,2, 3, 4} , P( A )(A 的幂集)上规定二元系如下R{s,t| s,t p( A)(| s || t |}则 P(A ) / R=()A . A; B. P(A) ; C. {{{1}} , {{1 , 2}} , {{1 ,2, 3}} , {{1 , 2, 3, 4}}} ;D. {{} ,{2}, {2 ,3} , {{2 , 3, 4}} , {A}}6、设 A={, {1} , {1 , 3} , {1 , 2, 3}} 则 A上包含关系“”的哈斯图为()7、下列函数是双射的为()A . f : I E , f (x) = 2x;B. f : N N N, f (n) = <n , n+1> ;C. f : R I , f (x) = [x]; D . f :I N, 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章一.填空题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. 在除﹁之外的四大联结词中,满足结合律的有几个( )。

A. 2B.3C. 4D. 14. 判断下列语句哪个是命题( )。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。

答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。

答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。

答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。

答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。

答案:欧拉路径是一条通过图中每条边恰好一次的路径。

2. 解释什么是二元关系,并给出一个例子。

答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。

例如,小于关系就是一个二元关系。

3. 请说明什么是递归函数,并给出一个简单的例子。

答案:递归函数是一种通过自身定义来计算函数值的函数。

例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。

四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。

2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。

答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。

《离散数学》复习练习题带答案(六)

《离散数学》复习练习题带答案(六)

离散数学试题带答案四、证明题1. 设<G ,*>是群,具有幺元e ,如果对G 的任意元素a ,都有 a²=e, 则<G ,*>是交换群2. 形式证明q s p r s r q p ⇒∧⌝→∨→,,3. 证明:P →(Q →R)⇔P ∧Q →R.4.试证明:R S Q P S R Q P →⇒∧∨⌝∧→→)())(( 5.试证明:Q R R Q Q P ⌝⇒⌝∧∨⌝∧⌝∧⌝)()( 6. 证明:)()(x xB x xA ∀→∃⇒))()((x B x A x →∀7.设G 是图,无回路,但若外加任意一条边于G 后,就形成一回路. 试证明G 必为树. 8. 设B 是任意集合,试验证(P(B),⊕)是群. P(B)是集合B 的幂集,⊕是集合的对称差运算, 9.给定代数系统(G,+,*), 二元运算见表一,表二.表一 表二证明(G ,+,*)是域.10. 证明如果非空集合A 上的二元关系R 和S 是偏序关系,则S R ⋂也是A 上的偏序关系. 11.试证A -(B -C)=(A -B)⋃(A ⋂C)12.设非空集合A ,验证(A A P ,~,,,),(∅⋂⋃)是布尔代数,13. 试证明属于关系不满足传递性,即对于任意的集合A,B,C 若A ∈B 且B ∈C 不一定有 A ∈C14.设 A,B 为两个集合,证明 A —B=A 当且仅当A ∩B= ø15. 设R,S 都是非空集合A 上的二元关系,且他们是对称的,证明:RoS 具有对称性当且仅当 RoS=SoR.16. 已知g :A->B,f :B->C1) 已知fog 是单射的且g 是满射的,证明f 是单射的 2) 已知fog 是满射的且f 是单射的,证明g 是满射的 17.设A 是传递集,证明A+也是传递集。

18.设G 是n 阶无向简单图,其直径为d(G)=2, ο(G)=n-2,证明G 的边数m ≥2n-4 19.V=<S,*>是可交换半群,若a,b ∈S 是V 中得幂等元,证明a*b 也是V 中的幂等元20.设 L 是格,证明对于任意a,b,c,d ∈L 有:( a ∧b)∨(c ∧d)≤(a ∨c)∧(b ∨d)五、计算题1. 无向树T 有2个2度顶点,1个3度顶点,3个4度顶点,其他的都是树叶,问T 中有多少片树叶?2. 设公式()()x Q x P → ,其中P(x):x>2,Q(x):x=0,F 是永假式,个体域是{1,2},求公式A(x)的真值 3. 设集合X={1,2,3, 4},X 中的关系为F={<1,1>,<1,2>,<1,4>,<2,1>,<2,2>,<3,3>,<4,1>,<4,4>} 写出F 的关系矩阵及其关系图,F 有哪些性质?4. (1) n(n ≥1)阶无向完全图与有向完全图各有多少条边?为什么? (2)完全二部图K m n ,中共有多少条边?为什么?(3) 每个顶点的度都为k 的无向图称为k 正则图,问:n 阶k 正则图中共有多少条边?为什么?5. 设集合L={a ,b},在L 中规定 + 和·如下:a+a=a ,a+b=b+a=b ,b+b=b a ·a=a ,a ·b=b ·a=a ,b ·b=b问<L ,+,·>能构成代数系统吗?若可以,写出该代数系统的运算表。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、单项选择题(每题2分,共10分)1. 集合A={1,2,3},集合B={2,3,4},则A∩B等于:A. {1,2,3}B. {2,3}C. {1,4}D. {3,4}答案:B2. 以下哪个命题是真命题?A. 所有天鹅都是白色的。

B. 有些天鹅不是白色的。

C. 所有天鹅都不是白色的。

D. 没有天鹅是白色的。

答案:B3. 函数f: A→B的定义域是A,值域是B,那么f是:A. 单射B. 满射C. 双射D. 既不是单射也不是满射答案:D4. 逻辑表达式(p∧q)→r的逆否命题是:A. ¬r→¬(p∧q)B. ¬r→¬p∨¬qC. r→(p∧q)D. ¬r∧¬p∨¬q答案:B5. 有限集合A={a, b, c}的子集个数为:A. 3B. 4C. 7D. 8答案:D二、填空题(每题3分,共15分)1. 如果一个关系R在集合A上是自反的,那么对于A中的每一个元素a,都有___________。

答案:(a, a)∈R2. 命题逻辑中,合取(AND)的逻辑运算符用___________表示。

答案:∧3. 在图论中,一个连通图是指图中任意两个顶点之间都存在___________。

答案:路径4. 集合{1, 2, 3}的幂集包含___________个元素。

答案:85. 如果一个函数f是单射,那么对于任意的x1, x2∈A,如果f(x1)=f(x2),则x1___________x2。

答案:=三、解答题(每题10分,共20分)1. 证明:若p是q的充分条件,q是r的充分条件,则p是r的充分条件。

证明:假设p成立,由于p是q的充分条件,所以q成立。

又因为q是r的充分条件,所以r成立。

因此,p成立可以推出r成立,即p是r的充分条件。

2. 给定一个有向图,其中包含顶点A、B、C、D,边为(A, B),(B, C),(C, D),(D, A),(A, C)。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案离散数学是一门涉及离散结构和逻辑推理的数学学科。

它在计算机科学、信息技术和其他领域中具有重要的应用价值。

离散数学考试试题涵盖了离散数学的各个方面,包括集合论、图论、逻辑、代数结构等。

本文将为大家提供一些离散数学考试试题及答案,希望能帮助大家更好地理解和掌握这门学科。

一、集合论1. 设A={1,2,3,4,5},B={3,4,5,6,7},求A与B的交集、并集和差集。

答案:A与B的交集为{3,4,5},并集为{1,2,3,4,5,6,7},A与B的差集为{1,2}。

2. 设集合A={x|x是正整数,1≤x≤10},B={x|x是偶数,2≤x≤8},求A与B的笛卡尔积。

答案:A与B的笛卡尔积为{(1,2),(1,4),(1,6),(1,8),(2,2),(2,4),(2,6),(2,8),...,(10,2),(10,4),(10,6),(10,8)}。

二、图论1. 给定图G,其邻接矩阵如下:| 0 1 1 0 || 1 0 0 1 || 1 0 0 1 || 0 1 1 0 |判断图G是否是连通图,并给出其连通分量。

答案:图G是连通图,其连通分量为{1,2,3,4}。

2. 给定图G,其邻接表如下:| 1 | 2 || 3 | 2 4 || 4 | 3 |判断图G是否是树,并给出其生成树。

答案:图G是树,其生成树为{1-2, 2-3, 3-4}。

三、逻辑1. 判断命题逻辑公式((p∨q)→r)∧(¬p∨¬q)的真值。

答案:命题逻辑公式((p∨q)→r)∧(¬p∨¬q)的真值为真。

2. 判断命题逻辑公式∀x(P(x)∧Q(x))→(∀xP(x)∧∀xQ(x))的真值。

答案:命题逻辑公式∀x(P(x)∧Q(x))→(∀xP(x)∧∀xQ(x))的真值为假。

四、代数结构1. 设集合S={0,1,2,3,4},定义运算*如下:a*b = (a+b)%5其中%表示取余运算。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、填空题1 设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=; ρ(A) - ρ(B) =.2. 设有限集合A, |A| = n, 则|ρ(A×A)| = .3.设集合A = {a, b}, B = {1, 2}, 则从A 到B 的所有映射是, 其中双射的是.4.已知命题公式G=⌝(P→Q)∧R,则G 的主析取范式是.5.设G 是完全二叉树,G 有7 个点,其中4 个叶点,则G 的总度数为,分枝点数为.6 设A、B 为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B=; A⋃B=;A-B=.7.设R 是集合A 上的等价关系,则R 所具有的关系的三个特性是,, .8.设命题公式G=⌝(P→(Q∧R)),则使公式G 为真的解释有,, .9. 设集合 A={1,2,3,4}, A 上的关系 R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则R1•R2 =,R2•R1 = , R12= .10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A⨯B)| = .11 设A,B,R 是三个集合,其中R 是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = , B-A = ,A∩B = , .13.设集合A={2, 3, 4, 5, 6},R 是A 上的整除,则R 以集合形式(列举法)记为.14.设一阶逻辑公式G = ∀xP(x)→∃xQ(x),则G 的前束范式是.15.设G 是具有8 个顶点的树,则G 中增加条边才能把G 变成完全图。

16.设谓词的定义域为{a, b},将表达式∀xR(x)→∃xS(x)中量词消除,写成与之对应的命题公式是.17. 设集合 A={1, 2, 3, 4},A 上的二元关系 R={(1,1),(1,2),(2,3)}, S={(1,3),(2,3),(3,2)}。

交大版《离散的数学结构》标准答案

交大版《离散的数学结构》标准答案

交大版《离散的数学结构》标准答案离散数学辅助教材概念分析、结构思维和推理证明离散数学习题解答习题六(第六章图论)1.列出日常生活中的三个例子,自然地从这些例子中导出两个无向图和一个有向图。

[解]①用v代表全国城市的集合,e代表各城市间的铁路线的集合,则所成之图g=(v,e)是全国铁路交通图。

是一个无向图。

② V代表中国象棋中的格点集,e代表任意两个相邻小方块的对角线集,那么图G=(V,e)就是“马”在中国象棋中可以走的路线图。

是一个无向图。

③用v代表fortran程序的块集合,e代表任两个程序块之间的调用关系,则所成之图g+(v,e)是fortran程序的调用关系图。

是一个有向图。

2.画出下左图的补图。

[解决方案]左图的补充图如右图所示。

3.证明下面两图同构。

图11v1′v6v6′v2′v5v5′[证明]双射函数的存在性?:五、→ V'和双射函数?:E→e′?(v1)=v1′?(v2)=v2′?(v3)=v3′?(v4)=v4′?(v5)=v5′?(v6)=v6′(v1,v2)=(v1′,v2′?(v2,v3)=(v2′,v3′?(v3,v4)=(v3′,v4′?(v4,v5)=(v4′,v5)?(v5,v6)=(v5′,v6′?(v6,v1)=(v6′,v1′?(v1,v4)=(v1′,v4′?(v2,v5)=(v2′,v5′?(v3,v6)=(v3′,v6′)显然使下式成立:(vi,vj)=(vi,vj′)??(vi)=vi′∧? (VJ)=VJ'(1≤ ij≤ 6)那么图G与图G’同构。

4.证明(a),(b)中的两个图都是不同构的。

v1v5v2Gg′Gg′v6v8v7v4v1?v5?v3v2?v6?v8?v7?v3?v3v4?v2v1v5v2?v4v3?v1?v5v4?二图g中有一个长度为4的圈v1v2v6v5v1,其各顶点的度均为3点,而在图g′中却没有这样的圈,因为它中的四个度为3的顶点v1?,v5?,v7?,v3?不成长度的4的圈。

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

一.填空题1. 群中有唯一的()。

2. 如果群运算是可交换的,则群为()。

3. 设*是定义在集合A上的二元运算,如果对于A中任意的两个元素x,y,都有x*y∈A,则称二元运算*在A上是()。

4. 设*是定义在集合A上的二元运算,如果对于A中任意的两个元素x,y,都有x*y=y*x,则称二元运算*在A上是()。

5. 设★是定义在有理数集合Q上的二元运算,如果对于Q中任意的两个元素x,y,都有x ★y=x+y-x*y,其中*表示普通乘法元算,则二元运算★在Q上是()。

(填写可交互/不可交换)6. 设*是定义在集合A上的二元运算,如果对于A中任意的元素x,y,z,都有(x*y)*z=x*(y*z),则称二元运算*在A上是()。

7. 设★是定义在非空集合A上的二元运算,如果对于A中任意的两个元素x,y,都有x*y=y,则二元运算★在A上是()。

(填写可结合/不可结合)8. 设*,★是定义在集合A上的两个二元运算,如果对于A中任意的元素x,y,z,都有(x*y) ★z=(x★z)*(y★z),z★(x*y)=(z★x)*(z★y),则称二元运算★对于*在A上是()。

9. 设*,★是定义在集合A上的两个可交换的二元运算,如果对于A中任意的元素x,y,都有x*(x★y)=x, x★(x*y)=x,则称二元运算*对于★在A上满足()。

10. 设*是定义在集合A上的二元运算,如果对于A中任意的元素x,都有x*x=x,则称二元运算*是()。

11. 设*是定义在集合A上的二元运算,如果在A中存在元素el,对于A中任意的元素x,都有el*x=x,则称el为A中关于运算*的()。

12. 设*是定义在集合A上的二元运算,如果在A中存在元素ol,对于A中任意的元素x,*x=x,则称ol为A中关于运算*的()。

13. 设*是定义在集合A上的二元运算,如果在A中存在元素er,对于A中任意的元素x,都有x*erl =x,则称er为A中关于运算*的()。

14. 设*是定义在集合A上的二元运算,如果在A中存在元素or,对于A中任意的元素x,都有x*or=x,则称or为A中关于运算*的()。

15. 如果对于集合中的二元运算*,存在左零元和右零元,且左零元等于右零元,则零元是()。

16. 如果对于集合中的二元运算*,存在左么元和右么元,且左么元等于右么元,则么元是()。

17. 设*是定义在集合A上的二元运算,且e是A中关于运算*的么元,如果对于A中的元素x,存在A中的元素y,有y*x=e,则称y为x的()。

18. 对于实数域上的乘法元算,每个元素()逆元。

(填写一定有/不一定有)19. 对于实数域上的加法运算,()零元。

(填写存在/不存在)20. 对于整数域上的加法运算,()么元。

(填写存在/不存在)21. 对于非空集合S上二元运算*,是封闭且可结合的,那么<S,*>叫做()。

22. 正整数上的加法运算()半群。

(填写是/不是)23. 实数域上的除法运算()半群。

(填写是/不是)24. 整数域上的加法运算()群。

(填写是/不是)25. .如果群的运算满足交换率,则这个群叫()。

26. 循环群()生成元。

(填写必有/不一定有)27. 设f是由<A, ★>到<B,*>的一个同态,如果f( ),则称f为满同。

28. 设f是由<A, ★>到<B,*>的一个同态,如果f( ),则称f为同构的。

29. 设f是群<A, ★>到<B,*>的一个同态映射,如果e’是B中的么元,Ker(f)=( ),则称Ker(f)为同态映射f的核。

30. 设R是代数系统<A, ★>上的一个等价关系,如果当<a,b>,<c,d>∈R时,蕴含着<a★c,b★d>∈R,则称R为A上关于★的()。

二.选择题1. 下面那个性质不是群必有的?()A)运算的封闭性 B)幺元 C)零元 D)运算的交换性2. 设集合A={1,2,…,10},下面定义的那个二元运算*关于A不封闭?()A)x*y=max(x,y) B)x*y=质数p的个数,使得x<=p<=yC)x*y=min(x,y) D)x*y=((x+y)mod 10)+13. <S,*>是一个半群,如果S是一个有限集,则必有()A)幺元 B)零元 C)等幂元 D)不确定4. 下面那个代数系统表示的范围最大?()A)群 B)半群 C)阿贝尔群 D)独异点5. 同构关系必然是一个()A)等价关系 B)偏序关系 C)同余关系 D)同态关系6. 在自然数集N上,下列哪种运算是可结合的?()A) a*b=a-b B) a*b=max{a,b} C) a*b=a+2b D) a*b=|a-b|7. 同构关系必然是一个()A.等价关系 B.偏序关系 C.同余关系 D.相容关系8. 设<G,*>是群,a,b∈G,则下列结论不正确的是()A.(a*b)-1=b-1*a-1 B.a*x=b有唯一解C.a*x=a*y,则x=y D.a*b=b*a9. 下面那个运算不满足运算的封闭性?()A)自然数上的加法 B)有理数上的乘法 C)1到10之间的模11加法 D)0到9之间的模10加法10. 下面那个不满足结合律?()A)自然数上的加法 B)有理数上的乘法 C)自然数上的max(a,b) D)自然数上的减法11. 对于代数系统<Nk,+k>,Nk ={0,1,…,k-1},+k是定义在Nk上的模k加法,下面说法不对的是:()A)有零元 B)有么元 C)每个元素都有逆元 D)<Nk,+k>是半群12. 下面关于半群的说法正确的是()A)必有零元 B)必有么元 C)必然服从交换律 D)必然服从结合律13. 若果<S,*>为半群,且S是有限集合,则以下说法正确的是()A)必有a∈S,且a*a=a B) 必有a∈S,且a*b=bC)必有零元 D)必有零元14. 关于独异点,下列说法正确的是()A)必有零元 B)必有等幂元 C)必有么元 D)必然满足交换律15. 以下说法不正确的是()A)群表示范围比半群小 B)交换群表示范围比半群小C)阿贝尔群表示范围比群小 D)广群表示的范围比半群小16. 下面关于群的说法不正确的是()A)必有零元 B)必有么元 C)每个必然有逆元 D)必然服从结合律17. 下面那个是群?()A)自然数上的乘法 B)实数域上的乘法 C) 0到9之间的模10加法 D) 0到9之间的模10乘法18. 下面关于群<G,*>的说法不正确的是()A)对于任a,b∈G,存在唯一的x∈G,使得a*x=bB)对于任a,b,c∈G,若有a*b=a*c,则必有b=cC)任a∈G,必有唯一的x∈G,使得a*x=e,e为么元D) 任a∈G,必有唯一的x∈G,使得a*x=x,x为零元19. 下面关于群的说法正确的是()A)没有等幂元 B) 有1个等幂元 C)有2个等幂元 D)和群的阶数有关20. 设<G,*>为一个群,下面关于G的子群的说法正确的是()A)如果S是G的非空子集且*在S上是封闭的,则<S,*>就是<G,*>的子群B) 如果S是G的非空子集且含有么元,则<S,*>就是<G,*>的子群C) 如果S是G的非空子集,且对于任意S中的连个元素a,b都有a*b-1∈G,则<S,*>就是<G,*>的子群D) 如果S是G的非空子集,且<S,*>是半群,则<S,*>就是<G,*>的子群21. 下列说法那个是错误的。

()A)循环群必定是阿贝尔群 B)循环群必定有等幂元 C)阿贝尔群必定是循环群 D)循环群必定是交换群22. 下列那个说法是正确的?()A)同态一定是同构的 B)同构一定是同态的 C)同态一定是同余的D)同态一定是等价的23. 如果f:R->R,对于任意的x∈R,f(x)=5x,则f是从<R,+>到<R,*>的一个()A)单一同态 B)满同态 C)双射同态 D)同构24. 含有3个元素的群有()种情形。

A)1 B) 2 C) 3 D)025. .设G是非零乘法群,判断下列哪个f不是G到G的同态映射。

()A)f(x)=|x| B)f(x)=-x C)f(x)=x+1 D)f(x)=1/x26. 下面关于群的说法不正确的是:()A)有么元 B)有零元 C)每个元素都有逆元 D)满足结合律27. .下面那个是群。

()A)整数域上的加法运算 B)实数域上的乘法运算 C)自然数域上的除法运算 D)整数1到5之间的模6加法运算28. .如果<A,+,*>是一个环,下列关于环的说法错误的是()。

A)<A,+>是阿贝尔群 B)<A-{θ},*>是阿贝尔群 C)运算*对于+是可分配的D)运算+对于*是可分配的29. 关于独异点说法错误的是()。

A)必有左么元 B)必有右零元 C)必然满足结合律 D)必是含么半群30. 关于阿贝尔群说法错误的是()。

A)必有左么元 B)必有右零元 C)必然满足交换律 D)必是半群三.判断题1. 半群一定是独异点。

( )2. 代数系统中有可能有很多个左零元和右零元,它们有可能相等,也有可能不等。

( )3. 群中不可能有零元。

( )4. 群中的某些元素可能有多个不同的逆元。

()5. 群的运算一定符合交换律。

()6. 如果定义在集合A上的*运算既有左零元,又有右零元,那么必有唯一的零元。

()7. 循环群必有等幂元。

()8. 有等幂元的群一定是有限群。

()9. 阿贝尔群运算一定符合交换律。

()10. 有限群一定有么元。

()11. 含有零元的半群叫独异点。

()12. 在群中,出了么元外,可能还还有其他等幂元。

()13. 对一个群<G,*>,它的任意一个非空有限子集B, 如果*在B上封闭,则<B,*>一定也是群。

()14. .循环群一定是阿贝尔群。

()15. 同构的一定是同态的。

()16. 同态可以诱导一个唯一的等价关系。

()17. .f是代数系统<A,*>到代数系统<B, ★>的同态映射,如果<A,*>半群,则在f作用下,同态象<f(A), ★>也是半群。

()18. 循环群中必有零元。

()19. <R-{0},*>(*表示乘法)与<R,+>同构。

()20. 定义在自然数集合上的模k加法是一个群。

()四.计算题1. 验证二元运算在实数集上是否满足交换律和结合律?2. 对于实数集合R,在下面表格中填写“是”或“否”3..设G={[1],[2].[3],[4],[5],[6]},G上的二元运算如表所示。

相关文档
最新文档