（计算机科学与技术）离散数学试题及答案.docVIP

2025年（计算机科学与技术）离散数学试题及答案

第I卷（选择题共40分）

答题要求：请将正确答案的序号填在括号内。每题只有一个正确答案。

1.设集合A={1,2,3}，B={3,4,5}，则A∪B=（）

A.{1,2,3,4,5}B.{3}C.{1,2,4,5}D.{1,2}

2.下列关系中，（）是等价关系。

A.朋友关系B.父子关系C.整数的同余关系D.小于关系

3.命题公式?(P→Q)的主析取范式是（）

A.P∧?QB.?P∧QC.P∨?QD.?P∨Q

4.设R是集合A上的关系，若R是自反的、对称的和传递的，则R是（）

A.偏序关系B.等价关系C.全序关系D.拟序关系

5.对于图G=(V,E)，若|V|=n，|E|=m，则图G的度数之和为（）

A.nB.mC.2nD.2m

6.下列命题中，（）是真命题。

A.若2+2=4，则太阳从东方升起B.若2+2=5，则太阳从东方升起

C.若2+2=4，则太阳从西方升起D.若2+2=5，则太阳从西方升起

7.设A={a,b,c}，则A的幂集P(A)的元素个数为（）

A.3B.6C.8D.9

8.谓词公式?x(P(x)→Q(x))中，量词?x的作用域是（）

A.P(x)B.Q(x)C.P(x)→Q(x)D.?x(P(x)→Q(x))

9.若集合A上的关系R是反对称的，则（）

A.若x,y∈R且y,x∈R，则x=yB.若x,y∈R且x≠y，则y,x?R

C.若x,y∈R，则y,x?RD.以上都不对

10.下列图中，（）是欧拉图。

A.有一个奇度顶点的图B.有两个奇度顶点的图

C.每个顶点度数都是偶数的图D.每个顶点度数都是奇数的图

第Ⅱ卷（非选择题共60分）

1.填空题（每题2分，共10分）

-设集合A={1,2}，B={2,3}，则A-B=。

-命题公式P∨?P的真值为。

-设R={1,2,2,3}，则R的逆关系R?1=。

-若集合A有n个元素，则A的幂集P(A)有个元素。

-无向图G是连通图，若删除后，图G变成非连通图，则该边称为割边。

2.简答题（每题5分，共20分）

-(1)简述等价关系的定义，并举例说明。

u等价关系是集合A上的关系R，满足自反性、对称性和传递性。例如整数的同余关系，对于整数集Z，模m同余关系R={x,y|x≡y(modm)}，满足自反性（x≡x(modm)）、对称性（若x≡y(modm)，则y≡x(modm)）、传递性（若x≡y(modm)，y≡z(modm)，则x≡z(modm)）。/u

-(2)写出命题公式(P∧Q)→R的真值表。

u

|P|Q|R|P∧Q|(P∧Q)→R|

|---|---|---|-----|----------|

|0|0|0|0|1|

|0|0|1|0|1|

|0|1|0|0|1|

|0|1|1|0|1|

|1|0|0|0|1|

|1|0|1|0|1|

|1|1|0|1|0|

|1|1|1|1|1|

/u

-(3)简述偏序关系的定义，并画出集合A={1,2,3,6}上整除关系的哈斯图。

u偏序关系是集合A上的关系R，满足自反性、反对称性和传递性。对于集合A={1,2,3,6}上的整除关系，哈斯图如下：

6

/\

32

\/

1

/u

-(4)简述谓词公式中自由变元和约束变元的区别。

u自由变元是在谓词公式中不受量词约束的变元，可以自由取值；约束变元是受量词约束的变元，其取值由量词的作用域决定。例如在?x(P(x,y))中，x是约束变元，y是自由变元。/u

3.证明题（每题10分，共20分）

-证明：若集合A上关系R和S是自反的，则R∪S也是自反的。

u因为R和S是自反的，所以对于任意a∈A，有a,a∈R且a,a∈S。那么对于任意a∈A，a,a∈R∪S，所以R∪S是自反的。/u

-证明：在任何图G=(V,E)中，奇度顶点的个数是偶数。

u设图G中奇度顶点集合为V?，偶度顶点集合为V?。图中各顶点度数之和等于边数的两倍，即∑d(v)=2m。对于V?中顶点v，d(v)为奇数；对于V?中顶点v，d(v)为偶