新疆2025自考[计算机科学]离散数学高频题考点.docxVIP

第PAGE页共NUMPAGES页

新疆2025自考[计算机科学与技术]离散数学高频题(考点)

一、单项选择题（每题2分，共20分）

1.下列哪个不是命题？

A.今天天气很好

B.2+3=5

C.请开门

D.他很高

2.命题“P∧Q”为真，则P和Q的关系是？

A.P真Q假

B.P假Q真

C.P真Q真

D.P假Q假

3.命题“P→Q”的逆否命题是？

A.Q→P

B.?P→?Q

C.P→?Q

D.?Q→?P

4.下列哪个是可判定的？

A.2是素数

B.爱因斯坦是物理学家

C.存在最大的素数

D.3+5=8

5.集合{1,2,3}和{3,2,1}的关系是？

A.相等

B.不相等

C.包含

D.无关

6.空集?的基数是？

A.0

B.1

C.无穷

D.不确定

7.集合A={1,2,3}的幂集P(A)的基数是？

A.3

B.6

C.8

D.9

8.关系R={1,2,2,3,3,4}的传递闭包是？

A.{1,2,2,3,3,4}

B.{1,2,1,3,1,4,2,3,2,4,3,4}

C.{1,3,1,4,2,4}

D.{1,2,2,3,3,4,1,3,1,4,2,4}

9.函数f:?→?定义为f(x)=2x，它是？

A.单射

B.满射

C.双射

D.非双射

10.偏序集（?,≤）的哈斯图是？

A.线性序

B.链状结构

C.分枝结构

D.以上都不是

二、填空题（每题2分，共20分）

1.命题“P∨Q”为真，则P和Q的关系是__________。

2.命题“P?Q”为真，则P和Q的关系是__________。

3.集合A={1,2,3}和集合B={3,4}的笛卡尔积是__________。

4.关系R={1,2,2,3}的逆关系是__________。

5.函数f:?→?定义为f(x)=x+1，它是__________。

6.偏序集（?,≤）的极大元是__________。

7.关系R={1,1,2,2,3,3}的性质有__________。

8.集合A={1,2,3}的幂集是__________。

9.命题逻辑的永真式是__________。

10.关系矩阵的转置矩阵是__________。

三、判断题（每题2分，共20分）

1.命题“P∧?P”是永假式。

2.集合A?B，则A的幂集?B的幂集。

3.关系R={1,2,2,1}是反自反的。

4.函数f:?→?定义为f(x)=x2是双射。

5.偏序集（?,≤）的极小元是0。

6.关系R的闭包一定是自反的。

7.集合A={1,2,3}和集合B={3,4}的并集是{1,2,3,4}。

8.命题“P→Q”等价于“?P∨Q”。

9.幂集的基数是2的基数。

10.关系矩阵是对称的，则关系是可交换的。

四、简答题（每题5分，共25分）

1.简述命题逻辑与谓词逻辑的区别。

2.解释什么是集合的笛卡尔积。

3.描述关系的自反性、反自反性和对称性。

4.说明什么是函数的单射、满射和双射。

5.解释偏序集的极大元和极小元。

五、计算题（每题10分，共40分）

1.证明命题公式“P?Q”等价于“(P→Q)∧(Q→P)”。

2.求集合A={1,2,3}和集合B={a,b}的笛卡尔积，并计算其基数。

3.给定关系R={1,2,2,3,3,1}，证明R不是函数。

4.构造偏序集（?,≤）的哈斯图，并找出其极大元和极小元。

答案与解析

一、单项选择题

1.D

解析：命题必须是可判断的真假陈述，“他很高”是主观描述，不可判断。

2.C

解析：P∧Q为真，则P和Q都为真。

3.B

解析：命题“P→Q”的逆否命题是“?Q→?P”。

4.B

解析：“2是素数”是真命题，可判定。其他选项不可判定或非命题。

5.A

解析：集合与元素顺序无关，{1,2,3}={3,2,1}。

6.A

解析：空集没有元素，基数为0。

7.C

解析：集合{1,2,3}的幂集有23=8个元素。

8.B

解析：传递闭包包括所有可达对，{1,3,1,4,2,4}及原有对。

9.C

解析：f(x)=2x，每个自然数x映射唯一y，且每个y有唯一x，双射。

10.A

解析：?在≤下是线性序，哈斯图为链状结构。

二、填空题

1.P真Q真

解析：P∨Q为真，则P和Q至少有一个为真，但若P和Q都为真，则也为真。

2.P等价Q

解析：P?Q为真，则P和Q同真同假。

3.{(1,3),(1,4),(2,3),(2,4)}

解析：笛卡尔积是所有有序对组合。

4.{2,1,3,2}

解析：逆关系是将所有有序对的方向反转。

5.单射

解析：f(x)=x+1，每个x映射唯一y，无重复。