2012-2013(1)离散数学试卷及答案B卷

合集下载

离散数学B卷及答案

离散数学B卷及答案

武汉理工大学离散数学考试试题B卷站点:姓名:专业:层次一、单项选择题本大题共15小题,每小题1分,共15分在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内.错选、多选或未选均无分.1.令P:今天下雪了,Q:路滑,则命题“虽然今天下雪了,但是路不.滑”可符号化为A.P→Q B.P∨QC.P∧Q D.P∧Q2.下列命题公式为重言式的是A.Q→P∧Q B.P→P∧QC.P∧Q→P D.P∨Q→Q3.下列4个推理定律中,不.正确的是A.A⇒A∧B B.A∨B∧A⇒BC.A→B∧A⇒B D.A→B∧B⇒A4.谓词公式∀xPx∨∃yRy→Qx中量词x∀的辖域是A.))P(∨∀B.Pxxx∃)((yyRC.Px∨∃yRy D.Px, Qx5.设个体域A={a,b},公式∀xPx∧∃xSx在A中消去量词后应为A.Px∧Sx B.Pa∧Pb∧Sa∨SbC.Pa∧Sb D.Pa∧Pb∧Sa∨Sb6.下列选项中错误..的是A.⊆B.∈C.⊆{} D.∈{}, 7.设A={a,b,c,d},A上的等价关系R={<a, b>, <b, a>, <c, d>, <d, c>}∪IA 则对应于R的A的划分是A.{{a},{b, c},{d}} B.{{a, b},{c}, {d}}C.{{a},{b},{c},{d}} D.{{a, b}, {c,d}}8.设R为实数集,函数f:R→R,fx=2x,则f是A.满射函数B.入射函数C.双射函数D.非入射非满射9.设R为实数集,R+={x|x∈R∧x>0},是数的乘法运算,<R+,>是一个群,则下列集合关于数的乘法运算构成该群的子群的是A.{R+中的有理数} B.{R+中的无理数}C.{R+中的自然数} D.{1,2,3}10.下列运算中关于整数集不.能构成半群的是A.a b=max{a, b} B.a b=bC.a b=2ab D.a b=|a-b|11.设Z是整数集,+, 分别是普通加法和乘法,则Z,+, 是A.域B.整环和域C.整环D.含零因子环12.设A={a, b, c},R是A上的二元关系,R={<a, a>, <a, b>, <a, c>, <c, a>},那么R是A.反自反的B.反对称的C.可传递的D.不可传递的13.设D=<V, E>为有向图,V={a, b, c, d, e, f}, E={<a, b>, <b, c>, <a, d>, <d, e>, <f, e>}是A.强连通图B.单向连通图C.弱连通图D.不连通图14.在有n个结点的连通图中,其边数A.最多有n-1条B.至少有n-1条C.最多有n条D.至少有n条15.连通图G是一棵树,当且仅当G中A.有些边不是割边B.每条边都是割边C.无割边集D.每条边都不是割边二、填空题本大题共10小题,每小题2分,共20分请在每小题的空格中填上正确答案.错填、不填均无分.16.任意两个不同的小项的合取为________________式,全体小项的析取式必为________________式.17.公式∀xPx→Qx,y∨∃zRy, z→Sx中的自由变元为________________,约束变元为________________.18.设集合M={x|1≤x≤12,x被2整除,x∈Z},N={x|1≤x≤12,x被3整除,x∈Z},则 M∩N=________________,M∪N=________________.19.设X={1,2,3},f:X→X,g:X→X,f={<1, 2>,<2,3>,<3,1>},g={<1,2>,<2,3>,<3,3>},则f g=________________,g f=________________. 20.设A={a,b,c},R是A上的二元关系,且给定R={<a,b>,<b,c>,<c,a>},则R的自反闭包rR= ________________,对称闭包sR= ________________.21.设Q为有理数集,笛卡尔集S=Q×Q,是S上的二元运算,∀<a, b>,<x, y>∈S, <a, b><x, y>=<ax, y+b>, 则运算的幺元是________________.∀<a, b>∈S,若a≠0,则<a, b>的逆元是________________.22.设是集合S上的二元运算,若运算满足________________且存在________________,则称<S,>为独异点.23.令A={a, b, c},<A, >是循环群,a是单位元,则b2=________________,c的阶是________________.24.如下无向图割点是________________,割边是________________.25.无向图G具有生成树,当且仅当________________.G的所有生成树中________________的生成树称为最小生成树.三、计算题本大题共5小题,第26、27小题各5分,第28、29小题各6分,第30小题8分,共30分26.集合A={a, b, c, d, e}上的二元关系R为R={<a,a>, <a,b>, <a,c>, <a,d>, <a,e>, <b,b>, <b,c>, <b,e>, <c,c>,<c,d>, <c,e>, <d,d>, <d,e>, <e,e>}1写出R的关系矩阵;2判断R是不是偏序关系,为什么27.利用真值表判断公式P∨Q∧Q→R→P∧R是否为重言式.28.给定图G如下所示,1写出G的可达矩阵;2G中长度为4的路有几条29.求下列公式的主析取范式和主合取范式:P→Q∧Q→R30.设A为54的因子构成的集合,R⊆A×A,∀x,y∈A, xRy⇔x整除y.画出偏序集<A,R>的哈斯图,并求A中的最大元,最小元,极大元,极小元.五、证明题本大题共3小题,第31、32小题各6分,第33小题8分,共20分31.设R是A上的一个自反关系,证明:R是一个等价关系,当且仅当若<a,b>∈R,<a,c>∈R,则<b,c>∈R.32.设<G,>是一个群,x∈G,定义:a b=axb, a,b∈G.证明:<G, >也是一个群. 33.设图G是具有6个结点,12条边的无向简单图,证明图G是汉密尔顿图.五、应用题本大题共2小题,第34小题8分,第35小题7分,共15分34.构造下面推理的证明.如果今天是星期六,我们就要到颐和园或圆明园去玩.如果颐和园游人太多,我们就不去颐和园玩.今天是星期六,颐和园游人太多,所以我们去圆明园玩.35.n个城市用k条公路的网络连结.一条公路定义为两个城市间的一条不穿过任1n-1n-2,何中间城市的道路.任意两个城市之间至多修一条公路.证明如果k>2则人们总能通过连结的公路,在任何两个城市间旅行.武汉理工大学离散数学考试试题 B卷答案站点:姓名:专业:层次。

离散数学期末考试试题与答案

离散数学期末考试试题与答案

离散数学试题(B卷答案1〕一、证明题〔10分〕1)(P∧(Q∧R))∨(Q∧R)∨(P∧R)R证明:左端(P∧Q∧R)∨((Q∨P)∧R)((P∧Q)∧R))∨((Q∨P)∧R)((P∨Q)∧R)∨((Q∨P)∧R)((P∨Q)∨(Q∨P))∧R((P∨Q)∨(P∨Q))∧RT∧R(置换)R2)x(A(x)B(x))xA(x)xB(x)证明:x(A(x)B(x))x(A(x)∨B(x))xA(x)∨xB(x)xA(x)∨xB(x)xA(x)xB(x)二、求命题公式(P∨(Q∧R))(P∧Q∧R)的主析取X式和主合取X式〔10分〕。

