文档库 最新最全的文档下载
当前位置:文档库 › 离散数学考试试题(A、B卷及答案)test7

离散数学考试试题(A、B卷及答案)test7

离散数学考试试题(A、B卷及答案)test7
离散数学考试试题(A、B卷及答案)test7

离散数学考试试题(A卷及答案)

一、(10分)证明?(A∨B)→?(P∨Q),P,(B→A)∨?P A。

证明:(1)?(A∨B)→?(P∨Q)P

(2)(P∨Q)→(A∨B) T(1),E

(3)P P

(4)A∨B T(2)(3),I

(5)(B→A)∨?P P

(6)B→A T(3)(5),I

(7)A∨?B T(6),E

(8)(A∨B)∧(A∨?B) T(4)(7),I

(9)A∧(B∨?B) T(8),E

(10)A T(9),E

二、(10分)甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。关于谁参加竞赛,下列4种判断都是正确的:

(1)甲和乙只有一人参加;

(2)丙参加,丁必参加;

(3)乙或丁至多参加一人;

(4)丁不参加,甲也不会参加。

请推出哪两个人参加了围棋比赛。

解符号化命题,设A:甲参加了比赛;B:乙参加了比赛;C:丙参加了比赛;D:丁参加了比赛。

依题意有,

(1)甲和乙只有一人参加,符号化为A⊕B?(?A∧B)∨(A∧?B);

(2)丙参加,丁必参加,符号化为C→D;

(3)乙或丁至多参加一人,符号化为?(B∧D);

(4)丁不参加,甲也不会参加,符号化为?D→?A。

所以原命题为:(A⊕B)∧(C→D)∧(?(B∧D))∧(?D→?A)

?((?A∧B)∨(A∧?B))∧(?C∨D)∧(?B∨?D)∧(D∨?A)

?((?A∧B∧?C)∨(A∧?B∧?C)∨(?A∧B∧D)∨(A∧?B∧D))∧((?B∧D)∨(?B∧?A)∨(?D∧?A))

?(A∧?B∧?C∧D)∨(A∧?B∧D)∨(?A∧B∧?C∧?D)?T

但依据题意条件,有且仅有两人参加竞赛,故?A∧B∧?C∧?D为F。所以只有:(A∧?B∧?C∧

D)∨(A∧?B∧D)?T,即甲、丁参加了围棋比赛。

三、(10分)指出下列推理中,在哪些步骤上有错误?为什么?给出正确的推理形式。

(1)?x(P(x)→Q(x)) P

(2)P(y)→Q(y) T(1),US

(3)?xP(x) P

(4)P(y) T(3),ES

(5)Q(y) T(2)(4),I

(6)?xQ(x) T(5),EG

解(4)中ES错,因为对存在量词限制的变元x引用ES规则,只能将x换成某个个体常元c,而不能将其改为自由变元。所以应将(4)中P(y)改为P(c),c为个体常元。

正确的推理过程为:

(1)?xP(x) P

(2)P(c) T(1),ES

(3)?x(P(x)→Q(x)) P

(4)P(c)→Q(c) T(3),US

(5)Q(c) T(2)(4),I

(6)?xQ(x) T(5),EG

四、(10分)设A={a,b,c},试给出A上的一个二元关系R,使其同时不满足自反性、反自反性、对称性、反对称性和传递性。

解设R={},则

因为?R,R不自反;

因为∈R,R不反自反;

因为∈R,?R,R不对称;

因为∈R,∈R,R不反对称;

因为∈R,∈R,但?R,R不传递。

五、(15分)设函数g:A→B,f:B→C,

(1)若f g是满射,则f是满射。

(2)若f g是单射,则g是单射。

证明因为g:A→B,f:B→C,由定理5.5知,f g为A到C的函数。

(1)对任意的z∈C,因f g是满射,则存在x∈A使f g(x)=z,即f(g(x))=z。由g:A→B可知g(x)∈B,于是有y=g(x)∈B,使得f(y)=z。因此,f是满射。

(2)对任意的x1、x2∈A,若x1≠x2,则由f g是单射得f g(x1)≠f g(x2),于是f(g(x1))≠f(g(x2)),必有g(x1)≠g(x2)。所以,g是单射。

(15分)设R是集合A上的一个具有传递和自反性质的关系,T是A上的关系,使得∈T?

b>∈R且∈R,证明T是一个等价关系。

证明因R自反,任意a∈A,有∈R,由T的定义,有∈T,故T自反。

∈T,即∈R且∈R,也就是∈R且∈R,从而∈T,故T对称。

∈T ,∈T ,即∈R 且∈R ,∈R 且∈R ,因R 传递,由∈R 和∈R 可得∈R ,由∈R 和∈R 可得∈R ,由∈R 和∈R 可得∈T ,故T 传递。

所以,T 是A 上的等价关系。

七、(15分)若是群,H 是G 的非空子集,则的子群?对任意的a 、b ∈H 有a *b -

1∈H 。 证明 必要性:对任意的a 、b ∈H ,由的子群,必有b -1∈H ,从而a *b -

1∈H 。 充分性:由H 非空,必存在a ∈H 。于是e =a *a -

1∈H 。 任取a ∈H ,由e 、a ∈H 得a -1=e *a -

1∈H 。 对于任意的a 、b ∈H ,有a *b =a *(b -1)-

1∈H ,即a *b ∈H 。 又因为H 是G 非空子集,所以*在H 上满足结合律。

综上可知,的子群。

八、(15分)(1)若无向图G 中只有两个奇数度结点,则这两个结点一定是连通的。

(2)若有向图G 中只有两个奇数度结点,它们一个可达另一个结点或互相可达吗?

