湖南工程學(xué)院離散數(shù)學(xué)試題及答案_第1頁
湖南工程學(xué)院離散數(shù)學(xué)試題及答案_第2頁
湖南工程學(xué)院離散數(shù)學(xué)試題及答案_第3頁
湖南工程學(xué)院離散數(shù)學(xué)試題及答案_第4頁
湖南工程學(xué)院離散數(shù)學(xué)試題及答案_第5頁
已閱讀5頁,還剩3頁未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)

文檔簡介

1、一、填空題 1 設(shè)集合A,B,其中A1,2,3, B= 1,2, 則A - B_; r(A) - r(B) _ .2. 設(shè)有限集合A, |A| = n, 則 |r(AA)| = _.3. 設(shè)集合A = a, b, B = 1, 2, 則從A到B的所有映射是_ _, 其中雙射的是_.4. 已知命題公式G(PQ)R,則G的主析取范式是_.5.設(shè)G是完全二叉樹,G有7個點(diǎn),其中4個葉點(diǎn),則G的總度數(shù)為_,分枝點(diǎn)數(shù)為_.6 設(shè)A、B為兩個集合, A= 1,2,4, B = 3,4, 則從AB_; AB_;AB _ .7. 設(shè)R是集合A上的等價關(guān)系,則R所具有的關(guān)系的三個特性是_, _, _.8. 設(shè)命