证明:(P∨(Q∧R))(P∧Q∧R)(P∨(Q∧R))∨(P∧Q∧R))〔P∧(Q∨R)〕∨(P∧Q∧R)(P∧Q)∨(P∧R))∨(P∧Q∧R)(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R))∨(P∧Q∧R))∨(P∧Q∧R)m0∨m1∨m2∨m7M3∨M4∨M5∨M6三、推理证明题〔10分〕1〕C∨D,(C∨D)E,E(A∧B),(A∧B)(R∨S)R∨S证明:(1)(C∨D)EP(2)E(A∧B)P(3)(C∨D)(A∧B)T(1)(2),I(4)(A∧B)(R∨S)P(5)(C∨D)(R∨S)T(3)(4),I(6)C∨DP(7)R∨ST(5),I2)x(P(x)Q(y)∧R(x)),xP(x)Q(y)∧x(P(x)∧R(x))证明(1)xP(x)P(2)P(a)T(1),ES(3)x(P(x)Q(y)∧R(x))P(4)P(a)Q(y)∧R(a)T(3),US(5)Q(y)∧R(a)T(2)(4),I(6)Q(y)T(5),I(7)R(a)T(5),I(8)P(a)∧R(a)T(2)(7),I(9)x(P(x)∧R(x))T(8),EG(10)Q(y)∧x(P(x)∧R(x))T(6)(9),I四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5 人会打篮球和网球,还有2人会打这三种球。

离散数学考试题及详细参考答案

离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。

b)我今天进城,除非下雨。

c)仅当你走,我将留下。

2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x,总存在y使得xy=1。

c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.二、简答题(共6道题,共32分)1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。

(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。

(4分)4.判断下面命题的真假,并说明原因。

(每小题2分,共4分)a)(A B)-C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数,则|A|≤|B|5.设A是有穷集,|A|=5,问(每小题2分,共4分)a)A上有多少种不同的等价关系?b)从A到A的不同双射函数有多少个?6.设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N(写出即可)(6分)三、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。

(每小题5分,共10分)a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x)),x R(x) x P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠ 且B≠ ,关系R满足:<<x1,y1>,<x2,y2>>∈R,当且仅当< x1, x2>∈R1且<y1,y2>∈R2。

离散数学(B)答案

离散数学(B)答案

杭州师范大学钱江学院2013 —2014 学年第二学期期末试卷_ 班_《 离散数学 》(B)卷命题教师_田正平_一、判断题(对的打∨,错的打⨯;每空2分,共20分)1、 “如果地球比太阳大,那么月球就比地球大。

”是假命题。

( ⨯ )2、 “‘请勿吸烟!’,不是命题。

”是命题。

( ∨ )3、 命题)(p q p →⌝→是重言式。

( ∨ )4、 设集合},,{c b a X =上的关系R 的关系矩阵是⎪⎪⎪⎭⎫⎝⎛=000100111R M ,则关系R 是传递关系。

( ∨ )5、 在复数集合C 上关系}0),{(<++=ac di c bi a R 是等价关系。

( ⨯ )6、 有限偏序集),(≤X 必定存最大元。

( ⨯ )7、 集合},{b a A =到集合}3,2,1{=B 共有6个不同的关系。

( ⨯ ) 8、 完全图n K 的色数n K n =)(χ。

( ∨ )9、 若图有欧拉通路,则图的所有顶点的度数都是偶数。

( ⨯ ) 10、连通偶图一定是哈密顿图。

( ⨯ )二、填空题(每空4分,共20分)1、哈密顿图),(E V G =。

解: 包含),(E V G =的每一个顶点的基本回路称为G 的哈密顿回路。

具有哈密顿回 路的图称为哈密顿图。

2、将命题:“我今天出差,除非我病倒。

”符号化。

解:设命题P :我今天出差,命题Q :我生病。

则命题:“我今天出差,除非我病倒。

”可以符号化为:Q P ⌝↔。

3、全序集),(≤X 。

解:设),(≤X 是偏序集,且对X 中任意两个元素y x ,,关系x y y x ≤≤,总有一个成立,则称),(≤X 是全序集。

4、轮图n W 的色数4)(5=W χ。

5、设顶点v 是图),(E V G 的割点,则)()(G v G ωω>-三、选择题(每题4分,共20分)1、下面命题公式中,重言式是( AB D )(A ))(Q P P ∨→ (B ) P P P ⌝→⌝→)((C) )()(R Q Q P P ∧⌝∧→⌝∨ (D) )()(Q P Q P ⌝↔⌝→↔2、设集合}10,6,4,3,2{=X 上的关系R 是整除关系,则关系R ( D ) (A )有最大元,有最小元 (B)有最大元,无最小元(C) 无最大元,有最小元 (D) 无最大元,无最小元3、下图( A )(A )有欧拉通路,有哈密顿回路 (B)有欧拉回路,无哈密顿通路(C) 无欧拉通路,无哈密顿回路 (D) 无欧拉回路,有哈密顿通路4、)()())()((x xB x xA x B x A x ∀∨∀↔∨∀是( C )(A )永真式 (B) 矛盾式 (C) 可满足式 (D) 以上都不是5、 集合A={1,2,3}上的五个关系(1))}3,3(),3,1(),2,1(),1,1{(1=R (2))}3,3(),2,2(),1,2(),2,1(),1,1{(2=R (3))}3,2(),3,1(),2,1(),1,1{(3=R (4)∅=4R (5)A A R ⨯=5中同时是对称关系和传递关系的是( B )(A )431,,R R R (B) 542,,R R R(C ) 532,,R R R (D) 321,,R R R四、计算题(每题4分,共20分)1、 设集合}6,4,3,2{=X 上的关系R 是整除关系, 写出关系R 的关系矩阵。

离散数学考试试题(A、B卷及答案)

离散数学考试试题(A、B卷及答案)

离散数学考试试题(A、B卷及答案)离散数学考试试题(A卷及答案)一、证明题(10分)1) (P∧Q∧A→C)∧(A→P∨Q∨C)⇔ (A∧(P↔Q))→C。

P<->Q=(p->Q)合取(Q->p)证明: (P∧Q∧A→C)∧(A→P∨Q∨C)⇔(⌝P∨⌝Q∨⌝A∨C)∧(⌝A∨P∨Q∨C)⇔((⌝P∨⌝Q∨⌝A)∧(⌝A∨P ∨Q))∨C反用分配律⇔⌝((P∧Q∧A)∨(A∧⌝P∧⌝Q))∨C⇔⌝(A∧((P∧Q)∨(⌝P∧⌝Q)))∨C再反用分配律⇔⌝( A∧(P↔Q))∨C⇔(A∧(P↔Q))→C⇔(⌝P∨Q∨R)∧(((⌝P∨Q)∧(⌝P∨R))∨(⌝Q∧⌝R))分配律⇔(⌝P∨Q∨R)∧(⌝P∨Q∨⌝Q)∧(⌝P∨Q∨⌝R)∧(⌝P∨R∨⌝Q)∧(⌝P∨R ∨⌝R)⇔(⌝P∨Q∨R)∧(⌝P∨Q∨⌝R)∧(⌝P∨⌝Q∨R)⇔4M∧5M∧6M使(非P析取Q析取R)为0所赋真值,即100,二进制为4⇔0m∨1m∨2m∨3m∨7m所以,公式(P→(Q∨R))∧(⌝P∨(Q↔R))为可满足式,其相应的成真赋值为000、001、010、011、111:成假赋值为:100、101、110。

真值表法:P Q R Q↔R P→(Q∨R)⌝P∨(Q↔R) (P→(Q∨R))∧(⌝P∨(Q↔R))0 0 0 0 0 1 0 1 0 0 1 1 111111111111111 0 0 1 0 1 1 1 0 1 1 1 11111111由真值表可知,公式(P→(Q∨R))∧(⌝P ∨(Q↔R))为可满足式,其相应的成真赋值为000、001、010、011、111:成假赋值为:100、101、110。

三、推理证明题(10分)1)⌝P∨Q,⌝Q∨R,R→S P→S。