证明 (1)设无向图G 中只有两个奇数度结点u 和v 。从u 开始构造一条回路,即从u 出发经关联结点u 的边1e 到达结点1u ,若)(1u d 为偶数,则必可由1u 再经关联1u 的边2e 到达结点2u ,如此继续下去,每条边只取一次,直到另一个奇数度结点为止,由于图G 中只有两个奇数度结点,故该结点或是u 或是v 。如果是v ,那么从u 到v 的一条路就构造好了。如果仍是u ,该回路上每个结点都关联偶数条边,而)(u d 是奇数,所以至少还有一条边关联结点u 的边不在该回路上。继续从u 出发,沿着该边到达另一个结点'1u ,依次下去直到另一个奇数度结点停下。这样经过有限次后必可到达结点v ,这就是一条从u 到v 的路。

(2)若有向图G 中只有两个奇数度结点,它们一个可达另一个结点或互相可达不一定成立。下面有向图中,只有两个奇数度结点u 和v ,u 和v 之间都不可达。

u v

w

离散数学考试试题(B 卷及答案)

一、(15分)设计一盏电灯的开关电路,要求受3个开关A 、B 、C 的控制:当且仅当A 和C 同时关闭或B 和C 同时关闭时灯亮。设F 表示灯亮。

(1)写出F 在全功能联结词组{↑}中的命题公式。

(2)写出F 的主析取范式与主合取范式。

解 (1)设A :开关A 关闭;B :开关B 关闭;C :开关C 关闭;F =(A ∧C )∨(B ∧C )。 在全功能联结词组{↑}中:

?A ??(A ∧A )?A ↑A

A ∧C ???( A ∧C )??( A ↑C )?(A ↑C )↑(A ↑C )

A ∨

B ??(?A ∧?B )??(( A ↑A )∧(B ↑B ))?( A ↑A )↑(B ↑B )

所以

F ?((A ↑C )↑(A ↑C ))∨((B ↑C )↑(B ↑C ))

?(((A ↑C )↑(A ↑C ))↑((A ↑C )↑(A ↑C )))↑(((B ↑C )↑(B ↑C ))↑((B ↑C )↑(B ↑C )))

(2)F ?(A ∧C )∨(B ∧C )

?(A ∧(B ∨?B )∧C )∨((A ∨?A )∧B ∧C )

?(A ∧B ∧C )∨(A ∧?B ∧C )∨(A ∧B ∧C )∨(?A ∧B ∧C )

?3m ∨5m ∨7m 主析取范式

?0M ∧1M ∧2M ∧4M ∧6M 主合取范式

二、(10分)判断下列公式是否是永真式?

(1)(?xA (x )→?xB (x ))→?x (A (x )→B (x ))。

(2)(?xA (x )→?xB (x ))→?x (A (x )→B (x )))。

解 (1)(?xA (x )→?xB (x ))→?x (A (x )→B (x ))

?(??xA (x )∨?xB (x ))→?x (A (x )→B (x ))

??(??xA (x )∨?xB (x ))∨?x (?A (x )∨B (x ))

?(?xA (x )∧??xB (x ))∨?x ?A (x )∨?xB (x )

?(?xA (x )∨?x ?A (x )∨?xB (x ))∧(??xB (x )∨?x ?A (x )∨?xB (x ))

??x (A (x )∨?A (x ))∨?xB (x )

?T

所以,(?xA (x )→?xB (x ))→?x (A (x )→B (x ))为永真式。

(2)设论域为{1,2},令A (1)=T ;A (2)=F ;B (1)=F ;B (2)=T 。

则?xA (x )为假,?xB (x )也为假,从而?xA (x )→?xB (x )为真;而由于A (1)→B (1)为假,所以?x (A (x )→B (x ))也为假,因此公式(?xA (x )→?xB (x ))→?x (A (x )→B (x ))为假。该公式不是永真式。

三、(15分)设X 为集合,A =P (X )-{?}-{X }且A ≠?,若|X |=n ,问

(1)偏序集是否有最大元?

(2)偏序集是否有最小元?

(3)偏序集中极大元和极小元的一般形式是什么?并说明理由。

解偏序集不存在最大元和最小元,因为n>2。

考察P(X)的哈斯图,最底层的顶点是空集,记作第0层,由底向上,第一层是单元集,第二层是二元集,…,由|X|=n,则第n-1层是X的n-1元子集,第n层是X。偏序集与偏序集相比,恰好缺少第0层和第n层。因此的极小元就是X的所有单元集,即{x},x∈X;而极大元恰好是比X少一个元素,即X-{x},x∈X。

四、(10分)设A={1,2,3,4,5},R是A上的二元关系,且R={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>},求r(R)、s(R)和t(R)。

解r(R)=R∪I A={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}

s(R)=R∪R-1={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<1,2>,<4,2>,<4,3>} R2={<2,2>,<2,4>,<3,4>,<4,4>,<5,1>,<5,5>,<5,4>}

R3={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<5,4>}

R4={<2,2>,<2,4>,<3,4>,<4,4>,<5,1>,<5,5>,<5,4>}=R2

t(R)=∞

R i={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<2,2>,<5,1>,<5,4>,

i

=1

<5,5>}。

五、(10分)设函数g:A→B,f:B→C,

(1)若f g是满射,则f是满射。

(2)若f g是单射,则g是单射。

证明因为g:A→B,f:B→C,由定理5.5知,f g为A到C的函数。

(1)对任意的z∈C,因f g是满射,则存在x∈A使f g(x)=z,即f(g(x))=z。由g:A→B可知g(x)∈B,于是有y=g(x)∈B,使得f(y)=z。因此,f是满射。

(2)对任意的x1、x2∈A,若x1≠x2,则由f g是单射得f g(x1)≠f g(x2),于是f(g(x1))≠f(g(x2)),必有g(x1)≠g(x2)。所以,g是单射。

六、(10分)有幺元且满足消去律的有限半群一定是群。

证明设是一个有幺元且满足消去律的有限半群,要证是群,只需证明G的任一元素a可逆。

考虑a,a2,…,a k,…。因为G只有有限个元素,所以存在k>l,使得a k=a l。令m=k-l,有a l*e =a l*a m,其中e是幺元。由消去率得a m=e。

于是,当m=1时,a=e,而e是可逆的;当m>1时,a*a m-1=a m-1*a=e。从而a是可逆的,其逆元是a m-1。总之,a是可逆的。

七、(20分)有向图G如图所示,试求:

(1)求G的邻接矩阵A。

(2)求出A 2、A 3和A 4,v 1到v 4长度为1、2、3和4的路有多少?

