《离散数学》课程试卷.docVIP

第PAGE6页共NUMPAGES6页

装订线

装订线

适用院系、班级：

第PAGE1页共NUMPAGES6页

2020--2021学年第二学期

《离散数学》试卷(A)

1、考生自己设定全集和三个不同的非空集合，并计算：

（1）；（2分） （2）（2分）（3）。（2分）

2、回答下列问题：

（1）考生自己给出非空集合，求笛卡尔积；（2分）

（2）解释二元关系的概念；（1分）

（3）自己设定一个上的非空关系，并求这个关系的逆关系；（1分）

（4）描述关系的五个性质，并对每个性质给出至少两种判定方法。（10分）

3、说明集合的划分与等价关系是一一对应关系，并用集合举例说明（即给出一个划分找对应的等价关系，以及利用等价关系划分集合）；（10分）

模块二：图论（共30分）

4、已知简单无向加权图的相邻矩阵如下，请回答下列问题

（1）画出顶点编号为}的无向图；（3分）

（2）该图是否是平面图？（3分）

（3）画出该图的一个子图；（3分）

（4）写出该图的度数序列,并说明简单无向图的度数序列的特点；（3分）

（5）求到其余顶点的最短路径。（8分）

5、设图是具有8个顶点的无向完全图，请回答下列问题

（1）判断图是否为欧拉图，说明理由；（4分）

（2）求出从某个顶点出发且路径长度为2的回路的条数；（4分）

（3）设为的生成树，求的边数。（2分）

模块三：数理逻辑（共25分）

6、求命题公式的主析取范式，并写出为假的解释。（8分）

7、已知三段论“凡人必死；苏格拉底是人；故苏格拉底必死。”

用谓词逻辑符号化并证明推理是正确的（5分）

8、求下面谓词公式的前束范式。

（5分）

9、在自然推理系统中构造下面推理的证明：（7分）

一公安人员审查一件盗窃案，已知的事实如下：

A、甲或乙盗窃了电视；

B、甲盗窃了电视，则作案时间不能发生在午夜前；

C、若乙的证词正确，则午夜时屋里的灯光未灭；

D、若乙的证词不正确，则作案时间发生在午夜前；

E、午夜时屋里的灯光灭了。

根据上述事实，利用逻辑推理，判断谁偷了电视。

模块四：代数系统（共8分）

10、完成下面任务：

（1）描述群的概念，自己构造一个有限群。（4分）

（2）举例说明拉格朗日定理。（4分）

模块五：综合题（共7分）

11、叙述两个有限集交的算法，并编写C语言程序。（7分）