证明:(1)P附加前提(2)⌝P∨Q P(3)Q T(1)(2),I(析取三段论)(4)⌝Q∨R P(5)R T(3)(4),I(析取三段论)(6)R→S P(7)S T(5)(6),I(假言推理)(8)P→S CP2) ∀x(P(x)→Q(y)∧R(x)),∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x)(2)P(a)(3)∀x(P(x)→Q(y)∧R(x))(4)P(a)→Q(y)∧R(a)(5)Q(y)∧R(a)(6)Q(y)(7)R(a)(8)P(a)(9)P(a)∧R(a)(10)∃x(P(x)∧R(x))(11)Q(y)∧∃x(P(x)∧R(x))五、已知A、B、C是三个集合,证明(A∪B)-C=(A-C)∪(B-C) (10分)证明:因为x∈(A∪B)-C⇔x∈(A∪B)-C⇔x∈(A∪B)∧x∉C⇔(x∈A∨x∈B)∧x∉C⇔(x∈A∧x∉C)∨(x∈B ∧x∉C)⇔x∈(A-C)∨x∈(B-C)⇔x∈(A-C)∪(B-C) 所以,(A∪B)-C=(A-C)∪(B-C)。

离散数学考试试题(A、B卷及答案)

离散数学考试试题(A、B卷及答案)

离散数学考试试题(A 卷及答案)一、证明题( 10 分)1) ( P A Q A A C) A (A P V Q V C) ( A A (P Q)) C。

P<->Q=(p->Q)合取(Q->p)证明:(P A Q A A C) A (A P V Q V C)( P V Q V A V C)A ( A V P V Q V C)((P V Q V A) A ( A V P V Q)) V C 反用分配律(( P A Q A A) V ( A A P A Q)) V C(A A (( P A Q) V ( P A Q))) V C 再反用分配律( A A ( P Q)) V C(A A (P Q)) C2) (P Q) P Q。

证明:(P Q) ( (P A Q)) ( P V Q)) P Q。

二、分别用真值表法和公式法求( P ( Q V R)) A ( P V ( Q R)) 的主析取范式与主合取范式,并写出其相应的成真赋值和成假赋值( 15分)。

主析取范式与析取范式的区别:主析取范式里每个括号里都必须有全部的变元。

主析取范式可由析取范式经等值演算法算得。

证明:公式法:因为(P (Q V R)) A ( P V(Q R))( P V Q V R)A ( P V (Q A R)V ( Q A R))( P V Q V R)A ((( P V Q)A ( P V R)) V ( Q A R)) 分配律( P V Q V R) A ( P V Q V Q)A ( P V Q V R) A ( P V R V Q)A ( P V R V R)( P V Q V R)A( P V Q V R)A( P V Q V R)M4 A M5 A M6使(非P析取Q析取R)为0所赋真值,即100,二进制为4m0V m1 V m2V m3V m7所以,公式(P (Q V R)) A ( P V (Q R)) 为可满足式,其相应的成真赋值为000、001、010、011、111:成假赋值为:100、101、110。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题1. 关于图论的基本概念,以下哪个说法是正确的?A. 无向图中的边无方向性,有向图中的边有方向性。

B. 有向图中的边无方向性,无向图中的边有方向性。

C. 无向图和有向图都是由顶点和边组成的。

D. 无向图和有向图都只由边组成。

答案:A2. “若顶点集合为V,边集合为E,那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述?A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案:D3. 以下哪个命题是正确的?A. 若集合A和B互相包含,则A和B相等。

B. 若集合A和B相交为空集,则A和B相等。

C. 若集合A和B相等,则A和B互相包含。

D. 若集合A和B相等,则A和B相交为空集。

答案:C二、填空题1. 有一个集合A = {1, 2, 3, 4},则集合A的幂集的元素个数为__________。

答案:162. 设A = {a, b, c},B = {c, d, e},则集合A和B的笛卡尔积为__________。