(3)求出A T A 和AA T ,说明A T A 和AA T 中的第(2,2)元素和第(2,3)元素的意义。

(4)求出可达矩阵P 。

(5)求出强分图。

解 (1)求G 的邻接矩阵为:

??????

? ??=0010101011001010A (2)由于

??????? ??=11001110102011102A ??????? ??=10202120221021203A ??????

? ??=22103230314032304A 所以v 1到v 4长度为1、2、3和4的路的个数分别为1、1、2、3。

(3)由于

??????? ??=3120110021300000A A T ??????

? ??=1201121201211212T AA 再由定理10.19可知,所以A T A 的第(2,2)元素为3,表明那些边以2v 为终结点且具有不同始结点的数目为3,其第(2,3)元素为0,表明那些边既以2v 为终结点又以3v 为终结点,并且具有相同始结点的数目为0。AA T 中的第(2,2)元素为2,表明那些边以2v 为始结点且具有不同终结点的数目为2,其第(2,

3)元素为1,表明那些边既以2v 为始结点又以3v 为始结点,并且具有相同终结点的数目为1。

(4)因为=+++=4324A A A A B ??????? ?

?0010101011001010+??????? ??1100111010201110+??????? ??1020212022102120+=??????? ??2210323031403230??????

? ??4340747074701470,所以求可达矩阵为??????? ??=1110111011101110P 。 (5)因为=∧T P P ??????? ??1110111011101110∧??????? ??1111111111110000=??????

? ??1110111011100000,所以{1v },{2v ,3v ,4v }构成G 的强分图。

离散数学形成性考核作业4题目与答案

离散数学形成性考核作业4作业与答案 离散数学综合练习书面作业 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档. 3. 自备答题纸张,将答题过程手工书写,并拍照上传. 一、公式翻译题 1.请将语句“小王去上课,小李也去上课.”翻译成命题公式. 设P:小王去上课 Q:小李去上课 则:命题公式P∧Q 2.请将语句“他去旅游,仅当他有时间.”翻译成命题公式. 设P:他去旅游 Q:他有时间 则命题公式为P→Q

3.请将语句“有人不去工作”翻译成谓词公式. 设A(x):x是人 B(x):去工作 则谓词公式为?x(A(x)∧-B(x)) 4.请将语句“所有人都努力学习.”翻译成谓词公式. 设A(x): x是人 B(x):努力学习 则谓词公式为?x(A(x)∧B(x)) 二、计算题 1.设A={{1},{2},1,2},B={1,2,{1,2}},试计算 (1)(A-B);(2)(A∩B);(3)A×B. 解: (1)(A-B)={{1},{2}} (2)(A∩B)={1,2} (3)A×B= {<{1},1>,<{1},2>,<{1},{1,2}>,<{2},1>,<{2},2>,<{2},{1,2}>,<1,1>,<1, 2>,<1,{1,2}>,<2,1>,<2,2>,<2,{1,2}>} 2.设A={1,2,3,4,5},R={|x∈A,y∈A且x+y≤4},S={|x∈A,y∈A且x+y<0},试求R,S,R?S,S?R,R-1,S-1,r(S),s(R). 解: R={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>} S=空集 R?S=空集 S?R =空集 R-1={<1,1>,<2,1>,<3,1>,<1,2>,<2,2>,<1,3>} S-1=空集 r(S) ={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>} s(R) ={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>} 3.设A={1, 2, 3, 4, 5, 6, 7, 8},R是A上的整除关系,B={2, 4, 6}. (1) 写出关系R的表示式;(2) 画出关系R的哈斯图; (3) 求出集合B的最大元、最小元.

离散数学考试试题(A卷及答案)

离散数学考试试题(A卷及答案) 一、(10分)证明?(A∨B)→?(P∨Q),P,(B→A)∨?P A。 证明:(1)?(A∨B)→?(P∨Q) P (2)(P∨Q)→(A∨B) T(1),E (3)P P (4)A∨B T(2)(3),I (5)(B→A)∨?P P (6)B→A T(3)(5),I (7)A∨?B T(6),E (8)(A∨B)∧(A∨?B) T(4)(7),I (9)A∧(B∨?B) T(8),E (10)A T(9),E 二、(10分)甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。关于谁参加竞赛,下列4种判断都是正确的: (1)甲和乙只有一人参加; (2)丙参加,丁必参加; (3)乙或丁至多参加一人; (4)丁不参加,甲也不会参加。 请推出哪两个人参加了围棋比赛。 解符号化命题,设A:甲参加了比赛;B:乙参加了比赛;C:丙参加了比赛;D:丁参加了比赛。 依题意有, (1)甲和乙只有一人参加,符号化为A⊕B?(?A∧B)∨(A∧?B); (2)丙参加,丁必参加,符号化为C→D; (3)乙或丁至多参加一人,符号化为?(B∧D); (4)丁不参加,甲也不会参加,符号化为?D→?A。 所以原命题为:(A⊕B)∧(C→D)∧(?(B∧D))∧(?D→?A) ?((?A∧B)∨(A∧?B))∧(?C∨D)∧(?B∨?D)∧(D∨?A) ?((?A∧B∧?C)∨(A∧?B∧?C)∨(?A∧B∧D)∨(A∧?B∧D))∧((?B∧D)∨(?B∧?A)∨(?D∧?A)) ?(A∧?B∧?C∧D)∨(A∧?B∧D)∨(?A∧B∧?C∧?D)?T 但依据题意条件,有且仅有两人参加竞赛,故?A∧B∧?C∧?D为F。所以只有:(A∧?B∧?C∧D)∨(A∧?B∧D)?T,即甲、丁参加了围棋比赛。 三、(10分)指出下列推理中,在哪些步骤上有错误?为什么?给出正确的推理形式。 (1)?x(P(x)→Q(x)) P (2)P(y)→Q(y) T(1),US (3)?xP(x) P (4)P(y) T(3),ES (5)Q(y) T(2)(4),I (6)?xQ(x) T(5),EG 解 (4)中ES错,因为对存在量词限制的变元x引用ES规则,只能将x换成某个个体常元c,而不能将其改为自由变元。所以应将(4)中P(y)改为P(c),c为个体常元。 正确的推理过程为: (1)?xP(x) P (2)P(c) T(1),ES (3)?x(P(x)→Q(x)) P (4)P(c)→Q(c) T(3),US (5)Q(c) T(2)(4),I (6)?xQ(x) T(5),EG 四、(10分)设A={a,b,c},试给出A上的一个二元关系R,使其同时不满足自反性、反自反性、对称性、反对称性和传递性。 解设R={},则

