声明:本人已经在2020年通过了统考(之前时间记错),解数学题也是我的业余爱好。本套试题的填空题解析补充是本人自己做的, 如发现答案有错误或者不够准确请及时给我留言,如需转载请表明出处。感谢给我提供题目的同学们(本套题我是通过三位同学提供的路径才合在一起的),感谢所有提出意见和建议。如果觉得还行,欢迎点赞转发,谢谢!(由于简书平台的符号显示异常,有时候会出现公式残缺现象,集合中是非A的意思,请网友知悉。)
一、用逻辑符号表达下列语句
1. 任何计算设备都可以求解某个问题。
解析:P(x): x是计算机设备,Q(x): x问题,R(x,y):x求解y
二、填空题
1. 设集合A={1, 2, 3, 4},则集合A上有 15 种等价关系。
解析:使用 第二类 Stirling 求其不同的划分个数 :
根据公式 : , 计算 Stirling 数的值 :
根据公式 : ,计算 Stirling 数的值 :
根据公式: ( Stirling 数计算公式 ) ,计算 Stirling 数的值 :
据公式 : , 计算 Stirling 数的值 :
2. 设P是所有人的集合,R和S是集合P上的关系,R={<x,y> | x是y的父亲},S={<x,y> |x是y的母亲} ,(),当关系Q为 时,xQy表示x是y的妻子。注:用R1OR2表示关系R1与R2的复合。
解析:本题考的是逆关系和复合关系,假设z是x的子女记作= {<z,y>| z 是y的子女},S={<x,z> |x是z的母亲},根据复合关系: 得 ,得到答案。
3. 有5个男同学和3个女同学站成一排,如果没有2个女同学相邻,共有 14400 种不同的排法。
解析:男生的排法有,要求2个女生不能相邻,则用插排,将3位女同学插排到5个同学的空当中间,5个男生(包括首尾)有6个空当,即女生的排法有,因此一共有
4. 设G是有10个顶点的无奇圈的简单连通图,则G的着色数是 2 (简单图的着色数是指相邻的顶点着不同的颜色所需的最少颜色的个数)。
解析:【定理一】一个图为二部图当且仅当图G中无奇圈。因此G为二部图。而二部图的着色数为2;
【定理二】图G是2-可着色的当且仅当G是二部图; 因此可知该二部图的着色数位为2。
【定理二】奇圈和奇数阶轮图都是3-色图,而偶数阶轮图都是4-色图。
5. 如果 则
解析:根据牛顿公式:,以及牛顿公式推广公式题目中,a=-2,n=-2,代入推广公式可得:
三、计算题
1. 设个体域为{a, b, c},试写出公式(∃x)P(x) →(∀y)Q(y)的命题逻辑表达。
解析: 个体域{a,b,c} 对于逻辑命题量词 ,即是个体域做析取计算, 而 则是对个体域做合取运算。因此得
2. 写出(﹁PVQ)→((Q∧﹁R)VP)的主析取范式和主合取范式(需写出计算过程,且结果简洁表示)。
解析:这个解析方法有两种方法,在本题中就用真值表来做了,另外一种推导的就留给网友们自己推导:
真值表则主析取范式为
则主合取范式为
四、解答题
1. 设有四对夫妻围一圆桌就坐,则至少有1对夫妻不相邻的就坐方式有多少种。
解析:四对夫妻至少有一对夫妻不相连,即至多3对夫妻相邻,可以理解成全排列减去4对夫妻相连,得到的就是至多有3对夫妻相邻了。
四对夫妻8人全排列(圆周排列公式见 我的公式集),4对夫妻相邻的全排列分为两个阶段先女士围成一圈,再让男士坐到自己的妻子身边,每位男士有两种坐法,坐到妻子左边或者右边,即,因此四对夫妻相邻的排列有 ,则题中至少一对夫妻不相邻的排列数为
即至少有1对夫妻不相邻的坐法有4944种。
2. 设某单位安排A、B、C、D、E和F六人从周一到周六值班。每天有且仅有一人值班,条件是A不能周一值班,B不能周二值班,C不能周三值班,求共有多少种安排值班的方法。
解析:知识点是完全错排,用容斥原理来推断。
用X,Y,Z表示A,B,C分别在周一,二,三上值班的集合,都不在原位的集合表示为:
公式无法显示
3. 把6个不同的口罩放到5个相同的盒子里,使得不出现空盒,有多少种不同的方法。
解析:5个相同的盒子且不能出现空盒子可以考虑挡板法,6个口罩进行全排列,5个盒子相当于4个隔板,6个口罩之间的空当有5个,可得:
口罩全排列 , 5个空当放入4块相同挡板,则有 种组合。
,即有3600种方法。
五、证明题,
给定集合A={1, 2, 3, 4, 5, 6}
1)写出一个A上的既是等价关系又是偏序关系的例子
2)证明1)中例子的正确性
解析:此题考的是等价关系与偏序关系的条件。
等价关系:自反,对称,传递;偏序关系:自反,反对称,传递。
(1)A的关系R需满足等价和偏序关系,也就是R必须满足既是对称又是反对称关系。则 R = {<x,y>| x=y}即关系矩阵对角线上的数都为1,因此该关系为集合A上的每个元素自成环,无其他关系路径。
(2)只需证明R符合等价关系和偏序关系。
证明:R = {<x,y>| x=y} 等价关系:
1.对于任意的a = a 恒成立,因此R满足自反;
2.对于任意的,则有 满足对称;
3.对于任意的 且,则有 满足传递性;
由以上3点可知R满足等价关系,再证偏序关系,只需证明反对称关系;
对于任意的 , 且 ,满足反对称,结合上述结论得证 R 满足偏序关系。
综上所述,关系R是正确的。
网友评论