东华理工大学《离散数学》2023-2024学年第一学期期末试卷.pdf

东华理工大学《离散数学》2023-2024学年第一学期期末试卷

考试课程：离散数学

考试时间：120分钟

专业：计算机科学与技术

总分：100分

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

1.以下哪种数学结构是离散的？

A.实数域

B.整数环

C.有理数域

D.komplexnumberfield

2.以下哪种关系是等价关系？

A.小于关系

B.等于关系

C.大于关系

D.包含关系

3.以下哪种图是连通图？

A.完全图

B.树图

C.环图

D.以上都是

4.以下哪种命题逻辑公式是有效的？

A.p→q

B.p∧q

C.p∨q

D.以上都是

5.以下哪种递归关系是线性递归关系？

A.T(n)=2T(n/2)+n

B.T(n)=T(n-1)+n

C.T(n)=2T(n-1)+1

D.以上都是

6.以下哪种离散数学结构是半群？

A.整数环

B.有理数域

C.实数域

D.自然数集合

7.以下哪种图是二部图？

A.完全图

B.树图

C.环图

D.以上都是

8.以下哪种命题逻辑公式是无效的？

A.p→q

B.p∧q

C.p∨q

D.p→¬q

9.以下哪种递归关系是非线性递归关系？

A.T(n)=2T(n/2)+n

B.T(n)=T(n-1)+n

C.T(n)=2T(n-1)+1

D.以上都是

10.以下哪种离散数学结构是群？

A.整数环

B.有理数域

C.实数域

D.自然数集合

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

11.一个图的每个顶点度数都是偶数，则该图是欧拉图。（）

12.一个命题逻辑公式是有效的，当且仅当它的所有可能的赋值都使其为

真。（）

13.一个递归关系的解可以用递推公式表示。（）

14.一个半群可以生成一个群。（）

15.一个图的连通分量数目是该图的顶点数目减去该图的边数目加一。（）

16.一个命题逻辑公式是无效的，当且仅当它的所有可能的赋值都使其为

假。（）

17.一个递归关系的解可以用数学归纳法证明。（）

18.一个群可以生成一个半群。（）

19.一个图的欧拉路径是该图的一个闭合路径。（）

20.一个命题逻辑公式是等价的，当且仅当它的所有可能的赋值都使其为同

一个值。（）

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

21.一个图的顶点度数是_____________。

22.一个命题逻辑公式的赋值是_____________。

23.一个递归关系的解可以用_____________表示。

24.一个半群的定义是_____________。

25.一个图的连通分量数目是_____________。

26.一个命题逻辑公式的有效性可以用_____________证明。

27.一个递归关系的解可以用_____________表示。

28.一个群的定义是_____________。

29.一个图的欧拉路径是_____________。

30.一个命题逻辑公式的等价性可以用_____________证明。

四、简答题（每题10分，共40分）

31.请简述离散数学结构的基本概念及其在计算机科学中的重要性。

32.试述图论在计算机科学中的应用。

33.请简述命题逻辑的基本概念及其在计算机科学中的应用。

34.试述递归关系在计算机科学中的应用。

考试说明：

1.