2012-2013(1)离散数学试卷及答案B卷

浙江工业大学期终考试命题稿 2010 /2011 学年第1 学期 命题注意事项: 一、命题稿请用A4纸电脑打印,或用教务处印刷的命题纸,并用黑 墨水书写,保持字迹清晰,页码完整。 二、两份试题必须同等要求,卷面上不要注明A、B字样,由教务处 抽定A、B卷。 三、命题稿必须经学院审核,并在考试前两周交教务处。

浙江工业大学2012/2013 学年 第1学期试卷 课程________ 姓名 ________ 班级________ 学号 ________ 题序 一 二 三 四 五 六 七 八 九 十 总分 计分 一、 1.下列语句是命题的是( A )。 A 、离散数学是重要的一门必修课。 B 、1+101=110? C 、我正在说谎。 D 、全体起立! 2.图 的邻接矩阵为( C )。 A 、 1 111111*********?? ? ? ? ??? B 、1 110011*********?? ? ? ? ??? C 、0 110001*********?? ? ? ? ??? D 、0 111101*********-?? ? - ? ?-- ?-?? 3.下列排列能构成图的顶点度序列的是( A )。 A 、1,2,2,3,4 B 、2,3,4,5,6,7 C 、2,1,1,1,2 D 、3,3,5,6,0 4.设{}b a A ,=,则I A =(D )。 A 、 A ; B 、A×I A ; C 、 I A ×A ; D 、{,,,}a a b b <><>。 5.下述命题公式中,是重言式的为( C )。 A 、)()(q p q p ∨→∧; B 、))())(()(p q q p q p →∧→??; C 、q q p ∧→?)(; D 、q p p ??∧)(。 二、填空题15分 (每小题 3分) 1已知一棵无向树T 有三个3度顶点,一个2度顶点,其余的都是1度顶点, 则T 中有 5 个1度顶点。

离散数学形考任务1-7试题及答案完整版

2017年11月上交的离散数学形考任务一 本课程的教学内容分为三个单元,其中第三单元的名称是(A ). 选择一项: A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 题目2 答案已保存 满分10.00 标记题目 题干 本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其中第2章关系与函数中的第3个知识点的名称是(D ). 选择一项: A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 题目3 答案已保存 满分10.00 标记题目 题干 本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有(B)讲. 选择一项: A. 18 B. 20 C. 19

D. 17 题目4 答案已保存 满分10.00 标记题目 题干 本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是( C).选择一项: A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 C. 集合论部分书面作业 D. 网上学习问答 题目5 答案已保存 满分10.00 标记题目 题干 课程学习平台左侧第1个版块名称是:(C). 选择一项: A. 课程导学 B. 课程公告 C. 课程信息 D. 使用帮助 题目6 答案已保存 满分10.00 标记题目 题干 课程学习平台右侧第5个版块名称是:(D). 选择一项:

A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题 题目7 答案已保存 满分10.00 标记题目 题干 ―教学活动资料‖版块是课程学习平台右侧的第(A)个版块. 选择一项: A. 6 B. 7 C. 8 D. 9 题目8 答案已保存 满分10.00 标记题目 题干 课程学习平台中―课程复习‖版块下,放有本课程历年考试试卷的栏目名称是:(D ). 选择一项: A. 复习指导 B. 视频 C. 课件 D. 自测 请您按照课程导学与章节导学中安排学习进度、学习目标和学习方法设计自己的学习计划,学习计划应该包括:课程性质和目标(参考教学大纲)、学习内容、考核方式,以及自己的学习安排,字数要求在100—500字.完成后在下列文本框中提交. 解答:学习计划 学习离散数学任务目标:

离散数学期末试题及答案

326《离散数学》期末考试题(B ) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ),)(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二.1. 若n B m A ==||,||,则=?||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)},则( )是单射,( )是满射,( )是双射. 3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(; (2))(q p p ∨→; (3))(q p p ∧→; (4)q q p p →∨∧?)(; (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ). 5. 设G 是(7, 15)简单平面图,则G 一定是( )图,且其每个面恰由( )条边围成,G 的面数为( ).

离散数学形考任务1-7试题及答案完整版

2017年11月上交的离散数学形考任务一本课程的教学内容分为三个单元,其中第三单元的名称是( A ). 选择一项: , A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 题目2 . 答案已保存 满分 标记题目 题干 本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其中第2章关系与函数中的第3个知识点的名称是( D ). ) 选择一项: A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 < 题目3 答案已保存 满分 标记题目 题干 ; 本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有(B)讲. 选择一项:

A. 18 B. 20 C. 19 , D. 17 题目4 答案已保存 满分 标记题目 … 题干 本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是(C).选择一项: A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 ~ C. 集合论部分书面作业 D. 网上学习问答 题目5 答案已保存 满分 " 标记题目 题干 课程学习平台左侧第1个版块名称是:(C). 选择一项: A. 课程导学 … B. 课程公告 C. 课程信息 D. 使用帮助 题目6 答案已保存 ^ 满分

