云南2025自考[计算机科学]离散数学模拟题及答案.docxVIP

第PAGE页共NUMPAGES页

云南2025自考[计算机科学与技术]离散数学模拟题及答案

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

1.下列哪个不是命题逻辑中的基本联结词？

A.非（?）

B.与（∧）

C.或（∨）

D.等价（≡）

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

A.{1,2,3}

B.{2,3,4}

C.{1,2,3,4}

D.{1,4}

3.下列哪个是图G的欧拉回路？

A.经过每条边一次且仅一次，并回到起点

B.经过每个顶点一次且仅一次

C.连通且无环

D.顶点数是偶数

4.下列哪个不是谓词逻辑中的量词？

A.全称量词（?）

B.存在量词（?）

C.选择量词（?）

D.空量词（?）

5.哈密顿回路是指？

A.经过每个顶点一次且仅一次的回路

B.经过每条边一次且仅一次的回路

C.连通且无环的图

D.顶点数是偶数的图

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

A.（严格小于）

B.≤（小于等于）

C.≠（不等于）

D.=（等于）

7.下列哪个是等价关系？

A.（严格小于）

B.≤（小于等于）

C.≠（不等于）

D.=（等于）

8.下列哪个是组合数学中的排列？

A.从n个元素中取k个，顺序不重要

B.从n个元素中取k个，顺序重要

C.所有可能的子集

D.所有可能的有序对

9.下列哪个是图论中的最小生成树？

A.连通且无环的子图

B.边权最小的生成树

C.经过每个顶点一次的回路

D.顶点数是偶数的图

10.下列哪个是布尔代数中的基本运算？

A.加法（+）

B.乘法（·）

C.非门（?）

D.以上都是

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

1.若集合A={1,2,3}，B={2,3,4}，则A∩B=______。

2.谓词逻辑中的命题“所有整数都是偶数”可以用______表示。

3.图G的顶点数是6，边数是10，则其度数之和为______。

4.偏序集（A,≤）中，若a≤b且b≤a，则称a和b是______。

5.组合数学中的组合公式C(n,k)=______。

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

1.命题逻辑中的永假式是指在任何解释下都为假的命题。（√）

2.集合的笛卡尔积A×B是集合A和B的所有有序对的集合。（√）

3.欧拉回路是指经过每条边一次且仅一次的回路。（√）

4.谓词逻辑中的全称量词?表示“存在”。（×）

5.最小生成树是连通图的一棵边权最小的生成树。（√）

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

1.简述命题逻辑中的永真式和永假式的区别。

2.简述集合的幂集的定义及其性质。

3.简述图论中的连通图和无向图的区别。

4.简述谓词逻辑中的量词的作用。

5.简述组合数学中的排列和组合的区别。

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

1.求命题公式(p?q)∧(?p∨r)的真值表。

2.求集合A={1,2,3}的所有子集。

3.求图G的最小生成树，边权分别为（1,2,3,4,5,6），顶点数是3。

六、证明题（共2题，每题10分，共20分）

1.证明：集合的并集和交集满足交换律和结合律。

2.证明：图G是树当且仅当它是连通且无环的。

答案及解析

一、单项选择题

1.D（等价不是基本联结词）

2.C

3.A

4.D

5.A

6.B

7.D

8.B

9.B

10.D

二、填空题

1.{2,3}

2.?x(x∈Z→x是偶数)

3.20

4.相等

5.C(n,k)=n!/(k!(n-k)!)

三、判断题

1.√

2.√

3.√

4.×（?表示“所有”）

5.√

四、简答题

1.永真式是指在任何解释下都为真的命题，如p∨?p；永假式是指在任何解释下都为假的命题，如p∧?p。

2.幂集是集合A的所有子集的集合，如A={1,2}，则幂集P(A)={?,{1},{2},{1,2}}。

3.连通图是指任意两个顶点之间都有路径的图；无向图是指边没有方向的图。

4.量词用于表示命题的范围，全称量词?表示“所有”，存在量词?表示“存在”。

5.排列是考虑顺序的选取，如P(3,2)=6；组合不考虑顺序，如C(3,2)=3。

五、计算题

1.真值表：

|p|q|r|?p|?p∨r|p?q|(?p∨r)∧(p?q)|

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

|T|T|T|F|T|T|T|

|T|T|F|F|F|T|F|

|T|F|T|F|T