答案:{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题,q、r为假命题,则合取范式(p ∨ q ∨ r)的值为__________。

答案:真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。

答案:交集:{3, 4}并集:{1, 2, 3, 4, 5, 6}差集:{1, 2}2. 计算下列命题的真值:(~p ∨ q) ∧ (p ∨ ~q),其中p为真命题,q为假命题。

答案:真四、证明题证明:对于任意集合A和B,如果A和B互相包含,则A和B相等。

证明过程:假设A和B互相包含,即A包含于B且B包含于A。

设x为集合A中的任意元素,则x也必然存在于集合B中,即x属于B。

同理,对于集合B中的任意元素y,y也属于集合A。

2012-2013(1)离散数学试卷及答案B卷

2012-2013(1)离散数学试卷及答案B卷

浙江工业大学期终考试命题稿2010 /2011 学年第 1 学期命题注意事项:一、命题稿请用A4纸电脑打印,或用教务处印刷的命题纸,并用黑墨水书写,保持字迹清晰,页码完整。

二、两份试题必须同等要求,卷面上不要注明A、B字样,由教务处抽定A、B卷。

三、命题稿必须经学院审核,并在考试前两周交教务处。

浙江工业大学2012/2013 学年第1学期试卷课程________姓名________班级________学号________一、选择 15分(每小题 3分)1.下列语句是命题的是( A )。

A、离散数学是重要的一门必修课。

B、1+101=110?C、我正在说谎。

D、全体起立!2.图的邻接矩阵为( C )。

A、 B、 C、 D、3.下列排列能构成图的顶点度序列的是( A )。

A、1,2,2,3,4B、2,3,4,5,6,7C、2,1,1,1,2D、3,3,5,6,04.设,则IA =( D )。

A、 A ;B、A×IA;C、IA×A;D、。

5.下述命题公式中,是重言式的为( C )。

A、;B、;C、;D、。

二、填空题15分(每小题 3分)1已知一棵无向树T有三个3度顶点,一个2度顶点,其余的都是1度顶点, 则T中有 5 个1度顶点。

2.设A={1,2,3,4},A上二元关系R={<2,2>,< 2,3>, < 3,2>, <3,1>},则S(R)={<2,2>,<2,3>,<3,2>,<3,1>,<1,3>}。

3.A={1,2,3,4,5,6},A上二元关系,则用列举法给出T={<2,1>,<3,1>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<6,6>,<4,2>,<6,3>,<5,1>, <6,2>}。

离散数学考试题目及答案

离散数学考试题目及答案

离散数学考试题目及答案1. 试述命题逻辑中的等价关系和蕴含关系。

答案:命题逻辑中的等价关系是指两个命题在所有可能的真值赋值下都具有相同的真值。

若命题P和Q等价,则记作P⇔Q。

蕴含关系是指如果命题P为真,则命题Q也为真,但Q为真时P不一定为真。

若命题P蕴含Q,则记作P→Q。

2. 证明:若集合A和B的交集非空,则它们的并集包含A和B。

答案:设x属于A∩B,即x同时属于A和B。

根据并集的定义,若元素属于A或B,则它属于A∪B。

因此,x属于A∪B。

由于x是任意属于A∩B的元素,所以A∩B≠∅意味着A∪B至少包含A∩B中的所有元素,即A∪B包含A和B。

3. 给定一个有向图G,如何判断G中是否存在环?答案:判断有向图G中是否存在环,可以采用深度优先搜索(DFS)算法。

在DFS过程中,记录每个顶点的访问状态,如果遇到一个已访问过的顶点,且该顶点不是当前路径的直接前驱,则表示存在环。

4. 描述有限自动机的组成部分及其功能。

答案:有限自动机由以下几部分组成:输入字母表、状态集合、转移函数、初始状态和接受状态集合。

输入字母表定义了自动机可以接收的符号集合;状态集合包含了自动机所有可能的状态;转移函数定义了在给定输入符号和当前状态的情况下,自动机如何转移到下一个状态;初始状态是自动机开始工作时的状态;接受状态集合包含了所有使自动机接受输入字符串的状态。

5. 什么是图的连通分量?如何确定一个无向图的连通分量?答案:图的连通分量是指图中最大的连通子图。

在一个无向图中,如果两个顶点之间存在路径,则称这两个顶点是连通的。

确定无向图的连通分量可以通过深度优先搜索(DFS)或广度优先搜索(BFS)算法。

从任一顶点开始搜索,搜索过程中访问的所有顶点构成一个连通分量。

重复此过程,直到所有顶点都被访问过,即可确定图中所有连通分量。

《离散数学》题库及答案

《离散数学》题库及答案

《离散数学》题库与答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答:在第三章里面有公式(1)是附加律,(4)可以由第二章的蕴含等值式求出(注意与吸收律区别)2、下列公式中哪些是永真式( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答:(2),(3),(4)可用蕴含等值式证明3、设有下列公式,请问哪几个是永真蕴涵式( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答:(2)是第三章的化简律,(3)类似附加律,(4)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式4、公式x((A(x)B(y,x))z C(y,z))D(x)中,自由变元是( ),约束变元是( )。

答:x,y, x,z(考察定义在公式x A和x A中,称x为指导变元,A为量词的辖域。

在x A和x A的辖域中,x的所有出现都称为约束出现,即称x 为约束变元,A中不是约束出现的其他变项则称为自由变元。

于是A(x)、B(y,x)和z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x 为自由变元)5、判断下列语句是不是命题。

若是,给出命题的真值。

( )(1)北京是中华人民共和国的首都。

(2) 陕西师大是一座工厂。

(3) 你喜欢唱歌吗 (4) 若7+8>18,则三角形有4条边。

(5) 前进! (6) 给我一杯水吧!答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是(命题必须满足是陈述句,不能是疑问句或者祈使句。

)6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。

离散数学考试题目及答案

离散数学考试题目及答案

离散数学考试题目及答案一、单项选择题(每题2分,共20分)1. 集合A={1,2,3},集合B={3,4,5},则A∩B的元素个数为:A. 0B. 1C. 2D. 3答案:B2. 函数f: X→Y是一个双射,当且仅当:A. f是单射且满射B. f是单射C. f是满射D. f是双射答案:A3. 命题p: "x是偶数",命题q: "x是3的倍数",下列逻辑运算中,表示"x是6的倍数"的是:A. p∧qB. p∨qC. ¬p∧¬qD. ¬p∨¬q答案:A4. 有向图G中,若存在从顶点u到顶点v的有向路径,则称顶点u可达顶点v。

若G中任意两个顶点都相互可达,则称G为:A. 强连通图B. 弱连通图C. 无向图D. 有向无环图答案:A5. 在二进制数系统中,下列哪个数的值最大?A. 1010B. 1100C. 1110D. 1101答案:C6. 布尔代数中,逻辑或运算符表示为:A. ∧B. ∨C. ¬D. →答案:B7. 有限自动机中,状态q0是初始状态,状态q1是接受状态。

若存在从q0到q1的ε-转移,则该自动机:A. 仅在输入为空时接受B. 仅在输入非空时接受C. 无论输入为何都接受D. 无法确定是否接受答案:C8. 命题逻辑中,若命题p和q都为真,则p∧q的真值是:A. 真B. 假C. 可能为真,也可能为假D. 无法确定答案:A9. 集合{1,2,3}的子集个数为:A. 4B. 6C. 7D. 8答案:D10. 若关系R在集合A上是自反的,则对于A中的任意元素a,有:A. (a,a)∈RB. (a,a)∉RC. (a,a)是R的自反对D. (a,a)不是R的自反对答案:A二、填空题(每题3分,共15分)1. 集合A={1,2,3}的幂集包含__个元素。

答案:82. 若函数f: X→Y是满射,则对于Y中的任意元素y,至少存在X中的一个元素x,使得f(x)=__。

离散数学期末考试试题(有几套带答案)

离散数学期末考试试题(有几套带答案)

离散试卷及答案离散数学试题(A 卷及答案)一、证明题(10分) 1)(P ∧(Q ∧R))∨(Q ∧R)∨(P ∧R)R证明: 左端(P ∧Q ∧R)∨((Q ∨P)∧R)((P ∧Q)∧R))∨((Q ∨P)∧R)((P ∨Q)∧R)∨((Q ∨P)∧R)((P ∨Q)∨(Q ∨P))∧R ((P ∨Q)∨(P ∨Q))∧RT ∧R(置换)R2)x(A(x)B(x))xA(x)xB(x) 证明 :x(A(x)B(x))x(A(x)∨B(x))xA(x)∨xB(x)xA(x)∨xB(x)xA(x)xB(x)二、求命题公式(P ∨(Q ∧R))(P ∧Q ∧R)的主析取范式和主合取范式(10分)证明:(P ∨(Q ∧R))(P ∧Q ∧R)(P ∨(Q ∧R))∨(P ∧Q ∧R))(P ∧(Q ∨R))∨(P ∧Q ∧R) (P ∧Q)∨(P ∧R))∨(P ∧Q ∧R) (P ∧Q ∧R)∨(P ∧Q ∧R)∨(P ∧Q ∧R))∨(P ∧Q ∧R))∨(P ∧Q ∧R) m0∨m1∨m2∨m7 M3∨M4∨M5∨M6三、推理证明题(10分) 1)C ∨D, (C ∨D) E, E (A ∧B), (A ∧B)(R ∨S)R ∨S证明:(1) (C ∨D) E(2) E (A ∧B) (3) (C ∨D)(A ∧B)(4) (A ∧B)(R ∨S)(5) (C ∨D)(R ∨S)(6) C ∨D (7) R ∨S 2) x(P(x)Q(y)∧R(x)),xP(x)Q(y)∧x(P(x)∧R(x)) 证明(1)xP(x)(2)P(a) (3)x(P(x)Q(y)∧R(x)) (4)P(a)Q(y)∧R(a)(5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)x(P(x)∧R(x))(11)Q(y)∧x(P(x)∧R(x))四、设m 是一个取定的正整数,证明:在任取m +1个整数中,至少有两个整数,它们的差是m 的整数倍证明 设1a ,2a ,…,1+m a 为任取的m +1个整数,用m 去除它们所得余数只能是0,1,…,m -1,由抽屉原理可知,1a ,2a ,…,1+m a 这m +1个整数中至少存在两个数s a 和t a ,它们被m 除所得余数相同,因此s a 和t a 的差是m 的整数倍。

离散数学期末考试题b及答案

离散数学期末考试题b及答案

离散数学期末考试题b及答案一、选择题(每题2分,共10分)1. 在集合论中,以下哪个符号表示"属于"关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,以下哪个符号表示"非"?A. ∧B. ∨C. ¬D. →答案:C3. 以下哪个选项是图的邻接矩阵的正确定义?A. 矩阵的元素表示顶点之间的路径数量B. 矩阵的元素表示顶点之间的边的权重C. 矩阵的元素表示顶点之间的距离D. 矩阵的元素表示顶点之间的连接关系答案:D4. 在布尔代数中,以下哪个运算是幂等的?A. 与运算B. 或运算C. 非运算D. 异或运算答案:C5. 以下哪个选项是哈希函数的基本特性?A. 快速计算B. 容易逆向C. 容易碰撞D. 难以预测答案:A二、填空题(每题3分,共15分)1. 有限自动机的三个组成部分是____、____和____。

答案:状态集、输入字母表、转移函数2. 在图论中,一个图的度是指图中一个顶点的____的个数。

答案:边3. 逻辑等价是指两个逻辑表达式在所有可能的变量赋值下都有____的真值。

答案:相同4. 在关系数据库中,____是用于唯一标识关系表中每行数据的属性或属性组。

答案:主键5. 一个算法的时间复杂度是指算法执行时间随输入规模增长的____。

答案:增长趋势三、简答题(每题5分,共20分)1. 请简述什么是图的连通分量。