标记题目 题干 课程学习平台右侧第5个版块名称是:(D). 选择一项: % A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题 题目7 《 答案已保存 满分 标记题目 题干 “教学活动资料”版块是课程学习平台右侧的第( A )个版块. 、 选择一项: A. 6 B. 7 C. 8 D. 9 @ 题目8 答案已保存 满分 标记题目 题干 ( 课程学习平台中“课程复习”版块下,放有本课程历年考试试卷的栏目名称是:(D ).选择一项:

离散数学自学考试复习题

离散数学 复习题 1.设A 和B 都是命题,则A →B 的真值为假当且仅当 。 A. A 为假,B 为真 B. A 为假,B 为假 C. A 为真,B 为真 D. A 为真,B 为假 2.下列公式中为重言式的是 。 A. P →(P ∨Q ∨R) B. ┐(Q →P)∧P C. (P →Q)→(Q →┐P) D. (P ∧┐P)←→Q 3.设A ={a ,{a}},P(A)表示A 的幂集,下面各式中错误的是 。 A. {a}∈P(A) B. {a}?P(A) C. {{a}}∈P(A) D. {{a}}?P(A) 4.设A ={1,2,3,4,5,6}上的关系为R ={|x>y},则R -1具有 。 A. 对称性 B. 自反性 C. 反自反性、反对称性、传递性 D. 以上都不对 5.设R 是非空集合A 上的二元关系,则R 的对称闭包S(R)= 。 A. R ∪I A B. R ∪R C C. R-I A D. R ∩R C 6.映射的复合运算满足 。 A. 交换律 B. 结合律 C. 幂等律 D. 分配律 7.设R 、I 分别是实数集合和整数集合,-、×、/ 分别是普通的减法、乘法 和除法运算,则 是半群。 A. B. C. D. 8.在一个格中,对任意的a ,b ,c ∈A ,都有 。 A. a ∨(b ∧c)≤(a ∨b)∧(a ∨c) B. a ∧(b ∨c)≤(a ∧b)∨(a ∧c) C. a ∨(b ∧c)=(a ∨b)∧(a ∨c) D. A 、B 、C 都正确 9.无向简单图G 中结点间的连通关系是 。 A. 偏序关系 B. 等价关系 C. 既是偏序关系又是等价关系 D. A 、B 、C 都错误 10.设G 是一个有v 个结点e 条边的连通简单平面图,若v ≥3,则 。 A. v ≤3e-6 B. e ≤3v-6 C. v ≤3e+6 D. e ≤3v+6 11.设P 和Q 是命题,P ,?P ∨Q ?Q 。 ( ) 12.设A 和B 是集合,A-B =A 当且仅当B =Φ。 ( ) 13.一个不是自反的关系,一定是反自反的。 ( ) 14.若A 和B 是任意两个集合,则A ×B =B ×A 。 ( ) 15.关系f ={|m,n ∈N,m+n <10}是函数,其中N 是自然数集合。 ( ) 16.集合B 是集合A 的真子集,则K[B]<K[A]。 ( ) 17.整环一定是域。 ( ) 18.任何两个具有2n 个元素的有限布尔代数都是同构的。 ( ) 19.已知无向连通图G 中有n 个结点,m 条边,G 中无回路,则m =n-1。( ) 20.如果两个图的结点数相同、边数相等、度数相同的结点数目也相等,那么这两个图是同构的。 ( ) 21.设命题P 表示“我今天将去公园”,命题Q 表示“天下雨”,则命题“我今天去公园,除非下雨”可以符号化为 (1) 。

离散数学期末考试试卷(A卷)

离散数学期末考试试卷(A卷) 一、判断题:(每题2分,共10分) (1) (1) (2)对任意的命题公式, 若, 则 (0) (3)设是集合上的等价关系, 是由诱导的上的等价关系,则。(1) (4)任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。 (0) (5)设是上的关系,分别表示的对称和传递闭包,则 (0) 二、填空题:(每题2分,共10分) (1) 空集的幂集的幂集为()。 (2) 写出的对偶式()。 (3)设是我校本科生全体构成的集合,两位同学等价当且仅当他们在 同一个班,则等价类的个数为(),同学小王所在 的等价类为()。 (4)设是上的关系,则满足下列性质的哪几条:自反的,对称的,传递的,反自反的,反对称的。 () (5)写出命题公式的两种等价公式( )。 三、用命题公式符号化下列命题(1)(2)(3),用谓词公式符号化下列命题(4)(5)(6)。(12分) (1)(1)仅当今晚有时间,我去看电影。 (2)(2)假如上午不下雨,我去看电影,否则就在家里读书。 (3)你能通你能通过考试,除非你不复习。 (4)(4)并非发光的都是金子。 (5)(5)有些男同志,既是教练员,又是国家选手。 (6)(6)有一个数比任何数都大。 四、设,给定上的两个关系和分别是

(1)(1)写出 和 的关系矩阵。(2)求 及 (12分) 五、求 的主析取范式和主合取范式。(10分) 六、设 是 到 的关系, 是 到 的关系,证明: (8分) 七、设 是一个等价关系,设 对某一个 ,有 ,证明: 也是一个等价关系。(10分) 八、(10分)用命题推理理论来论证 下述推证是否有效? 甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获 胜,如果甲不获胜,则丁不失败。所以,如果丙获胜,则丁不失败。 九、(10分) 用谓词推理理论来论证下述推证。 任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑 自行车(可能这两种都喜欢)。有的人不爱骑自行车,因而有的人不爱步行 (论 域是人)。 十、(8分) 利用命题公式求解下列问题。 甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好, 甲说:“不是我,”乙说:“是丁,”丙说:“是乙,” 丁说:“不是我。” 四人的回答只有一人符合实际,问若只有一人成绩最 好,是谁? 离散数学期末考试试卷答案(A 卷) 一、判断题:(每题2分,共10分) (1)}}{{}{x x x -∈ ( ∨) (2) 对任意的命题公式C B A ,,, 若 C B C A ∧?∧, 则B A ? ( ? ) (3)设R 是集合A 上的等价关系, L 是由 R A 诱导的A 上的等价关系,则L R =。 ( ∨ ) (4) 任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等 价。 ( ? ) (5)设R 是A 上的关系,)(),(R t R s 分别表示R 的对称和传递闭包,则 )()(R st R ts ? ( ? ) 二、填空题:(每题2分,共10分)

(完整版)离散数学试卷及答案

离散数学试题(A卷答案) 一、(10分)求(P↓Q)→(P∧?(Q∨?R))的主析取范式 解:(P↓Q)→(P∧?(Q∨?R))??(?( P∨Q))∨(P∧?Q∧R)) ?(P∨Q)∨(P∧?Q∧R)) ?(P∨Q∨P)∧(P∨Q∨?Q)∧(P∨Q∨R) ?(P∨Q)∧(P∨Q∨R) ?(P∨Q∨(R∧?R))∧(P∨Q∨R) ?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R) ? M∧1M ? m∨3m∨4m∨5m∨6m∨7m 2 二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。 乙说:王教授不是上海人,是苏州人。 丙说:王教授既不是上海人,也不是杭州人。 王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人? 解设设P:王教授是苏州人;Q:王教授是上海人;R:王教授是杭州人。则根据题意应有: 甲:?P∧Q 乙:?Q∧P 丙:?Q∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q ∧P,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为:

