离散数学题库

PAGEPAGE1离散数学试题1一、单项选择题(本大题共15小题，每小题1分，共15分)在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。1.下列句子为命题的是()A.走，看电影去 B.x+y>0C.空集是任意集合的真子集 D.你明天能来吗?2.下列式子不是谓词合式公式的是()A.(x)(P(x)→(x)(Q(x)∧A(x，y))) B.(x)∧(y)∨P(x，y)C.(x)P(x)→R(y) D.(x)P(x)∧Q(y，z)3.下列式子为重言式的是()A.P→P∨Q B.(﹁P∧Q)∧(P∨﹁Q)C.﹁(PQ) D.(P∨Q)(P→Q)4.设个体域为实数集，特定元素a=0，函数f(x，y)=x-y，特定谓词F(x，y)为x<y，下列公式真值为真的是()A.(x)(y)F(x，f(f(x，y)，y))B.(x)(y)(﹁F(f(x，y)，x))C.(x)(y)(z)(F(x，y)→F(f(x，z)，f(y，z)))D.(x)F(f(a，x)，a)5.对于公式(x)(y)P(x，y)∨Q(x，z)∧(x)P(x，y)，下列说法正确的是()A.x是自由变元 B.x是约束变元C.(x)的辖域是P(x，y)∨Q(x，z) D.(x)的辖域是P(x，y)6.设论域为{1，2}，与公式(x)﹁A(X)等价的是()A.﹁A(1)∨﹁A(2) B.﹁A(1)→﹁(A2)C.﹁A(1)∧﹁A(2) D.A(1)→A(2)7.设Z+是正整数集，f：Z+×Z+→Z+，f(n，m)=nm，则f()A.仅是单射 B.仅是满射C.是双射 D.不是函数8.下列哪个关系矩阵所对应的关系具有自反性()A. B.C. D.10.在整数集上，下面哪个运算不是二元运算()A.加法 B.减法C.乘法 D.除法11.设A是奇数集合，×为乘法运算，则<A，×>是()A.半群 B.群C.循环群 D.交换群12.下面不满足结合律的运算是()A.a*b=min(a，b) B.a*b=max(a，b)C.a*b=2(a+b) D.a*b=2ab13.右图的最小入度是()A.0B.1C.2D.314.下面既是汉密尔顿图又是欧拉图的图形是()15.一棵树有3个5度点、1个4度点、3个2度点，其它的都是1度，那么它的边数是()A.17 B.18C.19 D.20二、填空题(本大题共10小题，每小题2分，共20分)请在每小题的空格中填上正确答案。错填、不填均无分。16.设命题变元为P，Q，R，则小项m100=________，大项M010=________。18.一个公式，如果量词均在全式的________，其作用域延伸到整个公式的________，则该公式称为前束范式。19.请用联结词﹁，∧表示联结词∨和联结词：________，________。20.设A={l，2，3，4}，A上的二元关系R={<1，2>，<3，4>，<4，3>}，S={<l，3>，<3，4>，<4，1>}，则R～S=________，(RS)-1=________。21.代数系统<A，*，>是整环，则<A，*>是________，<A，>是________，且无零因子。22.在实数集R上定义运算ab=a+b+ab，则幺元为________，元素2的逆元为________。23.若回路中，除________外________各不相同，则此回路称为圈(或初级回路)。24.偶图记为Kn,m那么当________时，Kn,m是平面图，当________时，Kn,m是非平面图。25.若图中存在________，它经过图中所有的边恰好________次，则称该图为欧拉图。三、计算题(本大题共6小题，每小题5分，共30分)26.用等值演算求(P→Q)→R的主合取范式。27.列出(P→(Q∨R))(P→Q)的真值表。28．设A={a,b,c,d}，R={<a，b>，<a，d>，<b，c>，<c，a>，<d，a>}，求R的传递闭包。29.设A={2，3，6，12，24，36}，请画出A上整除关系的哈斯图，并给出子集{6，12，24，36}的下界、下确界、极大元、最大元。31.用矩阵的方法求右图中结点u2，u5之间长为2的路径的数目。四、证明题(本大题共3小题，第32小题8分，第33、34小题各6分，共20分)32.用推理方法证明：P∨Q，P→R，Q→S├R∨S。33.设A={<a，b>|a，b∈Z+，Z+为整数集}，A上的关系R={<<a，b>,<c，d>>|ad=bc}，证明R是等价关系。五、综合应用题（本大题共2小题，第35小题6分，第36小题9分，共15分）35．符号化下面命题，并构造推理证明：人是要死的，苏格拉底是人，所以苏格拉底是要死的。36．设H是G的有限子集，则<H，>是群<G，>的子群当且仅当<H，>是群<G，>的子代数。离散数学试题2一、单项选择题(本大题共15小题，每小题1分，共15分)在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均不得分。1.下列句子为命题的是()A.全体起立! B.x=0C.我在说谎 D.张三生于1886年的春天2.下列式子不是谓词合式公式的是()A.B.C.D.3.下列式子为矛盾式的是()A. B.C. D.4.设给定赋值N如下：个体域为自然数集；特定元素a=0；特定函数f(x,y)=x+y,g(x,y)=xy；特定谓词F(x,y)为x=y。在赋值N下，下列公式为真的是()A.B.C.D.5.对于公式，下列说法正确的是()A.y是自由变元B.x是约束变元C.的辖域是D.的辖域是P(x,y)6.设论域为{l，2}，与公式等价的是()A.A(1)A(2) B.A(1)A(2)C.A(1) D.A(2)A(1)7.设Z+是正整数集合，f:Z+→Z+，f(n)=2n-2,则f()A.仅是单射 B.仅是满射C.是双射 D.不是函数8.下列关系矩阵所对应的关系具有反自反性的是()A. B.C. D.10.设A是奇数集合，下列构成独异点的是()A.<A，+> B.<A，->C.<A，×> D.<A，÷>11.设A是整数集，下列说法正确的是()A.<A，+>有零元 B.<A，÷>有零元C.<A，+>有幺元 D.<A，÷>有幺元12.下列说法不正确的是()A.在实数集上，乘法对加法是可分配的B.在实数集上，加法对乘法是可分配的C.在某集合的幂集上，∪对∩是可分配的D.在某集合的幂集上，∩对∪是可分配的13.右图的最大入度是()A.0B.1C.2D.314.下列可一笔画成的图形是()15.一棵树有5个3度结点，2个2度结点，其它的都是l度结点，那么这棵树的结点数是()A.13 B.14C.16 D.17二、填空题(本大题共10小题，每小题2分，共20分)请在每小题的空格中填上正确答案。错填、不填均不得分。16.请写出表示分配律的两个命题公式等价定理________,________。17.n个命题变元的________称为大项，其中每个变元与它的否定不能同时出现，但两者必须________。19.请用联结词，表示联结词和联结词：________，________。20.设A={1，2，3，4}，B={2，4，6}，则A-B=________，AB=________。21.给出A={l，2}上的一个等价关系________，并给出其对应的划分________。22.设A={l，2，3，4}，A上的二元关系R={<1，2>，<2，3>，<3，2>}，S={<l，3>，<2，3>，<4，3>}，则R∩S=________，(R—S)-1=________。23.代数系统<A，+，。>是域，则________和________都是交换群。24.若图中存在________，它经过图中所有的________，则称该图为汉密尔顿图。25.n点完全图记为Kn，那么当________时，Kn是平面图，当_____时，Kn是非平面图。三、计算题(本大题共6小题，每小题5分，共30分)26.列出的真值表。27.用等值演算求(QR)的主析取范式。28.设A={1,2,3,4}，给定A上的二元关系R={<1,2>,<2,1>,<2,3>,<3,4>}，求R的传递闭包。31.用矩阵的方法求右图中结点v1，v3之间长度为2的路径的数目。四、证明题(本大题共3小题，第32小题8分，第33、34小题各6分，共20分)32.用推理方法证明：。33.设H是G的非空子集，则<H，·>是群<G，·>的子群当且仅当对任意a,bH有a·b-1H。34．证明整数集Z上的大于等于关系“”是一个偏序关系。五、综合应用题(本大题共2小题，第35小题6分，第36小题9分，共15分)35．将下面命题符号化，并构造推理证明：所有有理数是实数，有些有理数是整数，所以有些实数是整数。36．某城市拟在六个区之间架设有线电话网，其网点间的距离如下列有权矩阵给出，请绘出有权图，给出架设线路的最优方案，并计算线路的总长度。离散数学试题3一、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。1．下列句子不是命题的是（）A．中华人民共和国的首都是北京 B．张三是学生C．雪是黑色的 D．太好了！2．下列式子不是谓词合式公式的是（）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．(┐P∧R)→Q B．P∨Q∧R→┐RC．P∨(P∧Q) D．(┐P∨Q)(P→Q)4．在指定的解释下，下列公式为真的是（）A．(x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}B．(x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}C．(x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}D．(x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}5．对于公式(x)(y)(P(x)∧Q(y))→(x)R(x,y)，下列说法正确的是（）A．y是自由变元 B．y是约束变元C．(x)的辖域是R(x,y) D．(x)的辖域是(y)(P(x)∧Q(y))→(x)R(x,y)6．设论域为{1,2}，与公式(x)A(x)等价的是（）A．A(1)∨A(2) B．A(1)→A(2)C．A(1)∧A(2) D．A(2)→A(1)7．设Z+是正整数集，R是实数集，f:Z+→R,f(n)=log2n,则f（）A．仅是单射 B．仅是满射C．是双射 D．不是函数8．下列关系矩阵所对应的关系具有反对称性的是（）A． B．C． D．10．下列运算不满足交换律的是（）A．a*b=a+2b B．a*b=min(a,b)C．a*b=|a-b| D．a*b=2ab11．设A是偶数集合，下列说法正确的是（）A．<A,+>是群 B．<A,×>是群C．<A,÷>是群 D．<A,+>,<A,×>,<A,÷>都不是群12．设*是集合A上的二元运算，下列说法正确的是（）A．在A中有关于运算*的左幺元一定有右幺元B．在A中有关于运算*的左右幺元一定有幺元C．在A中有关于运算*的左右幺元，它们不一定相同D．在A中有关于运算*的幺元不一定有左右幺元13．题13图的最大出度是（）A．0 B．1C．2 D．314．下列图是欧拉图的是（）15．一棵树的3个4度点，4个2度点，其它的都是1度，那么这棵树的边数是（）A．13 B．14C．15 D．16二、填空题（本大题共10小题，每小题2分，共20分） 请在每小题的空格中填上正确答案。错填、不填均无分。16．请写出表示德摩根律的两个命题公式等价定理___________，___________。17．n个命题变元的___________称为小项，其中每个变元与它的否定不能同时出现，但两者必须___________。19．自由变元代入规则是指对某___________出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入，且___________。20．设A=,B={2,4}，则((A)=___________，A×B___________。21．设A={1,2,3,4},A上的二元关系R={<1,2>,<2,4>,<3,3>},S={<1,3>,<2,4>,<4,2>}，则R2S=___________，(R-1)2=___________。22．设代数系统<A,·,*>是环，则<A,·>是___________，<A,*>是___________。23．在<Z7-{0},7>中，元素2的阶为___________，它生成的子群为___________，其中7为模7乘法。三、计算题（本大题共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．请通过等值演算法求┐(P∧Q)→(P∨Q)的主析取范式。28．设A={1,2,3,4}，给定A上二元关系R={<1,1>,<1,2>,<2,4>,<4,2>}，求R的传递闭包。30．用矩阵的方法求题30图中结点ui，u5之间长度为2的路径的数目。31．求题31图的最小生成树。四、证明题（本大题共3小题，第32小题8分，第33、34小题各6分，共20分）32．用推理方法证明(A∨B)→(C∧D),(D∨F)→E├A→E。33．证明：设<G,·>是一个群，则对于任意a,b∈G，必存在惟一的x∈G使得a·x=b。34．设图G有n个结点，n+1条边，证明：G中至少有一个结点度数≥3。五、应用题（本大题共2小题，第35小题9分，第36小题6分，共15分）35．符合化下列命题，并构造推理证明：三角函数都是周期函数，有些三角函数是连续函数，所以有些周期函数是连续函数。36．两个等价关系的并集不一定是等价关系，试举例说明。离散数学试题4一、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。1．下列为两个命题变元P，Q的小项是（）A．P∧Q∧P B．P∨QC．P∧Q D．P∨P∨Q2．下列语句中是真命题的是（）A．我正在说谎 B．严禁吸烟C．如果1+2=3，那么雪是黑的 D．如果1+2=5，那么雪是黑的3．设P：我们划船，Q：我们跑步。命题“我们不能既划船又跑步”符号化为（）A．P∧Q B．P∨QC．（PQ） D．（P∨Q）4．命题公式（P∧（P→Q））→Q是（）A．矛盾式 B．蕴含式C．重言式 D．等价式5．命题公式（P∧Q）→R的成真指派是（）A．000，001，110， B．001，011，101，110，111C．全体指派 D．无6．在公式（）F（x，y）→（y）G（x，y）中变元x是（）A．自由变元 B．约束变元C．既是自由变元，又是约束变元 D．既不是自由变元，又不是约束变元7．集合A={1，2，…，10}上的关系R={<x，y>|x+y=10，x∈A，y∈A}，则R的性质是（）A．自反的 B．对称的C．传递的、对称的 D．反自反的、传递的8．若R和S是集合A上的两个关系，则下述结论正确的是（）A．若R和S是自反的，则R∩S是自反的B．若R和S是对称的，则RS是对称的C．若R和S是反对称的，则RS是反对称的D．若R和S是传递的，则R∪S是传递的9．R={<1，4>，<2，3>，<3，1>，<4，3>}，则下列不是t（R）中元素的是（）A．<1，1> B．<1，2>C．<1，3> D．<1，4>10．设A={{1，2，3}，{4，5}，{6，7，8}}，下列选项正确的是（）A．1∈A B．{1，2，3}AC．{{4，5}}A D．∈A11．在自然数集N上，下列运算是可结合的是（）A．ab=a-2b B．ab=min{a，b}C．ab=-a-b D．ab=|a-b|12．在代数系统中，整环和域的关系是（）A．整环一定是域 B．域不一定是整环C．域一定是整环 D．域一定不是整环14．设G为有n个结点的简单图，则有（）A．Δ(G)＜n B．Δ(G)≤nC．Δ(G)＞n D．Δ(G)≥n15．具有4个结点的非同构的无向树的数目是（）A．2 B．3C．4 D．5二、填空题（本大题共10小题，每小题2分，共20分） 请在每小题的空格中填上正确答案。错填、不填均无分。16．（x）（y）（P（x，y）Q（y，z））∧xP（x，y）中x的辖域为________，x的辖域为________。17．两个重言式的析取是________式，一个重言式与一个矛盾式的析取是________式。18．设N是自然数集合，f和g是N到N的函数，且f（n）=2n+1，g（n）=n2，那么复合函数（ff）（n）=________（gf）（n）=________。19．设复合函数gf是从A到C的函数，如果gf是满射，