2012-2013(1)离散数学试卷及答案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)答案

杭州师范大学钱江学院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卷及答案)一、证明题(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 卷及答案)一、证明题( 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卷

浙江工业大学期终考试命题稿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、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 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
111101*********-⎛⎫ ⎪
- ⎪ ⎪-- ⎪-⎝⎭
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 的表达式。
((,)())(,)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 ⇔∀∀→→∀
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>,
<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
b
c
d
e
010
00
11
1
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。