((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此,王教授是上海人。 三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系,则由定理4.19知,tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )?'R 。由定理4.15和由定理4.16得sr (R )?s ('R )='R ,进而有tsr (R )?t ('R )='R 。 综上可知,tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 四、(15分)集合A ={a ,b ,c ,d ,e }上的二元关系R 为R ={}, (1)写出R 的关系矩阵。 (2)判断R 是不是偏序关系,为什么? 解 (1) R 的关系矩阵为: ??? ??? ? ? ? ?=100001100010100 10110 11111 )(R M (2)由关系矩阵可知,对角线上所有元素全为1,故R 是自反的;ij r +ji r ≤1,故R 是反对称的;可计算对应的关系矩阵为:

204电大离散数学,形考任务2

一、单项选择题(共 10 道试题,共 100 分。) 1. 设集合A = {1, a },则P(A) = ( D ). A. {{1}, {a}} B. { ,{1}, {a}} C. {{1}, {a}, {1, a }} D. { ,{1}, {a}, {1, a }} 2. 集合A={1, 2, 3, 4}上的关系R={|x=y且x, y A},则R的性质为(C ). A. 不是自反的 B. 不是对称的 C. 传递的 D. 反自反 3. 若集合A={ a,{a},{1,2}},则下列表述正确的是( C ). A. {a,{a}} A B. {1,2} A C. {a} A D. A 4. 设集合A ={1 , 2, 3}上的函数分别为:f = {<1, 2>,<2, 1>,<3, 3>},g = {<1, 3>,<2, 2>,<3, 2>},h = {<1, 3>,<2, 1>,<3, 1>}, 则h =( A ). A. f?g

C. f?f D. g?g 5. 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>,<2, 2>,<2, 3>,<4, 4>},S={<1, 1>,<2, 2>,<2, 3>,<3, 2>,<4, 4>},则S是R的( C )闭包. A. 自反 B. 传递 C. 对称 D. 自反和传递 6. 若集合A={1,2},B={1,2,{1,2}},则下列表述正确的是( A ). A. A B,且A B B. B A,且A B C. A B,且A B D. A B,且A B 7. 设集合A={1,2,3,4,5},偏序关系£是A上的整除关系,则偏序集上的元素5是集合A的( C ). A. 最大元 B. 最小元 C. 极大元 D. 极小元 8. 若集合A的元素个数为10,则其幂集的元素个数为( A ).

自考离散数学02324真题含答案(2009.4-2016.4年整理版)

