离散数学题库与答案试卷及答案.docxVIP

离散数学题库与答案试卷及答案

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

一、选择题（每小题3分，共15分）

1.设集合A={1,2,3},B={2,3,4},C={3,4,5}，则(A∩B)∪C=?

2.下列哪个命题是永真式？

(1)p∧?p

(2)p∨?p

(3)p→?p

(4)?(p∧q)??p∨?q

3.设函数f:A→B，其中A={a,b,c},B={1,2,3}，且f(a)=2,f(b)=1,f(c)=3。则函数f是什么类型？

4.无向图G中，如果G中存在一条经过所有顶点至少一次的路径，则称该路径为G的？

5.n个元素组成的集合，其所有真子集的个数是？

二、填空题（每小题4分，共20分）

1.谓词逻辑公式?x(P(x)→Q(x))在自然推理系统中等价于??x(P(x)∧?Q(x))，这个等价式称为______。

2.关系R={(1,2),(2,3),(1,3)}在集合A={1,2,3}上是______关系。

3.一个有n个顶点的无向图，其最大度数最多为______。

4.设n是正整数，则组合数C(n,k)=C(n,n-k)，这个性质称为______。

5.用命题公式p,q,r表示命题“如果p成立，或者q不成立，那么r成立”，其逻辑表达式为______。

三、计算题（每小题6分，共18分）

1.求解下列逻辑表达式：?(p∧(q∨r))?(?p∨?q)∧(?p∨?r)。

2.设集合A={1,2,3,4}，关系R={(1,2),(2,3),(3,4),(4,1)}。证明关系R是A上的等价关系。

3.用鸽巢原理证明：在任意集合S中，如果有6个元素，则S的某个子集S（至少含有2个元素）必然有k2个元素，其中k=2或k=3。

四、证明题（每小题7分，共21分）

1.证明：一个有n个顶点的无向图G，如果G的每对顶点之间都至少有一条边相连，则G的任何两个顶点都是连通的。

2.设n是大于1的正整数。证明：在n个元素组成的集合的任意k(1≤k≤n)个子集中，必然存在两个子集，它们的交集的大小相同。

3.证明：在任何有至少3个顶点的简单无向图中，至少存在两个顶点，它们的度数相同。

五、应用题（每小题8分，共16分）

1.某个密码锁有4个拨盘，每个拨盘上有0到9共10个数字。密码是按顺序选择4个不同的数字组成的一个4位数。问：这个密码锁总共有多少种可能的密码？请用组合数学知识解答。

2.在一个社交网络中，每个用户是一个顶点。如果两个用户互为好友，则在他们对应的顶点之间画一条无向边。假设该社交网络中有1000个用户，并且任意两个用户之间都直接互为好友。问：这个社交网络图具有哪些性质？请至少说明两个。

试卷答案

一、选择题

1.{3,4,5}

解析：A∩B={1,2}，(A∩B)∪C={1,2}∪{3,4,5}={1,2,3,4,5}。

2.(2)

解析：p∨?p是一个永真式（排中律）。其他选项均为永假式或条件式。

3.满射（或称映上函数）

解析：因为对于B中的每个元素1,2,3，都至少有一个A中的元素映射到它（f(a)=2,f(b)=1,f(c)=3），所以是满射。

4.环游路径（或欧拉路径的一种特称，如果限定经过所有顶点且边不重复）

解析：根据题意描述，这是经过所有顶点的路径。

5.2^n-1

解析：n个元素的集合共有2^n个子集，去掉空集，真子集个数为2^n-1。

二、填空题

1.量词转换规则（或德·摩根定律在量词中的应用）

解析：该等价式是谓词逻辑中通过否定将全称量词转换为存在量词，并否定谓词的规则。

2.反对称

解析：检查R是否满足反身性（略）、对称性（不满足，如(1,2)在但(2,1)不在）、传递性（略），因为不满足对称性，所以是反对称关系。

3.n-1

解析：任何顶点的度数最大为n-1（与图中其他所有顶点相连）。

4.组合数的对称性

解析：这是组合数C(n,k)的一个基本性