太原理工大学离散试卷 13年

发布时间:   来源:文档文库   
字号:
线线(考试类型闭卷

太原理工大学离散结构试卷A

适用专业:计算机软件11考试日期:2013-12-时间:120分钟8







得分
一、选择题(本大题共10小题,每小题2分,共20分)线请将答案填入下列表格中。


12
3
4
5
6
7
89101






1.考虑下列语句语句,请确定哪个是命题。
A.郑州是河北的省会。
B.中国承办2008年奥运会。C.地球外的星球上也有人类。D.我在说谎。
2.对于下列各式,请选择真值为真的命题。其中ABC是任意集合。
A.AB=ACB=CB.AB=ACB=C
C.{ab}{abc{abc}}D.{ab}(abc{abc}3.下列等式中有一个不成立,请选择。
A(AB×(CD(A×C−(B×DBA(BC=(AB∩(ACC(AB×(CD(A×C(B×DD(ABC=A(BC
4.设RSA上的任意关系,则下列表达只有一个不正确,请选择。
A.若RS是反自反的,则RS也是反自反的。B.若RS是自反的,则RS也是自反的。C.若R是自反的,则R1也是自反的。
D.若R是反自反的,则R1也是反自反的。
A18

5c为无限不可数集合的基数。以下给出四个集合,其中有一个的基数为c。请选择。
A.{k|k3n-2,n{0,1,2,}}
B.由所有圆心在圆点,以正有理数为半径的圆周所组成的集合C.由所有圆心在原点的所有圆周组成的集合D.正有理数集合与偶数集合的并集6.下列函数中,只有一个是双射,请选择。
Af:NNf(x=x2+1
Bf:ZZf(x=(xmod3(函数值为x除以3的余数Cf:NNf(xDf:RRf(x=x3
7.f:ABg:BC是两个函数,下列叙述只有一个不正确的,请选择。
A.如果gf是单射,那么f是满射。
B.如果f:ABg:BC是两个双射,则gf是双射。C.如果f:ABg:BC是两个单射,则gf是单射。D.如果gf是双射,那么g是满射。8.下列代数系统只有一个是群,请选择。
A+>,其中+是普通加法,Z是整数集合。
BA*>其中AAAA的所有函数的集合,*是函数的合成。C+>,其中+是普通加法,R是实数集合。D-{0,×>,其中×是普通加法,R是实数集合。9.A{123456}RA上的二元关系,且R{<25><52>}下列选项哪一个是R的对称闭包s(R
A{<25><52><11><22><33><44><55>}B{<25><52><22><55>}C{<25><52>}D
10.下列命题只有一个正确,请选择。
1
0
xx


A割边是唯一存在的。B有两个割点。
C{e7e8}是边割集。D{v5v6}是点割集。
A28

线线(
得分
填空题(本大题共10小题,每空2分,共20分)
请在每小题的空格中填上正确答案。错填、不填均无分。

1p:天下雪。q:我将进城。r:我有时间。将下列命题符号化。
“如果天不下雪而我又有时间的话,我将进城。2.写出命题公式(pq(pr的成真赋值。
线3.写出命题公式(pqr的成假赋值。
4.写出谓词公式(xP(x(xQ(x的前束范式。
5.A={1234}RAA上的等价关系,<ab>R<cd>a+b=c+d
写出R诱导的划分。

6.AAAA的所有函数的集合,*是函数的合成,则A*>是代数系统,写出其幺元。
7.集合A={a,b,c},集合B={1,2,3,4},则集合A到集合B存在多少个不同的关系?请给出答案。
8.有向图D如下,D中长度为2的通路有多少条。请给出答案。


A38

9.有向图D如通上面第8小题,写出有向图D的可达矩阵P

10.F={{1}{13}{123}},请写出偏序集>的哈斯图。

得分证明题(本大题共3小题,每小题10分,共30分)
1.在自然推理系统中证明下列题是有效论证。10rqrssqpqp证明:
A48

线线(
2.用归谬法证明下列结论为前提的有效结论。10
(x(F(xG(x(x(G(xR(x(xR(x(xF(x证明:线
A58

3.CP规则证明下列结论为前提的有效结论。10
(x(F(xG(x(x(G(xR(x(xR(x(xF(x证明:
得分
计算题(共3小题,每小题10分,共计30分)

1.10分)
考虑集合AB1B2
A={abcde},≤={cd}IAB1={abcde}B2={cde}请完成下列各项任务。
1画出下列偏序集A,≤的哈斯图;2分)解:
A68

线线(
2找出A的子集B1B2的极大元、极小元、最大元、最小元、
上界、下界、上确界和下确界,将答案填入下列表格。8分)
极大元极小元最大元
最小元
上界下界上确界
下确界B1B2










线210分)
试将下列公式化为主析取范式和主合取范式。(pqr解:
A78

3.10分)
<a,b,∪>是一个代数系统,其中a,b)是幂集,∪是集合并运算。请解答以下问题。1)写出幺元;22)写出零元;2
3)考虑所元素的逆元情况,并给出答案。3
4)写出并运算∪满足的运算律,至少写出三个。3解:
A88

本文来源:https://www.2haoxitong.net/k/doc/b0b4f99deef9aef8941ea76e58fafab068dc444f.html

《太原理工大学离散试卷 13年.doc》
将本文的Word文档下载到电脑,方便收藏和打印
推荐度:
点击下载文档

文档为doc格式