专升本理工科2025年离散数学模拟测试试卷（含答案）

专升本理工科2025年离散数学模拟测试试卷（含答案）考试时间：______分钟总分：______分姓名：______一、选择题1.设集合A={1,2,3},B={2,3,4},则集合A∩B的补集（相对全集U={1,2,3,4}）是（）。A.{1}B.{4}C.{1,4}D.∅2.下列哪个语句是命题？（）A.今天天气很好！B.x+y=5C.请你安静一点。D.2是偶数3.命题公式(p→q)∧(q→p)是（）。A.重言式B.矛盾式C.可满足式但非重言式D.不可满足式4.设R为集合A上的关系，若R具有自反性和对称性，则R一定是（）。A.传递关系B.偏序关系C.等价关系D.欧拉路径5.下列关于无向图的叙述中，正确的是（）。A.若无向图G是连通的，则G中任何两个顶点之间都有路径B.若无向图G是欧拉图，则G中所有顶点的度数都为奇数C.若无向图G有生成树，则G一定是连通的D.无向图的任何子图都是连通图二、填空题6.若集合A有m个元素，集合B有n个元素，则从A到B的不同函数共有________个。7.关系矩阵M=[[0,1,0],[1,0,1],[0,1,0]]所表示的关系R（定义在集合A={a,b,c}上）是________关系（填“反身性”、“对称性”、“传递性”中的一个或多个）。8.一个有n个顶点的无向简单图中，最多有________条边。9.用数学归纳法证明“1+3+5+...+(2n-1)=n²”时，第一步需要验证n=________的情况。10.设集合A={1,2,3,4,5}，A上的关系R={(1,2),(2,3),(3,4),(4,5)}，则R是________关系（填“自反的”、“反自反的”、“对称的”、“传递的”中的一个或多个）。三、计算题11.设集合A={x|x∈N,x<5},B={x|x∈Z,-2≤x≤3}，求(A∪B)×(B∩A)'。(N表示自然数集，Z表示整数集)12.计算组合数C(7,3)+C(7,4)的值。13.给定命题公式p→(q∧¬r)和q，使用推理规则证明¬r。(请写出推理过程)四、证明题14.证明：设R是集合A上的关系，如果R是自反的和传递的，那么R的任何补关系R'也是自反的和传递的。15.证明：任何包含n个顶点（n≥2）的无向连通简单图中，至少存在两个度数相同的顶点。---试卷答案一、选择题1.C2.D3.A4.C5.C二、填空题6.n^m7.对称性8.n(n-1)/29.110.传递的三、计算题11.解：A={1,2,3},B={-2,-1,0,1,2,3}(注意：此处假设N从0开始，若N从1开始，B={-2,-1,1,2,3})B∩A={1,2,3}(B∩A)'=B\{1,2,3}={-2,-1,0}A∪B={1,2,3}∪{-2,-1,0,1,2,3}={-2,-1,0,1,2,3}(A∪B)×(B∩A)'={{-2,-1},{-2,0},{-2,1},{-2,2},{-2,3},{-1,-2},{-1,0},{-1,1},{-1,2},{-1,3},{0,-2},{0,-1},{0,1},{0,2},{0,3},{1,-2},{1,-1},{1,0},{1,2},{1,3},{2,-2},{2,-1},{2,0},{2,1},{2,3},{3,-2},{3,-1},{3,0},{3,1},{3,2}}12.解：C(7,3)=7!/(3!*(7-3)!)=7!/(3!*4!)=(7*6*5)/(3*2*1)=35C(7,4)=C(7,3)(由组合性质C(n,k)=C(n,n-k))C(7,4)=35C(7,3)+C(7,4)=35+35=7013.解：1.前提：p→(q∧¬r)2.前提：q3.从2得¬r(根据ModusPonens，因为p→(q∧¬r)和q蕴含¬r)四、证明题14.证明：1.设a∈A，要证aR'a。2.因为R是自反的，所以aRa。3.由关系R的定义，aR'a意味着(a,a)∉R。4.由步骤2，(a,a)∈R，因此(a,a)∉R'。5.所以R'是自反的。6.设a,b∈A，且aR'b。要证bR'a。7.由aR'b，得(a,b)∉R。8.因为R是对称的，所以若(a,b)∉R，则(b,a)∉R。9.因此(b,a)∉R，即bR'a。10.所以R'是对称的。11.综上，R'是自反的和对称的。12.(传递性证明略，或说明：若R是传递的，则aR'b且bR'c意味着(a,b)∉R且(b,c)∉R，从而(a,c)∉R，即aR'c，所以R'也是传递的。此题若要求严格证明，需补充传递性证明过程。)15.证明：1.反证法。假设结论不成立，即图中存在n个顶点，且每个顶点的度数都互不相同。2.根据鸽巢原理，n个顶点的度数互不相同，且顶点度数的取值范围在0到n-1之间（对于无向连通图，不存在度数为0的顶点，最大度数不超过n-1）。3.因此，可能的度数集合至多为{1,2,...,