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

2026年华科离散试题及答案

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

1.在集合论中，_________是研究集合之间关系的数学分支。

2.一个图G包含n个顶点和m条边，如果G是连通的，那么m至少为_________。

3.在命题逻辑中，_________是命题变元的否定。

4.在集合A={1,2,3}上定义的二元关系R={1,1,1,2,2,3}，R的传递闭包是_________。

5.在图论中，_________是指一个图中所有顶点的度数之和。

6.在集合论中，_________是指一个集合中所有元素的集合。

7.在命题逻辑中，_________是两个命题P和Q的合取。

8.在图论中，_________是指一个图中所有边的集合。

9.在集合论中，_________是指两个集合A和B的并集。

10.在命题逻辑中，_________是命题变元的真值。

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

1.在集合论中，空集是任何集合的子集。（）

2.一个图G包含n个顶点，如果G是完全图，那么G的边数是n(n-1)/2。（）

3.在命题逻辑中，命题公式P的否定记作?P。（）

4.在集合论中，集合A和集合B的交集记作A∩B。（）

5.在图论中，一个连通图至少包含两个顶点。（）

6.在集合论中，集合A的幂集是指集合A的所有子集的集合。（）

7.在命题逻辑中，