2025年华科离散试题及答案.docVIP

2025年华科离散试题及答案

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

1.设集合A={1,2,3}，B={2,3,4}，则A∪B等于？

A.{1,2,3}

B.{2,3,4}

C.{1,2,3,4}

D.{1,4}

答案：C

2.下列哪个是命题？

A.今天天气真好！

B.请你闭眼。

C.2+2=4

D.这个苹果是红色的。

答案：C

3.逻辑表达式(p∧q)→p的值是？

A.真

B.假

C.无法确定

D.以上都不对

答案：A

4.设函数f:?→?定义为f(x)=x+1，则f是？

A.单射

B.满射

C.双射

D.以上都不是

答案：A

5.下列哪个是等价式？

A.p∧q→p

B.p∨q→p

C.(p∧q)?(q∧p)

D.p→(q→p)

答案：C

6.设集合A={1,2,3}，B={1,2}，则A相对于B的补集是？

A.{3}

B.{1,2}

C.{1,2,3}

D.?

答案：A

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

A.判断一个数是否为素数

B.判断一个图是否连通

C.判断一个命题是否为重言式

D.判断一个集合是否为有限集

答案：C

8.设命题p为“今天下雨”，q为“我带伞”，则“如果今天不下雨，那么我不带伞”的符号表示是？

A.?p→?q

B.p→q

C.?p∧?q

D.p∧?q

答案：A

9.下列哪个是偏序关系？

A.（小于）

B.≥（大于等于）

C.≠（不等于）

D.=（等于）

答案：B

10.设图G有n个顶点，m条边，则G的补图?G有多少条边？

A.n

B.m

C.n(n-1)/2-m

D.n(n-1)/2

答案：C

二、多项选择题（每题2分，共10题）

1.下列哪些是集合的性质？

A.交换律

B.结合律

C.分配律

D.单位元

答案：A,B,C

2.下列哪些是逻辑联结词？

A.∧（与）

B.∨（或）

C.→（蕴涵）

D.?（等价）

答案：A,B,C,D

3.下列哪些是函数的性质？

A.单射

B.满射

C.双射

D.奇函数

答案：A,B,C

4.下列哪些是命题逻辑的等价式？

A.p∧q?q∧p

B.p∨q?q∨p

C.(p∧q)∨r?p∧(q∨r)

D.p→q??p∨q

答案：A,B,C,D

5.下列哪些是图论的基本概念？

A.顶点

B.边

C.邻接矩阵

D.连通图

答案：A,B,C,D

6.下列哪些是偏序关系的性质？

A.反身性

B.对称性

C.传递性

D.抗对称性

答案：A,C,D

7.下列哪些是可计算问题？

A.判断一个数是否为素数

B.判断一个图是否连通

C.判断一个命题是否为重言式

D.判断一个集合是否为有限集

答案：A,B,C

8.下列哪些是组合数学的基本概念？

A.排列

B.组合

C.二项式系数

D.鸽巢原理

答案：A,B,C,D

9.下列哪些是数理逻辑的基本概念？

A.命题

B.谓词

C.量词

D.逻辑联结词

答案：A,B,C,D

10.下列哪些是图论的应用？

A.网络流

B.最小生成树

C.最短路径

D.图的着色

答案：A,B,C,D

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

1.集合A的补集是全集U相对于A的补集。

答案：正确

2.逻辑表达式p∨?p是重言式。

答案：正确

3.一个函数不可能是既是单射又是满射。

答案：错误

4.偏序关系是反对称的。

答案：正确

5.可判定问题一定是可计算问题。

答案：正确

6.图的邻接矩阵是唯一的。

答案：错误

7.组合数学只研究有限集合。

答案：正确

8.数理逻辑只研究命题逻辑。

答案：错误

9.图论只研究无向图。

答案：错误

10.最小生成树问题是一个可判定问题。

答案：正确

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

1.简述集合的并、交、补运算的定义。

答案：集合的并运算是指将两个集合中的所有元素合并在一起，去除重复元素，形成一个新的集合。集合的交运算是指将两个集合中共同存在的元素提取出来，形成一个新的集合。集合的补运算是指在一个全集中有两个集合A和B，补集是指全集U中不属于集合A的元素组成的集合，记作A的补集。

2.简述命题逻辑中的等价式的定义。

答案：命题逻辑中的等价式是指两个命题逻辑表达式在所有可能的真值赋值下，其真值总是相同的。等价式是逻辑表达式之间的一种关系，表示它们在逻辑上是等价的。

3.简述函数的单射、满射、双射的定义。

答案：函数的单射是指对于函数f:A→B，如果不同的A中的元素映射到B中的不同元素，则称f是单射。函数的满射是指对于函数f:A→B，如果B中的每一个元素都有至少一个A中的元素映射到它