离散数学试卷2017.6月.docVIP

共NUMPAGES5页第PAGE1页

系（部）：专业班级：姓名：学号：

系（部）：专业班级：姓名：学号：

装订线内不要答题

课程名称：离散数学课程类别：必修考试方式：闭卷

适用专业：计算机151-152

注意事项：1、本试卷满分100分。

2、考试时间120分钟。

题号

一

二

三

四

五

六

七

得分

得分

评阅人

得分

一、单项选择题（在每小题的四个备选答案中，选出一个正确答案，

并将正确答案的选项填在题后的括号内。每小题2分，共8分）

1.公式的类型是()

A.重言式B.矛盾式

C.非重言式的可满足式D.以上均不对

2.|A|=n,|B|=m,且m,n0,则|BA|=()

A.B.

C.nmD.mn

3.集合的广义并=()

A.B.

C.D.

4.f：R→R,f(x)=-x2+2x-1，则f是()

A.单射B.满射

C.双射D.以上均不对

得分

二、填空题（每小题3分，共36分）

1.令p:吴颖用功,q:吴颖聪明，吴颖既用功又聪明符号化为_______

2.如果21,则的真值为_______

3.(q?p)ùq?p的成真赋值为______

4.(p??q)?r?的成假赋值为___

5.设A有3个命题变项,且已知A=m2úm4úm5úm6，A的主合取范式为

___

6.设D为人类集合，G(x)：x用左手写字，则一阶逻辑中命题有人用左手写字符号化为_____

7.给定解释I如下：

(a)个体域D=R(b)

(c)(d)

则公式xF(g(x,y),a)在I下的解释为_______

8.R={1,2,2,3,1,4,2,2}，S={1,1,1,3,2,3,3,2,3,3}，

则S°R=____

9.设R={1,2,1,3,2,2,2,4,3,2},则R?{2}=______

10.设R为A上的关系,则有R的对称闭包s(R)=______

11.设G=V,E为任意无向图，V={v1,v2,…,vn},|E|=m,则____

12.无向图G是欧拉图当且仅当__

得分

三、名词解释（每小题3分，共18分）

1.R为A上递推关系的定义为：

2.R为A上的偏序关系的定义为：

3.F为单射函数的定义为：

4.简单图的定义为：

5.欧拉通路的定义为：

6.哈密顿回路的定义为：

得分

四、证明题（每小题5分，共20分）

1.用等值演算法证明

2.用附加前提证明法去构造下面推理的证明：

如果小张和小王去看电影，则小李也去看电影；小赵不去看电影或小张去看电影；小王去看电影。所以，当小赵去看电影时，小李也去。

3.证明A-B=A?~B

4.设F是任意的关系,证明

得分

五、计算题（每小题6分，共18分）

1