2021年自考离散数学试题及答案.doc

一、单项选取题（本大题共15小题，每小题1分，共15分）在每小题列出四个备选项中只有一种是符合题目规定，请将其代码填写在题后括号内。错选、多选或未选均无分。1下列句子不是命题是（D）A中华人民共和国首都是北京B张三是学生C雪是黑色D太好了！2下列式子不是谓词合式公式是（B）A（x）P(x)R(y)B(x) P（x）(x)(P(x)Q(x)C(x)($y)(P(x)Q(y)($x)R(x)D(x)(P(x,y)Q(x,z)($z)R(x,z)3下列式子为重言式是（）A(PR)QBPQRRCP(PQ)D(PQ)(PQ)4在指定解释下，下列公式为真是（）A(x)(P(x)Q(x),P(x):x=1,Q(x):x=2,论域:1,2B($x)(P(x)Q(x),P(x):x=1,Q(x):x=2,论域：1,2C($x)(P(x) Q(x),P(x):x2,Q(x):x=0,论域:3,4D(x)(P(x)Q(x),P(x):x2,Q(x):x=0,论域:3,45对于公式(x) ($y)(P(x)Q(y)($x)R(x,y)，下列说法对的是（）Ay是自由变元By是约束变元C($x)辖域是R(x，y)D(x)辖域是($y)(P(x)Q(y)($x)R(x,y)6设论域为1,2，与公式(x)A(x)等价是（）AA(1)A(2)BA(1)A(2)CA(1)A(2)DA(2)A(1)7设Z+是正整数集，R是实数集，f:Z+R，f(n)=log2n ,则f（）A仅是入射B仅是满射C是双射D不是函数8下列关系矩阵所相应关系具备反对称性是（）ABCD9设R1和R2是集合A上相容关系，下列关于复合关系R1R2说法对的是（）A一定是等价关系B一定是相容关系C一定不是相容关系D也许是也也许不是相容关系10下列运算不满足互换律是（）Aa*b=a+2bBa*b=min(a,b)Ca*b=|a-b|Da*b=2ab11设A是偶数集合，下列说法对的是（）A是群B是群C是群D，,都不是群12设*是集合A上二元运算，下列说法对的是（）A在A中关于于运算*左幺元一定有右幺元B在A中关于于运算*左右幺元一定有幺元C在A中关于于运算*左右幺元，它们不一定相似D在A中关于于运算*幺元不一定有左右幺元13题13图最大出度是（）A0B1C2D314下列图是欧拉图是（）15一棵树3个4度点，4个2度点，其他都是1度，那么这棵树边数是（）A13B14C15D16二、填空题（本大题共10小题，每小题2分，共20分）请在每小题空格中填上对的答案。错填、不填均无分。16请写出表达德摩根律两个命题公式等价定理_，_。17n个命题变元_称为小项，其中每个变元与它否定不能同步浮现，但两者必要_。18前提引入规则：在证明任何环节上都可以_，简称_规则。19自由变元代入规则是指对某_浮现个体变元可用个体常元或用与原子公式中所有个体变元不同个体变元去代入，且_。20设A=,B=2,4，则(A)=_，AB_。21设A=1,2,3,4，A上二元关系R=,S=,，则R2S=_，(R-1)2=_。22设代数系统是环，则是_，是_。23在中，元素2阶为_，它生成子群为_，其中7为模7乘法。24设是一种_，如果A中任意两个元素均有_，则称为格。25若一条_中，所有_均不相似，称为迹。三、计算题（本大题共6小题，每小题5分，共30分）26给定论域D=1,2，f(1)=2，f(2)=1，S(1)=F，S(2)=T，G(1,2)=T，G(2,1)=T,在该赋值下，求式子$x(S( f(x)G(x，f(x)真值。27请通过等值演算法求(PQ)(PQ)主析取范式。28设A=1,2,3,4，给定A上二元关系R=,，求R传递闭包。29对题29图所示格，找出它所有4元子格。30用矩阵办法求题30图中结点ui，u5之间长度为2途径数目。31求题31图最小生成树。四、证明题（本大题共3小题，第32小题8分，第33、34小题各6分，共20分）32用推理办法证明(AB)(CD),(DF)EAE。33证明：设是一种群，则对于任意a,bG，必存在惟一xG使得ax=b。34设图G有n个结点，n+1条边，证明：G中至少有一种结点度数3。五、应用题（本大题共2小题，第35小题9分，第36小题6分，共15分）35符合化下列命题，并构造推理证明：三角函数都是周期函数，有些三角函数是持续函数，因此有些周期函数是持续函数。36两个等价关系并集不一定是等价关系，试举例阐明。