2025年大学《数理基础科学》专业题库—— 离散数学中的案例研究.docxVIP

2025年大学《数理基础科学》专业题库——离散数学中的案例研究

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

一、

设集合A,B,C为全集U下的非空子集。证明：若A?B，则A∩C?B∩C。

二、

给定命题公式P=(p→q)∧(?q→?p)。证明P是一个重言式（永真式）。

三、

设A={1,2,3,4,5}，B={a,b,c}。构造从A到B的所有不同函数，并计算其总数。

四、

考虑图G，其顶点集V={v1,v2,v3,v4,v5}，边集E={(v1,v2),(v1,v3),(v2,v4),(v3,v4),(v4,v5)}。回答以下问题：

1.指出图G中的所有简单路径，并说明其长度。

2.判断图G是否连通？如果不是，找出其连通分量（用顶点集表示）。

3.求图G的邻接矩阵。

五、

在一个有n个顶点的无向连通图中，证明其边数至少为n-1。

六、

某公司有6个不同的职位空缺，需要从10名候选人中挑选6人来担任。如果这6个职位彼此不同，有多少种不同的任命方式？

七、

定义一个关系R在集合A={1,2,3,4}上，R={(1,2),(2,3),(3,4),(4,1),(1,1),(2,2),(3,3),(4,4)}。

1.判断关系R是否是自反的、反自反的、对称的、反对称的、传递的？

2.求关系R的闭包R+，使其具有自反性和传递性。

八、

设有一个有限群G，其阶（元素个数）为12。证明G中必存在一个元素，其阶不是12的约数（即阶小于12）。

九、

在一个密码系统中，使用欧拉函数φ(n)和模逆元。已知n=35，计算φ(35)。假设整数a=7，求a在模35下的逆元（如果存在）。

试卷答案

一、

证明：设任意x∈A∩C。根据交集定义，有x∈A且x∈C。由已知条件A?B，根据子集定义，若x∈A，则x∈B。因此，x∈B且x∈C，即x∈B∩C。由于x的任意性，得出A∩C?B∩C。证毕。

二、

证明：要证明P是重言式，需要证明其在所有可能的真值赋值下都为真。

1.若p为真：则p→q为真当且仅当q为真。此时P=(真∧(真→真))=(真∧真)=真。

2.若p为假：则p→q恒为真（根据蕴含式的定义）。此时P=(假∧(真→真))=(假∧真)=假。

分析上述情况，似乎与结论矛盾。需重新审视P=(p→q)∧(?q→?p)。利用蕴含式的等价形式p→q≡?p∨q，可以将P变换为：

P≡(?p∨q)∧(??q∨?p)≡(?p∨q)∧(q∨?p)≡?p∨(q∧q)∨(?p∧q)≡?p∨q∨(?p∧q)。

由于(?p∧q)?(?p∨q)，所以P≡?p∨q。这恰好是命题逻辑中的“非p或q”，即p?q的等价形式。

现在证明p?q是重言式：

1.若p为真：则q必须为真，p?q为真。

2.若p为假：则q必须为假，p?q为真。

因此，p?q在所有真值赋值下都为真，即P是重言式。证毕。（修正：初次分析基于公式形式直接判断有误，应通过等价变换后判断）。

三、

解：从集合A到集合B的函数是指A中的每一个元素都唯一对应B中的一个元素。集合A有5个元素，集合B有3个元素。对于A中的每一个元素，都有3种选择与之对应。根据乘法原理，从A到B的不同函数总数为3^5。

计算：3^5=243。

总数为243种。

四、

解：

1.图G中的简单路径（起点和终点可以相同）：

-长度为1的路径：v1,v2;v1,v3;v2,v4;v3,v4;v4,v5;v1,v1;v2,v2;v3,v3;v4,v4;v5,v5。

-长度为2的路径：v1,v2,v4;v1,v3,v4;v2,v4,v5。

-长度为3的路径：v1,v2,v4,v5;v1,v3,v4,v5。

-长度为4的路径：v1,v2,v4,v5,v1(构成环);v1,v3,v4,v5