2、題公式G(P(QR),則使公式G為真的解釋有_,_, _.9. 設(shè)集合A1,2,3,4, A上的關(guān)系R1 = (1,4),(2,3),(3,2), R1 = (2,1),(3,2),(4,3), 則R1R2 = _,R2R1 =_,R12 =_.10. 設(shè)有限集A, B,|A| = m, |B| = n, 則| |r(AB)| = _.11 設(shè)A,B,R是三個集合,其中R是實(shí)數(shù)集,A = x | -1x1, xR, B = x | 0x 6 (D)下午有會嗎?5 設(shè)I是如下一個解釋:Da,b, 則在解釋I下取真值為1的公式是( ).(A)$xyP(x,y) (B)xyP(x,y) (C)xP(

3、x,x) (D)x$yP(x,y).6. 若供選擇答案中的數(shù)值表示一個簡單圖中各個頂點(diǎn)的度,能畫出圖的是( ).(A)(1,2,2,3,4,5) (B)(1,2,3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6).7. 設(shè)G、H是一階邏輯公式,P是一個謂詞,G$xP(x), HxP(x),則一階邏輯公式GH是( ).(A)恒真的 (B)恒假的 (C)可滿足的 (D)前束范式.8 設(shè)命題公式G(PQ),HP(QP),則G與H的關(guān)系是( )。(A)GH (B)HG (C)GH (D)以上都不是.9 設(shè)A, B為集合,當(dāng)( )時ABB.(A)AB(B)AB(C)BA(D

4、)AB.10 設(shè)集合A = 1,2,3,4, A上的關(guān)系R(1,1),(2,3),(2,4),(3,4), 則R具有( )。(A)自反性 (B)傳遞性(C)對稱性 (D)以上答案都不對11 下列關(guān)于集合的表示中正確的為( )。(A)aa,b,c (B)aa,b,c(C)a,b,c (D)a,ba,b,c12 命題xG(x)取真值1的充分必要條件是( ).(A) 對任意x,G(x)都取真值1. (B)有一個x0,使G(x0)取真值1. (C)有某些x,使G(x0)取真值1. (D)以上答案都不對.13. 設(shè)G是連通平面圖,有5個頂點(diǎn),6個面,則G的邊數(shù)是( ).(A) 9條 (B) 5條 (C)

5、 6條 (D) 11條.14. 設(shè)G是5個頂點(diǎn)的完全圖,則從G中刪去( )條邊可以得到樹.(A)6 (B)5 (C)10 (D)4.15. 設(shè)圖G的相鄰矩陣為,則G的頂點(diǎn)數(shù)與邊數(shù)分別為( ).(A)4, 5 (B)5, 6 (C)4, 10 (D)5, 8.三、計算證明題1.設(shè)集合A1, 2, 3, 4, 6, 8, 9, 12,R為整除關(guān)系。(1) 畫出半序集(A,R)的哈斯圖;(2) 寫出A的子集B = 3,6,9,12的上界,下界,最小上界,最大下界;(3) 寫出A的最大元,最小元,極大元,極小元。2. 設(shè)集合A1, 2, 3, 4,A上的關(guān)系R(x,y) | x, yA 且 x y,

6、求 (1) 畫出R的關(guān)系圖;(2) 寫出R的關(guān)系矩陣.3. 設(shè)R是實(shí)數(shù)集合,s,t,j是R上的三個映射,s(x) = x+3, t(x) = 2x, j(x) x/4,試求復(fù)合映射st,ss, sj, jt,sjt.4. 設(shè)I是如下一個解釋:D = 2, 3, abf (2)f (3)P(2, 2)P(2, 3)P(3, 2)P(3, 3)32320011試求 (1) P(a, f (a)P(b, f (b);(2) x$y P (y, x).5. 設(shè)集合A1, 2, 4, 6, 8, 12,R為A上整除關(guān)系。(1) 畫出半序集(A,R)的哈斯圖;(2) 寫出A的最大元,最小元,極大元,極小元

7、;(3) 寫出A的子集B = 4, 6, 8, 12的上界,下界,最小上界,最大下界.6. 設(shè)命題公式G = (PQ)(Q(PR), 求G的主析取范式。7. (9分)設(shè)一階邏輯公式:G = (xP(x)$yQ(y)xR(x),把G化成前束范式.9. 設(shè)R是集合A = a, b, c, d. R是A上的二元關(guān)系, R = (a,b), (b,a), (b,c), (c,d),(1) 求出r(R), s(R), t(R);(2) 畫出r(R), s(R), t(R)的關(guān)系圖.11. 通過求主析取范式判斷下列命題公式是否等價:(1) G = (PQ)(PQR) (2) H = (P(QR)(Q(PR

8、)13. 設(shè)R和S是集合Aa, b, c, d上的關(guān)系,其中R(a, a),(a, c),(b, c),(c, d), S(a, b),(b, c),(b, d),(d, d).(1) 試寫出R和S的關(guān)系矩陣;(2) 計算RS, RS, R1, S1R1.四、證明題1. 利用形式演繹法證明:PQ, RS, PR蘊(yùn)涵QS。2. 設(shè)A,B為任意集合,證明:(A-B)-C = A-(BC).3. (本題10分)利用形式演繹法證明:AB, CB, CD蘊(yùn)涵AD。4. (本題10分)A, B為兩個任意集合,求證:A(AB) = (AB)B .參考答案一、填空題1. 3; 3,1,3,2,3,1,2,3.

9、 2. .3. a1= (a,1), (b,1), a2= (a,2), (b,2),a3= (a,1), (b,2), a4= (a,2), (b,1); a3, a4.4. (PQR).5. 12, 3. 6. 4, 1, 2, 3, 4, 1, 2. 7. 自反性;對稱性;傳遞性.8. (1, 0, 0), (1, 0, 1), (1, 1, 0).9. (1,3),(2,2),(3,1); (2,4),(3,3),(4,2); (2,2),(3,3).10. 2mn.11. x | -1x 0, xR; x | 1 x 2, xR; x | 0x1, xR.12. 12; 6.13.

10、(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6).14. $x(P(x)Q(x).15. 21.16. (R(a)R(b)(S(a)S(b).17. (1, 3),(2, 2); (1, 1),(1, 2),(1, 3). 二、選擇題 1. C. 2. D. 3. B. 4. B.5. D. 6. C. 7. C.8. A. 9. D. 10. B. 11. B. 13. A. 14. A.15. D三、計算證明題1. (1)(2) B無上界,也無最小上界。下界1, 3; 最大下界是3.(3) A無最大元,最小元是1,極大元8, 1

11、2, 90+; 極小元是1.2.R = (1,1),(2,1),(2,2),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3),(4,4).(1) (2)3. (1)sts(t(x)t(x)+32x+32x+3.(2)sss(s(x)s(x)+3(x+3)+3x+6,(3)sjs(j(x)j(x)+3x/4+3, (4)jtj(t(x)t(x)/42x/4 = x/2,(5)sjts(jt)jt+32x/4+3x/2+3.4. (1) P(a, f (a)P(b, f (b) = P(3, f (3)P(2, f (2)= P(3, 2)P(2, 3)= 10= 0. (2

12、) x$y P (y, x) = x (P (2, x)P (3, x) = (P (2, 2)P (3, 2)(P (2, 3)P (3, 3)= (01)(01)= 11= 1.5. (1)(2) 無最大元,最小元1,極大元8, 12; 極小元是1.(3) B無上界,無最小上界。下界1, 2; 最大下界2.6. G = (PQ)(Q(PR)= (PQ)(Q(PR)= (PQ)(Q(PR)= (PQ)(QP)(QR)= (PQR)(PQR)(PQR)(PQR)(PQR)(PQR)= (PQR)(PQR)(PQR)(PQR)(PQR)= m3m4m5m6m7 = S(3, 4, 5, 6, 7

13、).7. G = (xP(x)$yQ(y)xR(x)= (xP(x)$yQ(y)xR(x)= (xP(x)$yQ(y)xR(x)= ($xP(x)yQ(y)zR(z)= $xyz(P(x)Q(y)R(z)9. (1) r(R)RIA(a,b), (b,a), (b,c), (c,d), (a,a), (b,b), (c,c), (d,d),s(R)RR1(a,b), (b,a), (b,c), (c,b) (c,d), (d,c),t(R)RR2R3R4(a,a), (a,b), (a,c), (a,d), (b,a), (b,b), (b,c), (b,d), (c,d);(2)關(guān)系圖:11

14、. G(PQ)(PQR)(PQR)(PQR)(PQR)m6m7m3 (3, 6, 7)H = (P(QR)(Q(PR)(PQ)(QR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)m6m3m7 (3, 6, 7)G,H的主析取范式相同,所以G = H.13. (1) (2)RS(a, b),(c, d),RS(a, a),(a, b),(a, c),(b, c),(b, d),(c, d),(d, d), R1(a, a),(c, a),(c, b),(d, c),S1R1(b, a),(d, c).四 證明題1. 證明:PQ, RS, PR蘊(yùn)涵QS(1) PRP(2) RPQ(1)(3) PQP(4) RQQ(2)(3)(5) QRQ(4)(6) RSP(7) QSQ(5)(6)(8) QSQ(7)2. 證明:(A-B)-C = (AB)C = A(BC)= A(BC)=

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論