答案:图的连通分量是指图中最大的连通子图,即图中任意两个顶点之间都存在路径。

2. 解释一下什么是闭包。

答案:闭包是指在关系数据库中,对于一组属性,如果它们之间存在某种函数依赖关系,则称这组属性的闭包包含了所有依赖于它们的属性。

3. 什么是归纳法证明?答案:归纳法证明是一种数学证明方法,它包括两个步骤:基础步骤(证明当n取第一个值时命题成立)和归纳步骤(假设当n=k时命题成立,然后证明当n=k+1时命题也成立)。

4. 请描述一下什么是欧拉路径和欧拉回路。

2012-2013离散数学试题答案

2012-2013离散数学试题答案

2012-2013离散数学试题答案2012-2013离散数学试题A 卷答案一填空题(每空3分)1.{}{}{}{}{}3,2,2,1,3,1;2. 6;3.42314321;4. 两个或零个奇数度结点;5. ()()x xB x xA ?→?;6. 偶数个;7.100111001;8.N 或阿列夫零 9. ()()y f x f ?二(本题10分)证明整数集合是可数的证:因为自然数集N 是可数的,所以只要证明N Z =即可,建立下面的一一对应关系:Λβββββββ-36352423-121100 -ZN (5分)即(),1,120,2≥-≤-=x x x x x f 其中Z x ∈. (3分)则有N Z =故整数集合是可数的(2分)三、(本题8分)求公式()P Q Q R →∧?→?)( 的主合取范式,并判断公式的类型.解()()P Q Q R P Q Q R ∨?∧?∨?→∧?→?)()( (2分)()()()()Q R P Q R P R Q P R Q P ?∨?∨∧?∨∨∧∨?∨?∧∨?∨?(4分)该公式是可满足式(2分)四、(每小题8分,共计16分)1.设图()m n G ,=是每个区域(面)至少由k 条边围成的连通平面图,证明 ()22--≤k n k m ,其中3≥k 证:1)因为 2=+-r m n ,m n r +-=2 (2分)2)又因为()r m r ri 32deg 1≥=∑= (2分)将1)代人2)整理得:()22--≤k n k m (4分) 2. 一个树T 有2个次数为2的结点,1个次数为3的结点, 3个次数为4的结点,问该树有几片叶?解设树T=()m n ,有x 片叶,因为 1=-m n (1)(1分)x x n +=+++=6312 (2)(1分) ()()122deg 1-==∑=n m v n i i(3)(2分) ()()x x n m v n i i+=+?++?=-==∑=1943322122deg 1(2分)即()x x +=+1952 (1分) x =9 (1分)五. (本题12分)设{}1-=Q S ,其中Q 为有理数集合,在S 上定义了二元运算“ο”,对于()y y x y x S y x +-=∈?1,,ο有. 证明: ()ο,S 是交换群. 证明:(1)结合律成立(略)(2分)(2)单位元素 =e 0 (3分)x e xe x e x S x =+-=∈?ο,,()01=-x e ,0=e(3),S x ∈?有11-=-x x x (3分)因为 0111==+-=---e x xx x x x ο11-=-x x x 综上所述()ο,S 是群(1分)又()x y x yx y y x y x y y x y x S y x οο=+-=+-=+-=∈?1,,(2分)故()ο,S 是交换群. (1分)六、(本题8分)设()()*G ,, ,οS 是两个群,对于S a ∈?有e a f →:成立,其中e 是()*G ,的单位元素.1. 证明:()()*G , ,与οS 同态2. 求同态核 erf K1、证()()()b f a f e e e b a f S b a *=*==∈?ο,,,(4分)所以()()*G , ,与οS 同态(1分)2、因为e a f →:,即()e a f S a =∈?有,由同态核的定义知erf K =S (3分)七.(本题12分)设{}182,≤≤∈=x N x x A ,(){}y x A y x y x R 整除,,,∈=,{},6,4,2=B1、证明R 是A 上的次序关系(偏序关系)2、求集合B 的极大元素3、求 B sup 、B inf1、证 1)x ,能整除x A x ∈?,所以()R x x ∈,故R 是自反的(2分) 2)x ,y x y,,,不能整除时当能整除y x A y x ≠∈?,即如果(),,R y x ∈那么()R x y ?,,故R 是反对称的(3分)3)z x z,,y ,,,也能整除则能整除能整除如果y x A z y x ∈?即若(),,R y x ∈(),,y R z ∈则(),,R z x ∈故R 是传递的(3分)综上所述:R 是A 上的次序关系(偏序关系)2、集合B 的极大元素:4和6 (2分)3、 B sup =12B inf =2(2分)八.(本题7分)请用谓词推理理论证明()()()()()x xG x F x x G x F x ?→∨?证:1)()x F x ?? 附加前提(1分)2) ()c F ? T 1)ES (1分)3) ()()()x G x F x ∨? P (1分)(1分)4) ()()c G c F ∨ T 3)US (1分)5) ()c G T 2),4) 析取三段论(1分)6) ()x xG ? T 5)EG (1分)所以()()()()()x xG x F x x G x F x ?→∨? (1分)离散数学试题B 卷答案一、填空(每空3分,共27 分)1. φ ;2.{(1,1),(2,2),(3,3)};3.000000100;4. 15 ; 5 . ??=1 3 4 24 3 2 1σ ; 6. R Q P ?∨∨? , R Q P ?∧∧? 7. 从结点i v 到结点j v 长度为l 的路径的数目8. ()x xB A ?→二、(本题6分)设集合N A =,N N B ?=.N 是自然数集合,证明 B A =.证明:建立A B 到的一一对应关系,即:()()()()()()ΛΛββββββ0,251,142,031,021.010,00 (3分)()()(),21n m,f m n m n m ++++=其中()B ∈n m , (2分)故B A = (1分)三、(本题8分)求命题公式()Q R P R ?→?∧?∨?)( 的主析取范式,并判断公式的类型.解()Q R P R ?→?∧?∨?)(()Q R R P ?∨∧?∨?)(()R Q R P ∨?∧?∨?)(()()()R Q P R Q P R Q P R Q P ∨?∨?∧∨?∨∧?∨?∨?∧?∨∨?)(110010111101M M M M ∧∧∧?()7,6,5,2∏?主合取范式,(3分)主析取范式()Q R P R ?→?∧?∨?)(()∑?4,3,1,04210m m m m ∨∨∨?∨?∧?∧??)(R Q P ∨∧?∧?)(R Q P ∨?∧∧?)(R Q P )(R Q P ?∧?∧(3分)在主析取范式中,仅含有4个最小项,故该公式是可满足式.(2分)四、(17分,其中1题9分)1. 对于图G(1)图G 是欧拉图还是哈密顿图,为什么?(2)图G 是否为平面图,为什么?图G(3)图G 是否为二部图,为什么?解(1)图G 是哈密顿图,不是欧拉图. 因为图G 的每个结点的度数都是奇数,由欧拉图的充要条件知:图G 不是欧拉图;图G 的不相邻结点的度数之和等于6,由哈密顿图的充分条件知:图G 是哈密顿图(3分)(2)不是平面图,由库拉拖夫斯基定理知:图G 不是平面图.(3分)(3)图G 是二部图,它是3,3k 图.(3分)2. 一颗无向树有7片树叶,其余的结点次数均为3,求T 的阶数,并画出两个不同构的树.解设()1,-=n n T ,(2分)()()122deg 1-==∑=n m v ni i(2分)分)()()373712-=-+=-n n n 12=n (1分)1分)五、(本题12分)在有理数集Q 上定义二元运算*, ,,Q y x ∈?有xy y x y x -+=*1. 求()52-*2. 问()* , Q 是独异点还是群?为什么. 解 1、()52-*=2+(-5)-2(-5)=-3+10=7 (2分) 2、()* , Q 是独异点,不是群(1)结合律成立(2分)(2)单位元素0=e (3分)由,1),(2)知:()* , Q 是独异点(3)Q x ∈,0111==-+=*---e xx x x x x (3分)即11-=-x x x ,当1=x 时,11-不存在故()* , Q 不是群(2分)六、(10分)设()ο , G 是9阶循环群,找出()ο , G 的所有的生成元素. 解:设{}8320,,,,,a a a a e a G Λ== (1分)因为()69=φ (2分)所以生成元素是:a ,87542,,,,a a a a a (1分)a 显然是生成元素(1分) ()()()()()()()()716825147231262105284263242221202,,,,,,,)(a a a a a a a a a a a a a a a a a a a a e a =============(1分),)(04e a =,414)(a a =,824)(a a =,3391234)(a a a a a ===ο,71644)(a a a ==,()()()53284746246422054,,,)(a a a a a a a a a a a ======= (1分)同理可得:875,,a a a 都是生成元素,(3分)七、(本题12分)设A={121,≤≤∈i N i i },定义A 上的关系R={()y x A y x y x 整除,,,∈},B={2,3,6}(1)证明 R 是A 上的偏序关系(2)求B 的极大元素和最大元素(3)求B B inf ,sup .解(1)证明 R 是A 上的偏序关系证 1)x ,能整除x A x ∈?,所以()R x x ∈,故R 是自反的(2分)2)x ,y x y,,,不能整除时当能整除y x A y x ≠∈?,即如果(),,R y x ∈那么()R x y ?,,故R 是反对称的(3分) 3)z x z,,y ,,,也能整除则能整除能整除如果y x A z y x ∈?即若(),,R y x ∈(),,y R z ∈则(),,R z x ∈故R 是传递的(3分)综上所述:R 是A 上的次序关系(偏序关系)(2)集合B 的极大元素: 6 最大元素:6 (2分)(3)B sup =6,B inf =1 (2分)八、(本题8分)在命题逻辑中构造下面的推理证明:S R R Q Q P ?∧?∨?→ , ,P ??证明:1) P 结论的否定引入规则(1分)2) Q P ?→ P3) Q ? T 1),2) 假言推理(2分) 4)R Q ?∨ P5) R ? T 3),4)析取三段论理(2分) 6)S R ?∧ P7) R T 6) 化简(1分)8) R R ∧? T5),7)合取引入(1分)因为0 ?∧?R R 矛盾式,由归谬法知,推理正确(1分)离散数学试题C 卷答案一、填空(每空3分,共27 分)1. {}b a ,2. 13. 剩余类加群4. 725. ()B x xA →?6.100110011 ; =-1R ( ()()(){}2,3,1,2,1,1 ; ()()(){}1,3,1,2,1,1 7是可数集二(本题10分)设Z 为整数集,证明:整数集Z 是可数的.证明:建立N Z 到的一一对应关系,即φ:--ΛΛββββββ352423121100 (3分)()?∈≥-∈≤-=Z x x x Z x x x ,1,12x 0,2且φ (2分)故Z ~N ,即整数集Z 是可数的(1分)三、(本题8分)求命题公式()()P Q Q P P ?∨??∧→∨? 的主合取范式,并判断公式的类型.解:主合取范式:()()P Q Q P P ?∨??∧→∨?()Q P Q P P ∧∧∨?∨??)( ()()()()()()Q P Q P Q P Q P Q P Q P Q P ∨?∧∨∧?∨∧∨∧∨??∧∧∨??)( ()()()Q P Q P Q P ?∨∧∨∧∨??.(6分)该公式的主合取范式含有3个最大项,那么该公式有一个成真赋值,故该公式是可满足式. (2分)四、(每小题8分,共计16分)1. 设G 是n )3(≥n 阶无向简单连通平面图图,证明:63-≤n m 证:因为 2=+-r m n ,n m r -+=2 (2分)r m rr i i 32deg 1≥=∑=,(2分)m r 32≤,(1分) n m m -+≥232 (2分) 231-≤n m 即:63-≤n m (1分)2. 设无向图()12,n G =有12条边,3度与4度结点各2个,其余的结点度数不超过3,问G 至少有几个结点.解242deg 1==∑=m vn i i ,(2分) ;(3+4)×2+3(n-4)24≥(2分); n 322≥,(2分); n 8≥(2分)五. (本题12分)设{}d c b a S ,,,=,S 上的运算“ο”定义如下表ο d c b ad cb abb a d b a dc ad c b d c b a 1. 证明: ()ο,S 是循环群.2. 求()ο,S 的生成元素1、证明:1)显然是可结合的(1分)2)单位元素a e = ( 2分) 3)b d c c d b a a ====----1111,,, (2分)故()ο,S 是群,(1分) 2、a b d b c b b b ====4321,,, (4分) b 是()ο,S 的生成元素,(1分)同理d 也是()ο,S 的生成元素,(1分)六、(本题8分)设Z 为整数集,n Z 2为偶数集,证明群()+,Z 与群()+,2n Z 同态,并求同态核.证明:设n Z Z f 2:→,即()Z z z z f ∈=,2,(2分) ()()()Z z z z f z f z z z z z z f ∈+=+=+=+2121212121,,22)(2 (2分)即f 是Z 到z Z 2得同态变换,则群()+,Z 与群()+,2n Z 同态. (1分)群()+,2n Z 的单位元素02=e ,只有()Z f ∈=?=0,0020 (2分)所以{}0=Kerf (1分)七.(本题12分)设{}5,4,3,2,1=A ,{}4,3=B ,偏序集合()R A ,的哈塞图如下图(1)下列关系哪个是真?12,25,45,33,51R R R R R(2)求集合B 极大元、极小元、B sup 、B inf 解(1),33,51R R (4分)(2)集合B 极大元:3,4 (2分)集合B 极小元:3,4 (2分)B sup ={5}(2分) B inf ={2}(2分)八.(本题7分)证明下面的推理前提:()()()x Q x P x ∨?结论:()()()x xQ x xP ?→?? 证明:1)()()x xP ?? 附加前提(1分)2) ()x P x ?? T 1) 置换(1分) 3) ()c P ? T 2) ES (1分) 4) ()()()x Q x P x ∨? P 5) ()()c Q c P ∨ T 4) US (1分) 6) ()c Q T 3),5) 析取三段论(1分) 7) ()x xQ ? T 6)EG (1分)所以()()()()()x xG x F x x G x F x ?→∨? (1分)。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。

