北京理工大学离散数学I期末测试试卷及答案.docxVIP

北京理工大学离散数学I期末测试试卷及答案

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

一、

1.用联结词p,q,?,∧,∨,→,?表示下列命题逻辑公式：

(1)p且q为真时r为假，否则r为真。

(2)p与q至少有一个为假。

2.求下列命题公式的所有真值指派，并指出哪些公式是重言式（永真式）。

(1)(p∧q)→?p

(2)?(p?q)?(p∧?q)∨(?p∧q)

3.写出命题公式p→(q?r)的主析取范式和主合取范式。

4.使用自然演绎法证明下列推理：

前提：?p∨q,p→r,?r

结论：q

5.设论域为整数集?，谓词P(x,y)表示“x大于y”。请用逻辑符号写出下列命题：

(1)对所有x，存在y使得x+y=0。

(2)存在x，对所有y，x≤y。

二、

1.设G=(V,E)是一个无向图，其中V={v1,v2,v3,v4,v5}，E={(v1,v2),(v1,v3),(v2,v4),(v3,v4),(v4,v5)}。

(1)画出该图G。

(2)求图G的度数序列。

(3)图G连通吗？若连通，请给出从v1到v5的一条路径。

2.设G=(V,E)是一个有向图，其中V={a,b,c,d}，E={(a,b),(a,c),(b,d),(c,a),(c,d)}。

(1)画出该图G。

(2)求图G的邻接矩阵A。

(3)求顶点a到顶点d的所有简单路径。

3.设T是一棵树，有10个顶点。

(1)T有多少条边？

(2)T的最大度数是多少？（假设顶点度数可以有重复）

4.解释什么是欧拉路径和欧拉回路。判断下列图是否存在欧拉路径或欧拉回路：

(1)一个有4个顶点、4条边的简单无向图，每个顶点度数为2。

(2)一个有5个顶点、6条边的连通无向图，其中3个顶点度数为2，2个顶点度数为3。

三、

1.用递推关系定义序列{an}，其中a1=1,an=2an-1+3对于n≥2。求a4的值。

2.一个楼梯有10级台阶。某人上楼梯，每次可以走1级或2级。问有多少种不同的走法能到达楼梯顶部？

3.从一个装有4个红球和5个蓝球的袋中不放回地依次取出3个球。

(1)求取出的3个球都是红球的概率。

(2)求取出的3个球中至少有1个蓝球的概率。

4.在一个小组中有6名男生和4名女生。要随机选出3名代表，其中至少包含1名女生。求这样的选法有多少种？

试卷答案

一、

1.(1)p∧q→?r

(2)?(p∧q)

2.(1)真值指派及真假性：

|p|q|?p|(p∧q)|(p∧q)→?p|(2)|?(p?q)|(p∧?q)|(?p∧q)|(5)|

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

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

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

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

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

公式(1)不是重言式，公式(2)是重言式。

3.主析取范式：pqr∨pqr∨pqr∨pqr

主合取范式：?p∨?q∨r

4.证明：

1.假设?q为真。

2.由