离散数学试卷二十三试题与答案
离散数学试题及答案
离散数学试题及答案一、选择题1. 设A、B、C为三个集合,下列哪个式子是成立的?A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案:B2. 对于一个有n个元素的集合S,S的幂集中包含多少个元素?A) \(n\)B) \(2^n\)C) \(2 \times n\)答案:B二、判断题1. 对于两个关系R和S,若S是自反的,则R ∩ S也是自反的。
答案:错误2. 若一个关系R是反对称的,则R一定是反自反的。
答案:正确三、填空题1. 有一个集合A,其中包含元素1、2、3、4和5,求集合A的幂集的大小。
答案:322. 设a和b是实数,若a \(\neq\) b,则a和b之间的关系是\(\__\_\)关系。
答案:不等四、解答题1. 证明:如果关系R是自反且传递的,则R一定是反自反的。
解答:假设关系R是自反的且传递的,即对于集合A中的任意元素x,都有(x, x) ∈ R,并且当(x, y) ∈ R和(y, z) ∈ R时,(x, z) ∈ R。
反证法:假设R不是反自反的,即存在一个元素a∈A,使得(a, a) ∉ R。
由于R是自反的,所以(a, a) ∈ R,与假设矛盾。
因此,R一定是反自反的。
答案完整证明了该结论。
2. 已知集合A={1, 2, 3},集合B={2, 3, 4},求集合A和B的笛卡尔积。
解答:集合A和B的笛卡尔积定义为{(a, b) | a∈A,b∈B}。
所以,集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
离散数学试题与参考答案
离散数学试题与参考答案(总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]等势。
《离散数学》考试试卷(试卷库20卷)及答案
《离散数学》考试试卷(试卷库20卷)及答案第 1 页/共 4 页《离散数学》考试试卷(试卷库20卷)试题总分: 100 分考试时限:120 分钟、选择题(每题2分,共20分)1. 设论域为全总个体域,M(x):x 是人,Mortal(x):x 是要死的,则“人总是要死的”谓词公式表示为( )(A ))()(x Mortal x M → (B ))()(x Mortal x M ∧(C )))()((x Mortal x M x →?(D )))()((x Mortal x M x ∧?2. 判断下列命题哪个正确?( )(A )若A∪B=A∪C,则B =C (B ){a,b}={b,a}(C )P(A∩B)≠P(A)∩P (B)(P(S)表示S 的幂集)(D )若A 为非空集,则A ≠A∪A 成立3. 集合},2{N n x x A n∈==对( )运算封闭(A )乘法(B )减法(C )加法(D )y x -4. 设≤><,N 是偏序格,其中N 是自然数集合,“≤”是普通的数间“小于等于”关系,则N b a ∈?,有=∨b a ( )(A )a(B )b(C )min(a ,b)(D ) max(a ,b)5. 有向图D=,则41v v 到长度为2的通路有( )条(A )0 (B )1 (C )2 (D )36. 设无向图G 有18条边且每个顶点的度数都是3,则图G 有( )个顶点(A )10 (B )4 (C )8 (D )127. 下面哪一种图不一定是树?()(A )无回路的连通图(B )有n 个结点n-1条边的连通图(C )每对结点间都有通路的图(D )连通但删去一条边则不连通的图 8. 设P :我将去镇上,Q :我有时间。
命题“我将去镇上,仅当我有时间”符号化为()(A )P →Q (B )Q →P (C )P Q (D )Q P ?∨? 9. 下列代数系统中,其中*是加法运算,()不是群。
(完整版)离散数学题目及答案
数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。
C.2是偶数。
D.铅球是方的。
2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。
离散数学考试题及详细参考答案
离散数学考试题(后附详细答案)一、命题符号化(共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。
离散数学考试题及答案
离散数学考试题及答案一、选择题1. 关于图论的基本概念,以下哪个说法是正确的?A. 无向图中的边无方向性,有向图中的边有方向性。
B. 有向图中的边无方向性,无向图中的边有方向性。
C. 无向图和有向图都是由顶点和边组成的。
D. 无向图和有向图都只由边组成。
答案:A2. “若顶点集合为V,边集合为E,那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述?A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案:D3. 以下哪个命题是正确的?A. 若集合A和B互相包含,则A和B相等。
B. 若集合A和B相交为空集,则A和B相等。
C. 若集合A和B相等,则A和B互相包含。
D. 若集合A和B相等,则A和B相交为空集。
答案:C二、填空题1. 有一个集合A = {1, 2, 3, 4},则集合A的幂集的元素个数为__________。
答案:162. 设A = {a, b, c},B = {c, d, e},则集合A和B的笛卡尔积为__________。
答案:{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题,q、r为假命题,则合取范式(p ∨ q ∨ r)的值为__________。
答案:真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。
答案:交集:{3, 4}并集:{1, 2, 3, 4, 5, 6}差集:{1, 2}2. 计算下列命题的真值:(~p ∨ q) ∧ (p ∨ ~q),其中p为真命题,q为假命题。
答案:真四、证明题证明:对于任意集合A和B,如果A和B互相包含,则A和B相等。
证明过程:假设A和B互相包含,即A包含于B且B包含于A。
设x为集合A中的任意元素,则x也必然存在于集合B中,即x属于B。
同理,对于集合B中的任意元素y,y也属于集合A。
离散数学自考试题及答案
离散数学自考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,下列哪个命题是永真命题?A. (p ∧ ¬p) → qB. p ∨ (q ∧ ¬q)C. (p → q) ∧ (q → p)D. ¬(p → ¬p)答案:B3. 函数f: A → B中,如果A中的每个元素都映射到B中的不同元素,则称f为:A. 注入函数B. 满射C. 双射D. 单射答案:C4. 在图论中,下列哪项不是无向图的基本术语?A. 顶点B. 边C. 路径D. 子图答案:D5. 以下哪个算法用于判断一个图是否包含汉密尔顿回路?A. 深度优先搜索B. 广度优先搜索C. 弗洛伊德算法D.Dijkstra算法答案:A6. 命题逻辑中,德摩根定律描述了哪些命题的等价关系?A. ¬(p ∧ q) ≡ ¬p ∨ ¬qB. ¬(p ∨ q) ≡ ¬p ∧ ¬qC. ¬(p → q) ≡ p ∧ ¬qD. 所有以上答案:D7. 在关系数据库中,下列哪个操作用于删除表中的行?A. SELECTB. INSERTC. DELETED. UPDATE答案:C8. 以下哪个是有限自动机的组成部分?A. 状态B. 转移C. 输入D. 所有以上答案:D9. 在布尔代数中,下列哪个操作不是基本操作?A. ANDB. ORC. NOTD. XOR答案:D10. 以下哪个是命题逻辑中的有效论证形式?A. 假言三段论B. 假言推理C. 析取三段论D. 所有以上答案:D二、填空题(每题2分,共20分)11. 在集合{1, 2, 3}的幂集中,含有2个元素的子集有_________。
答案:{{1, 2}, {1, 3}, {2, 3}}12. 如果命题P表示“今天是晴天”,命题Q表示“我去公园”,那么(P ∧ Q)表示_________。
离散数学考试题及答案
离散数学考试题及答案一、选择题(每题5分,共20分)1. 下列哪个选项不是离散数学的研究对象?A. 图论B. 组合数学C. 微积分D. 逻辑学答案:C2. 在逻辑学中,下列哪个命题是真命题?A. 如果今天是周一,那么明天是周二。
B. 如果今天是周一,那么明天是周三。
C. 如果今天是周一,那么明天是周四。
D. 如果今天是周一,那么明天是周五。
答案:A3. 在集合论中,下列哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 在图论中,下列哪个术语描述的是图中的顶点集合?A. 边B. 路径C. 子图D. 顶点答案:D二、填空题(每题5分,共20分)1. 如果一个集合A包含5个元素,那么它的子集个数是______。
答案:322. 在逻辑学中,如果命题P和命题Q都是真命题,那么复合命题“P且Q”的真值是______。
答案:真3. 在图论中,如果一个图的顶点数为n,那么它的最大边数是______。
答案:n(n-1)/24. 如果一个二叉树的深度为3,那么它最多包含______个节点。
答案:7三、简答题(每题10分,共30分)1. 请简述什么是图的连通性,并给出一个例子。
答案:图的连通性是指在图中任意两个顶点之间都存在一条路径。
例如,在一个完全图K3中,任意两个顶点之间都可以通过一条边直接连接,因此它是连通的。
2. 解释什么是逻辑蕴含,并给出一个例子。
答案:逻辑蕴含是指如果一个命题P为真,则另一个命题Q也必须为真。
例如,命题P:“如果今天是周一”,命题Q:“明天是周二”。
如果今天是周一,那么根据逻辑蕴含,明天必须是周二。
3. 请描述什么是二叉搜索树,并给出它的一个性质。
答案:二叉搜索树是一种特殊的二叉树,其中每个节点的左子树只包含小于当前节点的数,右子树只包含大于当前节点的数。
它的一个性质是中序遍历可以得到一个有序序列。
四、计算题(每题15分,共30分)1. 给定一个集合A={1, 2, 3, 4, 5},请计算它的幂集,并列出所有元素。
离散数学试题及答案
离散数学试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个选项不是集合的运算?A. 并集B. 交集C. 差集D. 乘法2. 命题逻辑中,下列哪个命题是真命题?A. (P ∧ ¬P) → QB. (P ∨ Q) ∧ ¬(P ∧ Q)C. P → (Q → P)D. (P → Q) ∧ (Q → R) → (P → R)3. 函数f: A → B,如果f是单射,那么下列哪个选项是正确的?A. A中不同的元素在B中可能有相同的像B. B中每个元素都有原像C. A中不同的元素在B中有不同的像D. B中不同的元素在A中有不同的原像4. 在图论中,下列哪个选项不是图的基本术语?A. 顶点B. 边C. 邻接D. 矩阵5. 组合数学中,从n个不同元素中取出k个元素的组合数记作C(n, k),下列哪个选项是错误的?A. C(n, k) = C(n, n-k)B. C(n, 0) = 1C. C(n, 1) = nD. C(n, k) = C(k, n)6. 关系R是A×B上的二元关系,下列哪个选项不是关系R的性质?A. 自反性B. 对称性C. 传递性D. 可数性7. 在命题逻辑中,下列哪个命题等价于P ∨ (Q ∧ R)?A. (P ∨ Q) ∧ (P ∨ R)B. (P ∧ Q) ∨ (P ∧ R)C. (P ∨ Q) ∨ RD. (P ∨ Q) ∧ R8. 集合{1, 2, 3}的幂集含有多少个元素?A. 3B. 6C. 8D. 99. 在图论中,下列哪个选项不是树的性质?A. 无环B. 至少有两个顶点C. 任意两个顶点都由唯一路径连接D. 至少有一个环10. 在集合论中,下列哪个选项是正确的?A. 空集是任何集合的子集B. 任何集合都是其自身的超集C. 空集是任何非空集合的真子集D. 空集是其自身的并集二、简答题(每题10分,共30分)11. 简述命题逻辑中的德摩根定律,并给出一个例子。
离散数学试卷及答案
离散数学试题与答案试卷一一、填空 20% (每小题2分)1.设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =⋃B A 。
2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。
3.设P ,Q 的真值为0,R ,S 的真值为1,则)()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。
4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 。
5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为 。
6.设A={1,2,3,4},A 上关系图为则 R 2 = 。
7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为则 R= 。
8.图的补图为 。
9.设A={a ,b ,c ,d} ,A 上二元运算如下:那么代数系统<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 . 332⨯; D . 223⨯。
4、设R ,S 是集合A 上的关系,则下列说法正确的是( ) A .若R ,S 是自反的, 则S R 是自反的; B .若R ,S 是反自反的, 则S R 是反自反的; C .若R ,S 是对称的, 则S R 是对称的; D .若R ,S 是传递的, 则S R 是传递的。
5、设A={1,2,3,4},P(A)(A的幂集)上规定二元系如下t st spR=∈=则P(A)/ R=()<A∧>)(||||}s({t,,|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 | 。
离散数学考试题及答案
离散数学考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ∩答案:A2. 对于命题逻辑,下列哪个是真值表的表示方法?A. 真值表B. 逻辑图C. 布尔代数D. 集合论答案:A3. 以下哪个是图论中的基本单位?A. 点B. 线C. 面D. 体答案:A4. 函数f(x) = x^2 + 3x + 2在x=-1处的值是:A. 0C. 4D. 6答案:C5. 在关系数据库中,以下哪个操作用于删除表中的记录?A. SELECTB. INSERTC. UPDATED. DELETE答案:D6. 以下哪个是离散数学中的归纳法证明方法?A. 直接证明法B. 反证法C. 归纳法D. 构造性证明法答案:C7. 在逻辑中,以下哪个是析取命题?A. P ∧ QB. P ∨ QC. ¬PD. P → Q答案:B8. 以下哪个是图的遍历算法?B. BFSC. Dijkstra算法D. Floyd算法答案:B9. 在集合{1, 2, 3}上,以下哪个是幂集?A. {∅, {1}}B. {1, 2}C. {1, 2, 3}D. 所有选项答案:D10. 以下哪个是递归算法的特点?A. 不能自我调用B. 必须有一个终止条件C. 必须有一个基本情况D. 所有选项答案:D二、填空题(每空2分,共20分)1. 在离散数学中,_________ 表示一个命题的否定。
答案:¬P2. 如果集合A和集合B的交集为空集,那么A和B被称为_________。
答案:不相交3. 一个函数f: A → B是_________,如果对于集合B中的每个元素b,集合A中至少有一个元素a与之对应。
答案:满射4. 在图论中,一个没有环的连通图被称为_________。
答案:树5. 一个命题逻辑公式是_________,如果它在所有可能的真值分配下都是真的。
答案:重言式6. 一个关系R在集合A上是_________,如果对于A中的任意两个元素a和b,如果(a, b)属于R,则(b, a)也属于R。
北邮离散数学-阶段作业一二三
阶段作业一一、判断题(共5道小题,共分)1.命题公式的真值分别为0,1,则的真值为0A.正确B.错误知识点:命题逻辑学生答案:[A;]得分:[10]试题分值:提示:2.设P,Q都是命题公式,则A.正确B.错误知识点:命题逻辑学生答案:[A;]得分:[10]试题分值:提示:3.空集是任何集合的真子集.A.正确B.错误知识点:集合学生答案:[B;]得分:[10]试题分值:提示:4.设为集合上的等价关系, 则A.正确B.错误学生答案:[B;]得分:[10]试题分值:提示:5.设为集合上的等价关系, 则也是集合上的等价关系C.正确D.错误知识点:关系学生答案:[A;]得分:[10]试题分值:提示:二、单项选择题(共5道小题,共分)1.下面哪个联结词不可交换A.B.C.D.知识点:命题逻辑学生答案:[B;]得分:[10]试题分值:提示:2.下列各式中不正确的是A.B.C.D.学生答案:[C;]得分:[10]试题分值:提示:3.设为集合,若,则一定有A.B.C.D.知识点:集合学生答案:[C;]得分:[10]试题分值:提示:4.设为集合上的等价关系,对任意,其等价类为A.空集B.非空集C.是否为空集不能确定D.知识点:关系学生答案:[B;]得分:[10]试题分值:提示:5.设A,B是集合,则下列说法中()是正确的.A.A到B的关系都是A到B的映射B.A到B的映射都是可逆的C.A到B的双射都是可逆的D.时必不存在A到B的双射阶段作业二判断题(共5道小题,共分)1.设图G是连通的,则任意指定G的各边方向后所得的有向图是弱连通的A.正确B.错误2.在有向图中,结点到结点的有向短程即为到的有向短程A.正确B.错误3.图G的两个不同结点连接时一定邻接A.正确B.错误4.设A是某个无向图的邻接矩阵,则(是的转置矩阵)A.正确B.错误知识点:图的矩阵表示学生答案:[A;]得分:[10]试题分值:提示:5.如果有向图D仅有一个结点的入度为0,其余结点的入度都为1,则D是有向树A.正确B.错误知识点:树学生答案:[B;]得分:[10]试题分值:提示:单项选择题(共5道小题,共分)1.在任何图中必有偶数个A.度数为偶数的结点B.度数为奇数的结点C.入度为奇数的结点D.出度为奇数的结点知识点:无向图和有向图学生答案:[B;]得分:[10]试题分值:提示:2.仅由一个孤立点组成的图称为A.零图B.平凡图C.多重图D.子图知识点:无向图和有向图学生答案:[B;]得分:[10]试题分值:提示:3.是无向图的关联矩阵,是中的孤立点,则A.对应的一行元素全为0B.对应的一行元素全为1C.对应的一列元素全为0D.对应的一列元素全为1知识点:图的矩阵表示学生答案:[A;]得分:[10]试题分值:提示:4.对于无向图G,以下结论中不正确的是A.如果G的两个不同结点是连接的,则这两个结点之间有初级回路B.如果G的两个不同结点是连接的,则这两个结点之间至少有一条短程C.如果G是树,则任何两个不同结点之间有且仅有一条初级通路D.如果G是欧拉图,则G有欧拉回路知识点:几种典型的图学生答案:[A;]得分:[10]试题分值:提示:5.对于无向图,下列说法中正确的是A.不含平行边及环的图称为完全图B.任何两个不同结点都有边相连且无平行边及环的图称为完全图C.具有经过每条边一次且仅一次回路的图称为哈密尔顿图D.具有经过每个结点一次且仅一次回路的图称为欧拉图知识点:几种典型的图学生答案:[B;]得分:[10]试题分值:提示阶段作业三判断题(共5道小题,共分)1.设是代数系统的元素,如果是该代数系统的单位元),则A.正确B.错误知识点:代数系统的基本概念学生答案:[A;]得分:[10]试题分值:提示:2.设是群的元素,记,则是的子群.A.正确B.错误知识点:群、环和域学生答案:[A;]得分:[10]试题分值:提示:3.设是群.如果对于任意,有,则是阿贝尔群.A.正确B.错误知识点:群、环和域学生答案:[A;]得分:[10]试题分值:提示:4.设是格的任意两个元素,则.A.正确B.错误知识点:格和布尔代数学生答案:[A;]得分:[10]试题分值:提示:5.<{0,1,2,3,4},max,min>是格.A.正确B.错误知识点:格和布尔代数学生答案:[A;]得分:[10]试题分值:提示:单项选择题(共5道小题,共分)1.设是有理数集,在定义运算为,则的单位元为A.B.C. 1D.0知识点:代数系统的基本概念学生答案:[D;]得分:[10]试题分值:提示:2.设集合,下面定义的哪种运算关于集合不是封闭的A.B.C.,即的最大公约数D.,即的最小公倍数知识点:代数系统的基本概念学生答案:[D;]得分:[10]试题分值:提示:3.在整数集上,下列哪种运算是可结合的A.B.C.D.知识点:代数系统的基本概念学生答案:[B;]得分:[10]试题分值:提示:4.设代数系统A,・,则下面结论成立的是.A.如果A,・是群,则A,・是阿贝尔群B.如果A,・是阿贝尔群,则A,・是循环群C.如果A,・是循环群,则A,・是阿贝尔群D.如果A,・是阿贝尔群,则A,・必不是循环群知识点:群、环和域学生答案:[C;]得分:[10]试题分值:提示:5.在下面偏序集的哈斯图中,哪一个是格A.B.C.D.知识点:格和布尔代数学生答案:[A;]得分:[10]试题分值:提示:。
离散数学考试试题及答案
离散数学考试试题及答案离散数学考试试题及答案离散数学是计算机科学和数学中的一门重要学科,它研究的是离散的结构和对象。
离散数学的理论和方法在计算机科学、信息科学、通信工程等领域具有广泛的应用。
下面将为大家提供一些离散数学考试试题及答案,希望对大家的学习和复习有所帮助。
1. 集合论题目(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}2. 图论题目(1) 给定一个无向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(A,C),(B,D),(C,D),(D,E)},求该图的邻接矩阵。
答案:邻接矩阵为:A B C D EA 0 1 1 0 0B 1 0 0 1 0C 1 0 0 1 0D 0 1 1 0 1E 0 0 0 1 0(2) 给定一个有向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(B,C),(C,D),(D,E),(E,A)},求该图的邻接表。
答案:邻接表为:A ->B ->C ->D ->E -> AB -> CC -> DD -> EE -> A3. 命题逻辑题目(1) 判断以下命题是否为永真式:(p∨q)∧(¬p∨r)∧(¬q∨¬r)。
答案:是永真式。
(2) 给定命题p:如果天晴,那么我去游泳;命题q:我没有去游泳。
请判断以下命题的真假:(¬p∨q)∧(p∨¬q)。
答案:是真命题。
4. 关系代数题目(1) 给定关系R(A,B,C)和S(B,C,D),求R⋈S的结果。
离散数学试题及答案
离散数学试题及答案一、选择题1. 下列哪个是由离散数学的基本概念组成的?A. 集合论和函数论B. 图论和逻辑C. 运算符和关系D. 全数论和数论答案:B2. 下列哪个是离散数学的一个应用领域?A. 数据结构和算法分析B. 微积分和线性代数C. 概率论和统计学D. 数值分析和微分方程答案:A3. 集合A={1, 2, 3},集合B={2, 3, 4},则A交B的结果是:A. {1, 2, 3, 4}B. {2, 3}C. {2}D. {1}答案:B4. 下列哪个是对于集合的补集运算的正确描述?A. A∪A' = ∅B. A∩A' = ∅C. A - A' = AD. A'∩B' = (A∪B)'答案:B5. 若命题p为真,命题q为假,则命题p→q的真值为:A. 真B. 假C. 不确定D. 无法确定答案:B二、填空题1. 对于命题“如果x是偶数,则x能被2整除”,其逆命题为________________。
答案:如果x不能被2整除,则x不是偶数。
2. 在一个完全图中,如果有12条边,则这个图有__________个顶点。
答案:6个顶点。
3. 设集合A={1, 2, 3, 4},则A的幂集的元素个数是__________。
答案:2^4=16个元素。
4. 设关系R={(-1, 0), (0, 1), (1, 0)},则R的逆关系是__________。
答案:R^(-1)={(0, -1), (1, 0), (0, 1)}。
5. 若集合A={1, 2, 3},集合B={2, 3, 4},则A的笛卡尔积B是__________。
答案:A×B={(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
三、计算题1. 求集合A={1, 2, 3}和集合B={2, 3, 4}的并集。
(完整word版)离散数学试卷及参考答案()
一、填空题:(每空1分,本大题共15分)1.给定命题公式A 、B ,若 ,则称A 和B 是逻辑相等的。
2.命题公式)(Q P →⌝的主析取范式为 ,主合取范式的编码表示为 。
3.设E 为全集, ,称为A 的绝对补,记作~A ,且~(~A )= ,~E = ,~Φ= 。
4.设},,{c b a A =考虑下列子集}},{},,{{1c b b a S =,}},{},,{},{{2c a b a a S =,}},{},{{3c b a S =,}},,{{4c b a S =}}{},{},{{5c b a S =,}},{},{{6c a a S =则A 的覆盖有 ,A 的划分有 。
5.设S 是非空有限集,代数系统<(S ),,>中,(S)对的幺元为 ,零元为 。
(S )对的幺元为 ,零元为 .6.若>=<E V G ,为汉密尔顿图,则对于结点集V 的每个非空子集S ,均有W(G-S) S 成立,其中W (G —S)是 。
二、单项选择题:(每小题1分,本大题共10分)1.下面命题公式( )不是重言式。
A 、)(Q P Q ∨→;B 、P Q P →∧)(;C 、)()(Q P Q P ∨⌝∧⌝∧⌝;D 、)()(Q P Q P ∨⌝↔→。
2.命题“没有不犯错误的人”符号化为( )。
设x x M :)(是人,x x P :)(犯错误。
A 、))()((x P x M x ∧∀; B 、)))()(((x P x M x ⌝→∃⌝;C 、)))()(((x P x M x ∧∃⌝;D 、)))()(((x P x M x ⌝∧∃⌝。
3.设}{Φ=A ,B =((A )),下列各式中哪个是错误的( )。
A 、B ⊆Φ; B 、B ⊆Φ}{,C 、B ∈Φ}}{{;D 、⊆ΦΦ}}{,{(A )。
4.对自然数集合N ,哪种运算不是可结合的,运算定义为任N b a ∈,( ).A 、),min(b a b a =*;B 、b a b a 2+=*;C 、3++=*b a b a ;D 、)3(mod ,b a b a =*。
离散数学试卷及答案(23)
一、单项选择题:(每小题1分,本大题共10分)1.命题公式)(P Q P ∨→是( )。
A 、 矛盾式;B 、可满足式;C 、重言式;D 、等价式。
2.下列各式中哪个不成立( )。
A 、)()())()((x xQ x xP x Q x P x ∀∨∀⇔∨∀ ;B 、)()())()((x xQ x xP x Q x P x ∃∨∃⇔∨∃;C 、)()())()((x xQ x xP x Q x P x ∀∧∀⇔∧∀;D 、Q x xP Q x P x ∧∀⇔∧∀)())((。
3.谓词公式)())()((x Q y yR x P x →∃∨∀中的 x 是( )。
A 、自由变元;B 、约束变元;C 、既是自由变元又是约束变元;D 、既不是自由变元又不是约束变元。
4.在0 Φ之间应填入( )符号。
A 、= ;B 、⊂ ;C 、∈ ;D 、∉ 。
5.设< A , > 是偏序集,A B ⊆,下面结论正确的是( )。
A 、B 的极大元B b ∈且唯一; B 、B 的极大元A b ∈且不唯一;C 、B 的上界B b ∈且不唯一;D 、B 的上确界A b ∈且唯一。
6.在自然数集N 上,下列( )运算是可结合的。
(对任意N b a ∈,)A 、b a b a -=* ;B 、),max(b a b a =* ;C 、b a b a 5+=* ;D 、b a b a -=*。
7.Q 为有理数集N ,Q 上定义运算*为a*b = a + b – ab ,则<Q ,*>的幺元为()。
A 、a ;B 、b ;C 、1;D 、0。
8.给定下列序列,( )可以构成无向简单图的结点次数序列。
A 、(1,1,2,2,3);B 、(1,1,2,2,2);C 、(0,1,3,3,3);D 、(1,3,4,4,5)。
9.设G 是简单有向图,可达矩阵P(G)刻划下列 ( )关系。
A 、点与边;B 、边与点;C 、点与点;D 、边与边。
离散数学考试试题及答案
离散数学考试试题及答案一、单项选择题(每题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)。
《离散数学》试卷及答案精选全文完整版
H(x):x是身体健康的;
S(x):x是科学家
C(x):x是事业获得成功的人
置换规则。
3、设集合|A|=101,S ,且|S|为奇数,则这样的S有2101/2或2100个。
4、设mi是公式G的的主析取范式中的一个极小项,则mi的对偶式不一定是(填“是”/“不是”/“不一定是” ) G的主合取范式中的一个极大项。
5、由3个元素组成的有限集上所有的等价关系有5个
6、给定解释I如下: (1) Di:={2,3}; (2) a=3; (3) 函数f(x)为f(2)=2,f(3)=3; (4) 谓词:F(x)为F(2):=1,F(3):=0;G(x,y)为当i=j时,G(i,j):=1;当i≠j时,G(i,j):=0;其中i,j=2,3;
ac>0并且cu>0
若u>0,则c>0,a>0,因此有ac>0;
若u<0,则c<0,a<0, 也有ac>0;
因此有(a+bi)R(u+vi)
所以R在C*是传递的。所以R是C*上的等价关系。
2、在一阶逻辑自然推理系统F中,构造下面推理的证明。个体域是人的集合。
“每位科学家都是勤奋的,每个勤奋又身体健康的人在事业中都会获得成功。存在着身体健康的科学家。所以,存在着事业获得成功的人。”(15分)
2.设A={1,2,3…10},定义A上的二元关系R={<x,y>|x,y∈A∩x+y=10},试讨论R关于关系的五个方面的性质并说明理由(5分)
解答:R={<1,9>,<9,1>,<2,8>,<8, 2 >,<3,7>,<7,3>,<4,6>,<6, 4 >,<5, 5 >}
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
试卷二十三试题与答案一、单项选择题:(每小题1分,本大题共10分)1.命题公式)(P Q P ∨→是( )。
A 、 矛盾式;B 、可满足式;C 、重言式;D 、等价式。
2.下列各式中哪个不成立( )。
A 、)()())()((x xQ x xP x Q x P x ∀∨∀⇔∨∀;B 、)()())()((x xQ x xP x Q x P x ∃∨∃⇔∨∃;C 、)()())()((x xQ x xP x Q x P x ∀∧∀⇔∧∀;D 、Q x xP Q x P x ∧∀⇔∧∀)())((。
3.谓词公式)())()((x Q y yR x P x →∃∨∀中的 x 是( )。
A 、自由变元;B 、约束变元;C 、既是自由变元又是约束变元;D 、既不是自由变元又不是约束变元。
4.在0 Φ之间应填入( )符号。
A 、= ;B 、⊂;C 、∈;D 、∉。
5.设< A , > 是偏序集,A B ⊆,下面结论正确的是( )。
A 、B 的极大元B b ∈且唯一; B 、B 的极大元A b ∈且不唯一;C 、B 的上界B b ∈且不唯一;D 、B 的上确界A b ∈且唯一。
6.在自然数集N 上,下列( )运算是可结合的。
(对任意N b a ∈,)A 、b a b a -=*;B 、),max(b a b a =*;C 、b a b a 5+=*;D 、b a b a -=*。
7.Q 为有理数集N ,Q 上定义运算*为a*b = a + b – ab ,则<Q ,*>的幺元为()。
A 、a ; B 、b ; C 、1; D 、0。
8.给定下列序列,( )可以构成无向简单图的结点度数序列。
A 、(1,1,2,2,3);B 、(1,1,2,2,2);C 、(0,1,3,3,3);D 、(1,3,4,4,5)。
9.设G 是简单有向图,可达矩阵P(G)刻划下列 ( )关系。
A 、点与边;B 、边与点;C 、点与点;D 、边与边。
10.一颗树有两个2度结点,1个3度结点和3个4度结点,则1度结点数为()。
A 、5;B 、7;C 、9;D 、8。
二、填空:(每空1分,本大题共15分)1.在自然数集中,偶数集为1N 、奇数集为2N ,则21N N ⋂= ;21N N ⋃ = 。
2.设}3,34,2,2,1{,}4,3,2,1{><><><==,R X ,则r (R) = ;s (R) = ;t (R) = 。
3.设R 为集合A 上的等价关系,对A a ∈∀,集合R a ][= , 称为元素a 形成的R 等价类,Φ≠R a ][,因为 。
4.任意两个不同小项的合取为 ,全体小项的析取式为 。
5.设为偶数x x Q :)(,为素数x x P :)(,则下列命题:(1)存在唯一偶素数;(2)至多有一个偶素数;分别形式化:(1) ;(2) 。
6.设T 为根树,若 ,则称T 为m 元树;若 则称T 为完全m 叉树。
7.含5个结点,4条边的无向连通图(不同构)有 个,它们是 。
三、判断改正题:(每小题2分,本大题共20分)1.命题公式B B A A →→∧))((是一个矛盾式。
( )2.任何循环群必定是阿贝尔群,反之亦真。
( )3.根树中最长路径的端点都是叶子。
( )4.若集合A 上的关系R 是对称的,则1-R 也是对称的。
( )5.数集合上的不等关系(≠)可确定A 的一个划分。
( )6.设集合A 、B 、C 为任意集合,若A×B = A×C ,则B = C 。
( )7.函数的复合运算“。
”满足结合律。
( )8.若G 是欧拉图,则其边数e 合结点数v 的奇偶性不能相反。
( )9.图G 为(n , m )图,G 的生成树G T 必有n 个结点。
( )10.使命题公式)(R Q P ∨→的真值为F 的真值指派的P 、Q 、R 值分别是T 、F 、F 。
( )四、简答题(每小题5分,本大题共25分)1.设>< ,H 和>< ,K 都是群>< ,G 的子群,问>⋂< ,K H 和>⋃< ,K H 是否是>< ,G 的子并说明理由。
2.设}9432{,,,=A ,}12,10742{,,,=B ,从A 到B 的关系 },,,{b a B b A a b a R 整除且∈∈><=,试给出R 的关系图和关系矩阵,并说明此关系是否为函数?为什么?3.设>*<,S 是半群,L O 是左零元,对任L O x S x *∈,是否是左零元?为什么?4.某次会议有20人参加,其中每人至少有10个朋友,这20人拟围一桌入席,用图论知识说明是否可能每人邻做的都是朋友?(理由)5.通过主合取范式,求出使公式R Q P ∨→⌝⌝)(的值为F 的真值指派。
五、证明题:(共30分)1.设R 为集合A 上的二元关系,如果R 是反自反的和可传递的,则R 一定是反对称的。
2.试证明若>*<,G 是群,G H ⊆,且任意的H a ∈,对每一个G x ∈,有a x x a *=*,则>*<,H 是>*<,G 的子群。
3.设G 是每个面至少由k (3≥k )条边围成的连通平面图,试证明2)2(--≤k v k e ,其中v为结点数,e 为边数。
4.符号化下列各命题,并说明结论是否有效(用推理规则)。
任何人如果他喜欢美术,他就不喜欢体育。
每个人或喜欢体育,或喜欢音乐,有的人不喜欢音乐,因而有的人不喜欢美术。
答案 一、单项选择题:1.Φ;2N 。
2.}4,4,2,2,1,1,3,3,4,2,2,1{)(><><><><><><=R r , }2,4,1,2,3,3,4,2,2,1{)(><><><><><=R s , }3,3,4,1{2><><==R R R ,}3,3{23><==R R R ,}3,3{34><==R R R ,所以, }4,1,3,3,4,2,2,1{)(><><><><=R t 。
3.},{][aRx A x x a R ∈=;R a a ][∈。
4.永假式(矛盾式),永真式(重言式)。
5.(1))))()(())()(((y x y P y Q y x P x Q x =→∧∃∧∧∃。
(2)))()()()((y x y P y Q x P x Q y x =→∧∧∧∀∀。
6.每个结点的出度都小于等于m ;除叶子外,每个结点的出度都等于m 。
7.3。
三、判断改正题:1.× 命题公式B B A A →→∧))((是一个重言式。
2.× 任何循环群必定是阿贝尔群,但反之不真。
3.× 根树中最长路径的端点不都是叶子。
4.√ 5.× ≠不能确定A 的一个划分。
6.√ 7.√8.× 欧拉图其边数e 和结点数v 的奇偶性可以相反。
9.√ 10.√四、简答题1.解:>⋂< ,K H 是 >< ,G 的子群,>⋃< ,K H 不一定是>< ,G 的子群。
><><∈∈⋂∈∀ ,,,,,,,,K H K b a H b a K H b a 和由则都是>< ,G 的子群, ><>⋂<⋂∈-∈-∈-∴∴∴ ,,,1,11G K H K H b a K b a H b a 是且 的子群。
如:G = {1,5,7,11}, :模12乘,则>< ,G 为群。
且H = {1,5},K = {1,7}, ><>< ,,K H 和皆为>< ,G 的子群,但}7,5,1{=⋃K H ,>⋃< ,K H 不是>< ,G 的子群。
因为 K H ⋃∉=1175 ,即运算不封闭。
2.解:}12,4,4,4,12,3,12,2,10,2,4,2,2,2{><><><><><><><=R 则R 的关系图为:R 的关系矩阵为⎪⎪⎪⎪⎪⎭⎫⎝⎛=00000100101000011011RM 关系R 不是A 到B 的函数,因为 元素2,4的象不唯一(或元素9无象)3.解:L O x *仍是左零元。
因为S y ∈∀,由于L O 是左零元,所以,L L O y O =*,又 >*<,S 为半群,所以*可结合。
所以,L L L O x y O x y O x *=**=**)()(,所以,L O x *仍是左零元。
4.解:可能。
将人用结点表示,当两人是朋友时相应结点间连一条边,则得一个无向图>=<E V G ,,20人围一桌,使每人邻做都是朋友,即要找一个过每个点一次且仅一次得回路。
由题已知,10)deg(,10)deg(,,≥≥∈∀v u V v u ,20)deg()deg(≥+∴v u ,由判定定理,G 中存在一条汉密尔顿回路。
即所谈情况可能。
5.解:010110100)()()()()()()()(M M M R Q P R Q P R Q P R Q P R Q R P R Q P R Q P ∧∧⇔∨⌝∨⌝∧∨⌝∨∧∨⌝∨⌝∧∨∨⌝⇔∨⌝∧∨⌝⇔∨⌝∧⌝⇔∨∨⌝⇔原式∴使公式R Q P ∨→⌝⌝)(的值为F 的真值指派为:⎪⎩⎪⎨⎧0:0:1:R Q P ; ⎪⎩⎪⎨⎧0:1:1:R Q P ; ⎪⎩⎪⎨⎧0:1:0:R Q P 。
五、证明题:1.证明:假设R 不是反对称的,则 y x R x y R y x ≠>∈<>∈<∃,,,, 由R 的传递性,∴ R x x >∈<, 此与R 反自反矛盾,∴R 反对称。
2.证明:(1)设群>*<,G 的幺元为e ,则G x ∈∀有 x e e x *=*,∴H e ∈即H 非空。
(2)H b a ∈∀,,则 G x ∈∀ 有 b x x b a x x a *=**=*,,从而H b a b a x b x a bx b b a b b x ba xb a ∈*∴**=**=****=****=**--------11111111,)()()()()()(故 >*<,H 是>*<,G 的子群。