全国2009年4月自学考试离散数学试题(附答案) 课程代码:02324 一、单项选择题(本大题共15小题,每小题1分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.下列为两个命题变元P,Q的小项是() A.P∧Q∧? P B.? P∨Q C.? P∧Q D.? P∨P∨Q 2.下列语句中是真命题的是() A.我正在说谎B.严禁吸烟 C.如果1+2=3,那么雪是黑的D.如果1+2=5,那么雪是黑的 3.设P:我们划船,Q:我们跑步。命题“我们不能既划船又跑步”符号化为() A.? P∧? Q B.? P∨? Q C.?(P?Q)D.?(? P∨? Q) 4.命题公式(P∧(P→Q))→Q是() A.矛盾式B.蕴含式 C.重言式D.等价式 5.命题公式?(P∧Q)→R的成真指派是() A.000,001,110,B.001,011,101,110,111 C.全体指派D.无 6.在公式(x ?)F(x,y)→(?y)G(x,y)中变元x是() A.自由变元B.约束变元 C.既是自由变元,又是约束变元D.既不是自由变元,又不是约束变元 7.集合A={1,2,…,10}上的关系R={|x+y=10,x∈A,y∈A},则R的性质是() A.自反的B.对称的 C.传递的、对称的D.反自反的、传递的 8.若R和S是集合A上的两个关系,则下述结论正确的是() A.若R和S是自反的,则R∩S是自反的 B.若R和S是对称的,则R S是对称的 C.若R和S是反对称的,则R S是反对称的 D.若R和S是传递的,则R∪S是传递的 9.R={<1,4>,<2,3>,<3,1>,<4,3>},则下列不是 ..t(R)中元素的是() A.<1,1> B.<1,2> C.<1,3> D.<1,4>

离散数学试卷二十三试题与答案

试卷二十三试题与答案 一、单项选择题:(每小题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 ,则的幺元为( )。 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。

离散数学期末试卷及答案

一.判断题(共10小题,每题1分,共10分) 在各题末尾的括号内画 表示正确,画 表示错误: 1.设p、q为任意命题公式,则(p∧q)∨p ? p ( ) 2.?x(F(y)→G(x)) ? F(y)→?xG(x)。( ) 3.初级回路一定是简单回路。( ) 4.自然映射是双射。( ) 5.对于给定的集合及其上的二元运算,可逆元素的逆元是唯一的。( ) 6.群的运算是可交换的。( ) 7.自然数集关于数的加法和乘法构成环。( ) 8.若无向连通图G中有桥,则G的点连通度和边连通度皆为1。( ) 9.设A={a,b,c},则A上的关系R={,}是传递的。( ) 10.设A、B、C为任意集合,则A?(B?C)=(A?B)?C。( ) 二、填空题(共10题,每题3分,共30分) 11.设p:天气热。q:他去游泳。则命题“只有天气热,他才去游泳”可符号 化为。 12.设M(x):x是人。S(x):x到过月球。则命题“有人到过月球”可符号 化为。 13.p?q的主合取范式是。 14.完全二部图K r,s(r < s)的边连通度等于。 15.设A={a,b},,则A上共有个不同的偏序关系。 16.模6加群中,4是阶元。 17.设A={1,2,3,4,5}上的关系R={<1,3>,<1,5>,<2,5>,<3,3>,<4,5>},则R的传递闭包t(R) = 。. 18.已知有向图D的度数列为(2,3,2,3),出度列为(1,2,1,1),则有向图D的入度

列为。 19.n阶无向简单连通图G的生成树有条边。 20.7阶圈的点色数是。 三、运算题(共5小题,每小题8分,共40分) 21.求?xF(x)→?yG(x,y)的前束范式。 22.已知无向图G有11条边,2度和3度顶点各两个,其余为4度顶点,求G 的顶点数。 23.设A={a,b,c,d,e,f},R=I A?{,},则R是A上的等价关系。求等价类[a]R、[c]R及商集A/R。 24.求图示带权图中的最小生成树,并计算最小生成树的权。 25.设R*为正实数集,代数系统< R*,+>、< R*,·>、< R*,/>中的运算依次为普通加法、乘法和除法运算。试确定这三个代数系统是否为群?是群者,求其单位元及每个元素的逆元。 四、证明题(共3小题,共20分) 26 (8分)在自然推理系统P中构造下述推理的证明: 前题:p→(q∨r),?s→?q,p∧?s 结论:r 27 (6分)设是群,H={a| a∈G∧?g∈G,a*g=g*a},则是G的子群 28.(6分)设G是n(≥3)阶m条边、r个面的极大平面图,则r=2n-4。

2018国家开放大学离散数学本形考任务答案

离散数学作业4 离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次,容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第二次作业,大家要认真及时地完成图论部分的综合练习作业. 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档 3. 自备答题纸,将答题过程手工书写,并拍照上传. 一、填空题 1.已知图G中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G的边数是15 . 2.设给定图G(如右由图所示),则图G的点割集是 { f },{ e,c} . 3.设G是一个图,结点集合为V,边集合为E,则 G的结点度数之和等于边数的两倍. 4.无向图G存在欧拉回路,当且仅当G连通且不含奇数度结 点. 5.设G=是具有n个结点的简单图,若在G中每一对结点度数之和大于等于︱v︱,则在G中存在一条汉密尔顿路.6.若图G=中具有一条汉密尔顿回路,则对于结点集V的每个非空子集S,在G中删除S中的所有结点得到的连通分支数为W,则S中结点数|S|与W满足的关系式为W ≤S . 7.设完全图K n 有n个结点(n 2),m条边,当n为奇数时时, K n 中存在欧拉回路. 姓名: 学号: 得分: 教师签名:

8.结点数v与边数e满足e=v - 1 关系的无向连通图就是树. 9.设图G是有6个结点的连通图,结点的总度数为18,则可从G中删去条边后使之变成树. 10.设正则5叉树的树叶数为17,则分支数为i = 4 . 二、判断说明题(判断下列各题,并说明理由.) 1.如果图G是无向图,且其结点度数均为偶数,则图G存在一条欧拉回路. 答:错误。应叙述为:“如果图G是无向连通图,且其结点度数均为偶数,则图G存在一条欧拉回路。” 2.如下图所示的图G存在一条欧拉回路. 答:错误。因为图中存在奇数度结点,所以不存在欧拉回路。 3.如下图所示的图G不是欧拉图而是汉密尔顿图.

7月全国自考离散数学试题及答案解析

全国2018年7月自学考试离散数学试题 课程代码:02324 一、单项选择题(本大题共15小题,每小题1分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.下列句子不是 ..命题的是() A.中华人民共和国的首都是北京B.张三是学生 C.雪是黑色的D.太好了! 2.下列式子不是 ..谓词合式公式的是() A.(?x)P(x)→R(y) B.(?x) ┐P(x)?(?x)(P(x)→Q(x)) C.(?x)(?y)(P(x)∧Q(y))→(?x)R(x) D.(?x)(P(x,y)→Q(x,z))∨(?z)R(x,z) 3.下列式子为重言式的是() A.(┐P∧R)→Q B.P∨Q∧R→┐R C.P∨(P∧Q) D.(┐P∨Q)?(P→Q) 4.在指定的解释下,下列公式为真的是() A.(?x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B.(?x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2} C.(?x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} D.(?x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} 5.对于公式(?x) (?y)(P(x)∧Q(y))→(?x)R(x,y),下列说法正确的是() A.y是自由变元B.y是约束变元 C.(?x)的辖域是R(x, y) D.(?x)的辖域是(?y)(P(x)∧Q(y))→(?x)R(x,y) 6.设论域为{1,2},与公式(?x)A(x)等价的是() A.A(1)∨A(2) B.A(1)→A(2) C.A(1)∧A(2) D.A(2)→A(1) 7.设Z+是正整数集,R是实数集,f:Z+→R, f(n)=log2n ,则f() 1

离散数学b卷及答案

武汉理工大学《离散数学》考试试题(B卷) 站点:姓名:专业:层次 一、单项选择题(本大题共15小题,每小题1分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.令P:今天下雪了,Q:路滑,则命题“虽然今天下雪了,但是路不.滑”可符号化为()A.P→Q B.P∨Q C.P∧Q D.P∧Q 2.下列命题公式为重言式的是() A.Q→(P∧Q)B.P→(P∧Q) C.(P∧Q)→P D.(P∨Q)→Q 3.下列4个推理定律中,不.正确的是() A.A?(A∧B)B.(A∨B)∧A?B C.(A→B)∧A?B D.(A→B)∧B?A 4.谓词公式?x(P(x)∨?yR(y))→Q(x)中量词x?的辖域是() A.)) x? P ?B.P(x) x ∨ (y ( ) ( yR

C.(P(x)∨?yR(y)) D.P(x), Q(x) 5.设个体域A={a,b},公式?xP(x)∧?xS(x)在A中消去量词后应为() A.P(x)∧S(x) B.P(a)∧P(b)∧(S(a)∨S(b)) C.P(a)∧S(b) D.P(a)∧P(b)∧S(a)∨S(b) 6.下列选项中错误 的是() .. A.??? B.?∈? C.??{?} D.?∈{?} 7.设A={a,b,c,d},A上的等价关系R={, , , }∪I A,则对应于R的A的划分是() A.{{a},{b, c},{d}} B.{{a, b},{c}, {d}} C.{{a},{b},{c},{d}} D.{{a, b}, {c,d}} 8.设R为实数集,函数f:R→R,f(x)=2x,则f是() A.满射函数B.入射函数 C.双射函数D.非入射非满射 9.设R为实数集,R+={x|x∈R∧x>0},*是数的乘法运算,是一个群,则下列集合关于数的乘法运算构成该群的子群的是()

电大离散数学本形考任务完整版

电大离散数学本形考任 务 HUA system office room 【HUA16H-TTMS2A-HUAS8Q8-HUAH1688】

离散数学集合论部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第一次作业,大家要认真及时地完成集合论部分的综合练习作业. 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档 3. 自备答题纸张,将答题过程手工书写,并拍照上传. 一、填空题 1.设集合{1,2,3},{1,2} A B ==,P(A)-P(B )={{3},{1,3},{2,3},{1,2,3}},A B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} . 2.设集合A有10个元素,那么A的幂集合P(A)的元素个数为 1024 .

3.设集合A={0, 1, 2, 3},B={2, 3, 4, 5},R是A到B的二元关系, 则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>}. 4.设集合A={1, 2, 3, 4 },B={6, 8, 12},A到B的二元关系 R=} x∈ y y > <那么R-1={<6,3>,<8,4>}. x = ∈ 2 , , x , {B A y 5.设集合A={a, b, c, d},A上的二元关系R={, , , },则R具有的性质是没有任何性质. 6.设集合A={a, b, c, d},A上的二元关系R={, , , },若在R中再增加两个元素 ,则新得到的关系就具有对称性. 7.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有 2 个.8.设A={1, 2}上的二元关系为R={|xA,yA, x+y =10},则R的自反闭包为 <1,1>,<2,2> . 9.设R是集合A上的等价关系,且1 , 2 , 3是A中的元素,则R中至少包含 <1,1>,<2,2>,<3,3> 等元素. 10.设A={1,2},B={a,b},C={3,4,5},从A到B的函数f ={<1, a>, <2, b>},从B到C的函数g={< a,4>, < b,3>},则Ran(g f)= {<1,b>,<2,a>} . 二、判断说明题(判断下列各题,并说明理由.) 1.若集合A = {1,2,3}上的二元关系R={<1, 1>,<2, 2>,<1, 2>},则

2020年7月全国自考离散数学试题及答案解析试卷及答案解析真题.docx

??????????????????????精品自学考料推荐?????????????????? 浙江省 2019 年 7 月高等教育自学考试 离散数学试题 课程代码: 02324 一、单项选择题 (在每小题的四个备选答案中,选出一个正确答案,并将正确答案的序号填在 题干的括号内。每小题 1 分,共 14 分 ) 1.给定如下 4 个语句 : (1) 我不会游泳。(2)如果天不下雨,我就去踢足球。 (3) 我每天都看新闻联播。(4)火星上有人吗? 其中不是复合命题的是()。 A.(1)(4) B.(1)(3)(4) C.(1)(3) D.(3)(4) 2.设 P,Q,R 是命题公式 ,则 P→ R, Q→ R, P∨Q ()。 A. P B. Q C. R D. ┐ R 3.下列公式中正确的等价式是()。 A. ┐ ( x)A(x)(x) ┐ A(x) B. ┐ ( x)A(x)(x)┐ A(x) C. ( x)( y)A(x,y)( y)( x)A(x,y) D. ( x)( (x)∧ B(x))( x)A(x) ∨ ( x)B(x) 4.谓词公式 ( x)(P(x) ∨ ( y)R(y)) → Q(x) 中的 x()。 A.只是约束变元 B.只是自由变元 C.既非约束变元又非自由变元 D.既是约束变元又是自由变元 5.设个体域为整数集 ,则下列公式中值为真的是 ()。 A. (y)(x)(x · y=2) B. (x)(y)(x · y=2) C. (x)(x · y=x) D. (x)(y)(x+y=2y) 6.设 A={a,b,c}, 则 A 中的双射共有 ()。 A.3 个 B.6 个 C.8 个 D.9 个 7.设 S={a,b,c}, 则 S 的幂集的元素的个数有()。 A.3 个 B.6 个 C.8 个 D.9 个 8.设 A={a,b,c}, 则 A ×A 中的元素有 ()。 A.3 个 B.6 个 1

离散数学期末考试试题(有几套带答案)

离散数学试题(A卷及答案) 一、证明题(10分) 1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R 证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R)?((?P∧?Q)∧R))∨((Q∨P)∧R) ?(?(P∨Q)∧R)∨((Q∨P)∧R)?(?(P∨Q)∨(Q∨P))∧R ?(?(P∨Q)∨(P∨Q))∧R?T∧R(置换)?R 2)?x(A(x)→B(x))??xA(x)→?xB(x) 证明:?x(A(x)→B(x))??x(?A(x)∨B(x))??x?A(x)∨?xB(x)???xA(x)∨?xB(x)??xA(x)→?xB(x) 二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分) 证明:(P∨(Q∧R))→(P∧Q∧R)??(P∨(Q∧R))∨(P∧Q∧R)) ?(?P∧(?Q∨?R))∨(P∧Q∧R) ?(?P∧?Q)∨(?P∧?R))∨(P∧Q∧R) ?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R) ?m0∨m1∨m2∨m7 ?M3∨M4∨M5∨M6 三、推理证明题(10分) 1)C∨D, (C∨D)→?E, ?E→(A ∧?B), (A∧?B)→(R∨S)?R∨S 证明:(1) (C∨D)→?E (2) ?E→(A∧?B) (3) (C∨D)→(A∧?B) (4) (A∧?B)→(R∨S) (5) (C∨D)→(R∨S) (6) C∨D (7) R∨S 2) ?x(P(x)→Q(y)∧R(x)),?xP(x)?Q(y)∧?x(P(x)∧R(x)) 证明(1)?xP(x) (2)P(a) (3)?x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a)

相关文档 最新文档