广东工业大学离散数学试卷及答案.docxVIP

广东工业大学离散数学试卷及答案

考试时间：______分钟总分：______分姓名：______

一、

1.设集合A={1,2,3,4},B={2,4,6,8},C={3,4,5,6}。求下列集合表达式：

(1)A∩(B∪C)

(2)(A-B)∪(A-C)

(3)A×B的所有元素（只需列举4个元素）

2.写出下列命题的否定形式：

(1)对所有整数n，n2≥0

(2)存在一个实数x，使得x2+1=0

3.判断下列命题形式的类型（重言式T、矛盾式F、可满足式S）：

(1)(p→q)?(?q→?p)

(2)p∧(q∨?r)

4.使用真值表判断下列命题公式是否为重言式：

(p∧q)→(p∨r)

5.将下列命题公式转换为合取范式（ConjunctiveNormalForm,CNF）：

?(p∧q)∨r

二、

1.判断下列关系是否为集合A={1,2,3}上的等价关系。若是，请说明理由；若是，请写出所有等价类。

R={(1,1),(2,2),(3,3),(1,3),(3,1)}

2.设R是集合A={a,b,c}上的关系，R={(a,b),(b,c),(c,a)}。判断R是否是A上的偏序关系？如果是，请说明是全序关系还是偏序关系。如果不是，请说明理由。

3.设函数f:?→?定义为f(n)=n+1。判断f是否为单射（Injective）？判断f是否为满射（Surjective）？请说明理由。

三、

1.计算下列组合数：

(1)C(10,6)

(2)C(7,0)+C(7,1)+...+C(7,7)

(3)组合数C(n,k)与C(n,n-k)之间存在什么关系？

2.从5名男性和4名女性中选出3名代表，要求至少包含1名女性。问有多少种不同的选法？

3.用递归关系描述n个节点可以形成多少种不同的二叉树，并写出初始条件。

四、

1.证明：一个有向图G是强连通的，当且仅当G中存在一个经过所有顶点的有向回路。

2.设G是一个无向图，V(G)={v?,v?,v?,v?,v?}，E(G)={(v?,v?),(v?,v?),(v?,v?),(v?,v?),(v?,v?),(v?,v?)}。求G的连通分支数，并给出每个连通分支的顶点和边集。

3.在一个有向图中，如果存在一条从顶点v到顶点u的路径，那么称v控制了u。设G=(V,E)是一个有向图，定义V上的二元关系R如下：对于任意u,v∈V，uRv当且仅当u控制了v。证明：R是V上的偏序关系。

五、

1.设S=Z,+是整数加法群。证明：Z?,+={0,1,2,3,4,5},+?是S的子群。

2.设G是一个含有n个元素的有限群。证明：如果G中每个元素的阶都整除n，则G必是一个阿贝尔群。

3.写出三元群S?（对称群S?）的所有元素及其乘法表。

试卷答案

一、

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

(2){1,3}

(3){(1,2),(1,4),(1,6),(1,8),...,(4,2),(4,4),(4,6),(4,8)}（列举任意4个正确对即可）

2.(1)存在一个整数n，使得n20

(2)对所有实数x，x2+1≠0

3.(1)T（是重言式，等价于逆否命题）

(2)S（可满足式，例如p=True,q=False,r=True时为True）

4.T（真值表验证，该公式为重言式）

5.(p∨q∨?r)∧(?p∨q∨?r)∧(?p∨?q∨?r)∧(?p∨?q∨r)（或其等价形式）

二、

1.不是等价关系。它不是自反的（例如(2,2)?R）。等价关系必须满足自反性、对称性和传递性。

2.不是偏序关系。它不满足传递性（例如(a,b)∈R且(b,c)∈R，但(a,c)?R）。偏序关系必须满足自反性、反对称性和传递性。

3.不是单射。因为f(1)=2,f(2)=3,