答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。

答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。

答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。

答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。

答案:欧拉路径是一条通过图中每条边恰好一次的路径。

2. 解释什么是二元关系,并给出一个例子。

答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。

例如,小于关系就是一个二元关系。

3. 请说明什么是递归函数,并给出一个简单的例子。

答案:递归函数是一种通过自身定义来计算函数值的函数。

例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。

四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。

2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。

答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。

东北大学离散数学考试试卷( B 卷)

东北大学离散数学考试试卷( B 卷)

东北大学考试试卷(B卷)2011—2012 学年第 1 学期课程名称: 离散数学总分 一 二 三 四 五 六 七 八一.将下面命题符号化(8分)1.如果天气好,我将去游乐场,否则我将呆在家中。

(P→Q)∧(¬P→R)2.只有计算机专业的学生和非大一学生才可以访问校园网。

R→(P∨Q)3.并非所有学习好的大学生都想成为科学家。

¬∀x((A(x) ∧B(x)) →C(x))4.尽管有人聪明,但未必一切人都聪明。

∃x(A(x) ∧B(x)) ∧¬∀x((A(x) →B(x))二.(10分) 填空(每空1分)1.(3分)A与B是全集E的子集,给定集合X={P,Q,R,S,T,U,V,W,Y,Z},其中的元素都表示命题,如下所示:P: A-B=A Q:A∩B=B R:A⊆B S: A⊆∼B T: B⊆AU: ∼B⊆∼A V:A∩B=Φ W:A∪B=B Y: ∼A⊆∼B Z: B⊆∼A又令R是X上的命题等价关系,则商集X/R=({{P,S,V,Z},{R,U,W},{Q,T,Y}} )2.(每空1分)令R和S都是人类上的关系,且R={<x,y>|x是y的父亲} S={<x,y>|x是y的母亲} 则S o R表示( 祖母和孙子 )关系; R o S C表示( 夫妻 )关系。

3.(每空1分) 设f是从A到B的函数,g是从B到A的函数,如果f go是双射的,则f是__满___射的,g是__入___射的。

4.(每空1分)A,B是有限集合, P(A)表示A的幂集,已知|A|=3,|P(B)|=64,|P(A∪B)|=256, 则|B|=( 6 ), |A-B|=( 2 ), |A⊕B|=( 7 )。

三.(8分)写出命题公式P→((R→Q)∧(¬R→¬Q)) 的主析取范式。

解:P→((R→Q)∧(¬R→¬Q))⇔¬P∨((¬R∨Q)∧(R∨¬Q))⇔(¬P∨¬R∨Q) ∧(¬P∨ R∨¬Q)即命题公式的主合取范式中的大项为M6和M2所以其主析取范式中的小项有m0,m3,m4,m5,m6,m7即主析取范式为:(P∧R∧Q)∨( P∧¬R∧¬Q) ∨(¬P∧R∧Q) ∨(¬P∧R∧¬Q) ∨(¬P∧¬R∧Q) ∨(¬P∧¬R∧¬Q) 四.(15分)已知R1、R2是集合A上的等价关系,问R1∪R2、R1∩R2、R1-R2、r((A×A)-R1)中哪些是A上的等价关系?如果不是说明理由,或举反例。

《离散数学》试卷及答案精选全文完整版

《离散数学》试卷及答案精选全文完整版
解 设谓词Q(x):x是勤奋的;
H(x):x是身体健康的;
S(x):x是科学家
C(x):x是事业获得成功的人
置换规则。
3、设集合|A|=101,S ,且|S|为奇数,则这样的S有2101/2或2100个。
4、设mi是公式G的的主析取范式中的一个极小项,则mi的对偶式不一定是(填“是”/“不是”/“不一定是” ) G的主合取范式中的一个极大项。
5、由3个元素组成的有限集上所有的等价关系有5个
6、给定解释I如下: (1) Di:={2,3}; (2) a=3; (3) 函数f(x)为f(2)=2,f(3)=3; (4) 谓词:F(x)为F(2):=1,F(3):=0;G(x,y)为当i=j时,G(i,j):=1;当i≠j时,G(i,j):=0;其中i,j=2,3;
ac>0并且cu>0
若u>0,则c>0,a>0,因此有ac>0;
若u<0,则c<0,a<0, 也有ac>0;
因此有(a+bi)R(u+vi)
所以R在C*是传递的。所以R是C*上的等价关系。
2、在一阶逻辑自然推理系统F中,构造下面推理的证明。个体域是人的集合。
“每位科学家都是勤奋的,每个勤奋又身体健康的人在事业中都会获得成功。存在着身体健康的科学家。所以,存在着事业获得成功的人。”(15分)
2.设A={1,2,3…10},定义A上的二元关系R={<x,y>|x,y∈A∩x+y=10},试讨论R关于关系的五个方面的性质并说明理由(5分)
解答:R={<1,9>,<9,1>,<2,8>,<8, 2 >,<3,7>,<7,3>,<4,6>,<6, 4 >,<5, 5 >}

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案离散数学是一门涉及离散结构和逻辑推理的数学学科。

它在计算机科学、信息技术和其他领域中具有重要的应用价值。

离散数学考试试题涵盖了离散数学的各个方面,包括集合论、图论、逻辑、代数结构等。

本文将为大家提供一些离散数学考试试题及答案,希望能帮助大家更好地理解和掌握这门学科。

一、集合论1. 设A={1,2,3,4,5},B={3,4,5,6,7},求A与B的交集、并集和差集。

答案:A与B的交集为{3,4,5},并集为{1,2,3,4,5,6,7},A与B的差集为{1,2}。

2. 设集合A={x|x是正整数,1≤x≤10},B={x|x是偶数,2≤x≤8},求A与B的笛卡尔积。

答案:A与B的笛卡尔积为{(1,2),(1,4),(1,6),(1,8),(2,2),(2,4),(2,6),(2,8),...,(10,2),(10,4),(10,6),(10,8)}。

二、图论1. 给定图G,其邻接矩阵如下:| 0 1 1 0 || 1 0 0 1 || 1 0 0 1 || 0 1 1 0 |判断图G是否是连通图,并给出其连通分量。

答案:图G是连通图,其连通分量为{1,2,3,4}。

2. 给定图G,其邻接表如下:| 1 | 2 || 3 | 2 4 || 4 | 3 |判断图G是否是树,并给出其生成树。

答案:图G是树,其生成树为{1-2, 2-3, 3-4}。

三、逻辑1. 判断命题逻辑公式((p∨q)→r)∧(¬p∨¬q)的真值。

答案:命题逻辑公式((p∨q)→r)∧(¬p∨¬q)的真值为真。

2. 判断命题逻辑公式∀x(P(x)∧Q(x))→(∀xP(x)∧∀xQ(x))的真值。

答案:命题逻辑公式∀x(P(x)∧Q(x))→(∀xP(x)∧∀xQ(x))的真值为假。

四、代数结构1. 设集合S={0,1,2,3,4},定义运算*如下:a*b = (a+b)%5其中%表示取余运算。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个选项表示“属于”关系?A. ⊆B. ⊂C. ∈D. ⊇答案:C2. 以下哪个命题是真命题?A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬(p → q) → p答案:B3. 以下哪个选项是命题逻辑中的德摩根定律?A. ¬(p ∨ q) = ¬p ∧ ¬qB. ¬(p ∧ q) = ¬p ∨ ¬qC. ¬(p → q) = p ∧ ¬qD. ¬(p ∨ q) = ¬p ∨ ¬q答案:A4. 以下哪个选项是命题逻辑中的蕴含等价?A. p → q ≡ ¬p ∨ qB. p → q ≡ ¬q → ¬pC. p → q ≡ p ∨ ¬qD. p → q ≡ ¬p ∧ q答案:A5. 以下哪个选项是关系的性质?A. 反身性B. 对称性C. 传递性D. 所有选项都是答案:D6. 以下哪个选项是图论中的有向图?A. 无向图中的边没有方向B. 有向图中的边有方向C. 混合图中的边既有方向也有无方向D. 所有选项都是答案:B7. 在图论中,以下哪个选项是树的性质?A. 树是无环的B. 树是连通的C. 树是无向图D. 所有选项都是答案:D8. 以下哪个选项是布尔代数的基本运算?A. 与(AND)B. 或(OR)C. 非(NOT)D. 所有选项都是答案:D9. 以下哪个选项是组合数学中的排列?A. 从n个不同元素中取出m个元素的组合B. 从n个不同元素中取出m个元素的排列C. 从n个相同元素中取出m个元素的组合D. 从n个相同元素中取出m个元素的排列答案:B10. 以下哪个选项是集合论中的幂集?A. 一个集合的所有子集的集合B. 一个集合的所有真子集的集合C. 一个集合的所有超集的集合D. 一个集合的所有子集的个数答案:A二、简答题(每题10分,共30分)1. 简述命题逻辑中的等价命题是什么?答案:等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

浙江工业大学期终考试命题稿
2010 /2011 学年第1 学期
命题注意事项:
一、命题稿请用A4纸电脑打印,或用教务处印刷的命题纸,并用黑
墨水书写,保持字迹清晰,页码完整。

二、两份试题必须同等要求,卷面上不要注明A、B字样,由教务处
抽定A、B卷。

三、命题稿必须经学院审核,并在考试前两周交教务处。

浙江工业大学2012/2013 学年
第1学期试卷
课程________ 姓名 ________ 班级________ 学号 ________
一、 1.下列语句是命题的是( A )。

A 、离散数学是重要的一门必修课。

B 、1+101=110?
C 、我正在说谎。

D 、全体起立! 2.图 的邻接矩阵为( C )。

A 、 1
111111*********⎛⎫ ⎪ ⎪ ⎪ ⎪⎝⎭
B 、1
110011*********⎛⎫ ⎪ ⎪ ⎪ ⎪⎝⎭
C 、0
110001*********⎛⎫ ⎪ ⎪ ⎪ ⎪⎝⎭
D 、0
1111011110111
1
0-⎛⎫ ⎪- ⎪ ⎪--
⎪-⎝⎭
3.下列排列能构成图的顶点度序列的是( A )。

A 、1,2,2,3,4
B 、2,3,4,5,6,7
C 、2,1,1,1,2
D 、3,3,5,6,0 4.设{}b a A ,=,则I A =(D )。

A 、 A ;
B 、A×I A ;
C 、 I A ×A ;
D 、{,,,}a
a b b <><>。

5.下述命题公式中,是重言式的为( C )。

A 、)()(q p q p ∨→∧;
B 、))())(()(p q q p q p →∧→↔↔;
C 、q q p ∧→⌝)(;
D 、q p p ↔⌝∧)(。

二、填空题15分 (每小题 3分)
1已知一棵无向树T 有三个3度顶点,一个2度顶点,其余的都是1度顶点, 则T 中有 5 个1度顶点。

2.设A={1,2,3,4},A 上二元关系R={<2,2>,< 2,3>, < 3,2>, < 3,1>},则S(R)= {<2,2>,<2,3>,<3,2>,<3,1>,<1,3>}。

3.A={1,2,3,4,5,6},A 上二元关系}|,{是素数y x y x T ÷><=,则用列举法给出T={<2,1>,<3,1>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<6,6>,<4,2>,<6,3>,<5,1>,<6,2>}。

4.任何(n,m)图 G=(V,E),边数与顶点数的关系是 m=n-1/sum(d(v i ))=2m 5.设 P (x ):x 是素数, E(x):x 是偶数,O(x):x 是奇数 N (x,y):x 可以整数y 。

则谓词))),()(()((x y N y O y x P x wff
∧∃→∀的自然语言是
对于任何素数都存在一个能整除它的奇数
三、计算或推理题(30’,每题6分)
1、((,)())(,)xF x y yG y xH x y ∀→∃→∀ 求前束范式。

(((,)())(,))x y t F x z G y H t z ∀∀∀→→
2、证明:P ∨Q ,Q →R ,P →S ,⌝S ⇒ R
证明:
(1) ⌝S P 前提 (2) P →S P 前提
(3) ⌝P T(1)(2)I 拒取式 (4) P ∨Q P 前提
(5) Q T(3)(4)I 析取三段论 (6) Q →R P 前提
(7) R T(5)(6)I 假言推理
3.设A={a,b,c,d},R 为A 上的关系,R={<a,b>,<b,a>,<b,c>,<c,d>,<d,b>},求r(R),s(R),t(R)。

r(R)={<a,a>,<a,b>,<b,b>,<b,a>,<b,c>,<c,c>,<c,d>,<d,d>,<d,b>} s(R)={<a,b>,<b,a>,<b,c>,<c,b>,<c,d>,<d,c>,<d,b>,<b,d>}
t(R)={<a,b>,<b,a>,<a,a>,<b,b>,<b,c>,<a,c>,<c,d>,<a,d>,<b,d>,<d,b>,<d,a>,<d,c>}
4.已知偏序集<A,R>的哈斯图如图所示,试求出集合A 和关系R 的表达式。

A={a,b,c,d,e,f,g,h}
R={ <b,d>,<b,e>,<b,f>,<c,d>,
<c,e>,<c,f>,<d,f>,<e,f>,
((,)())(,)xF x yG y xH x z z ⇔∀→∃→∀((,)())(,)xF x yG y H t z z t ⇔∀→∃→∀((,)())(,)x F x z yG y tH t z ⇔∃→∃→∀((,)())(,)x y F x z G y tH t z ⇔∃∃→→∀(((,)())(,))
x y F x z G y tH t z ⇔∀∀→→∀
<g,h>}∪I A
5.列举集合A ={a,b,c,d}上所有不同的等价关系。

只要求出A 上的全部划分,即为等价关系。

划分为一个块的情况:1种,即{a,b,c,d} 划分为两个块的情况:7种,即 {{a,b},{c,d}},{{a,c},{b,d}},{{a,d},{b,c}} {{a},{b,c,d}},{{b},{a,c,d}},{{c},{a,b,d}}, {{d},{a,b,c}} 划分为三个块的情况:6种,即 {{a,b},{c},{d}},{{a,c},{b},{d}},{{a,d},{b},{c}}, {{a},{b},{c,d}},{{a},{c},{b,d}},{{a},{d},{b,c}} 划分为四个块的情况:1种,即{a},{b},{c},{d}} 因此,共有15种不同的等价关系。

四 逻辑推理(10’):
有些女孩喜欢各种香水,但女孩都不喜欢有毒物体,所以香水都不是有毒物体。

答:
M(x): x 是女孩, D(x): x 是香水, Q(x): x 是有毒的, L(x,y): x 喜欢y 前提:
(()(()(,))
(()(()(,))
x M x y D y L x y x M x y Q y L x y ∃∧∀->∀∧∀->⌝
结论:(()())x D x Q x ∀->⌝
(1)(()(()(,))(2)()(()(,))(1)(3)(()(()(,)))(2)(4)()(()(,))(3)(5)()(,)(4)(6)(()(()(,))(7)()(()(,)
(6)(8)x M x y D y L x y P M a y D y L a y T ES y M a D y L a y T E M a D b L a b T US D b L a b T I
x M x y Q y L x y P M a y Q y L a y T US
∃∧∀->∧∀->∀∧->∧->->∀∧∀->⌝∧∀->⌝∀(()(()(,))(7)(9)()(()(,))(8)(10)()(,)(9)(11)(,)()(10)(12)()()(5)(11)(13)(()())(12)y M a Q y L a y T E M a Q b L a b T US Q b L a b T I L a b Q b T E D b Q b T I x D x Q x T UG
∧->⌝∧->⌝->⌝->⌝->⌝∀->⌝
五 树的应用(10’)
根据下图求最小生成树,假设生成树中五个节点a, b, c, d, e 的权重分别为12、8、15、7、6,求传输它们的最佳前缀码(构造最优二叉树)。

a: 00 c: 11 e: 101
b: 01 d: 100
六、(10’)
画出该图形的对偶图形,为对偶图按韦尔奇.鲍威尔方法按步骤进行着色(颜色用数字表示)。

要求着色的过程和每一步骤都要具体写出。

排序:a b c d e f
第一次:a e
第二次:b f
第三次:c
第四次:d
七、包含排斥原理(10’)
24名科技人员,每人至少会1门外语.
英语:13;日语:5;德语:10;法语:9
英日:2;
英德:4;英法:4;法德:4
会日语的不会法语、德语
求:只会 1 种语言人数,会 3 种语言人数?
x+2(4-x)+y1+2=13
x+2(4-x)+y2=10
x+2(4-x)+y3=9
x+3(4-x)+y1+y2+y3=19。

相关文档
最新文档