華南理工大學(xué)網(wǎng)絡(luò)教育學(xué)院-2019–2020學(xué)年度第一學(xué)期《離散數(shù)學(xué)》作業(yè)_第1頁(yè)
華南理工大學(xué)網(wǎng)絡(luò)教育學(xué)院-2019–2020學(xué)年度第一學(xué)期《離散數(shù)學(xué)》作業(yè)_第2頁(yè)
華南理工大學(xué)網(wǎng)絡(luò)教育學(xué)院-2019–2020學(xué)年度第一學(xué)期《離散數(shù)學(xué)》作業(yè)_第3頁(yè)
華南理工大學(xué)網(wǎng)絡(luò)教育學(xué)院-2019–2020學(xué)年度第一學(xué)期《離散數(shù)學(xué)》作業(yè)_第4頁(yè)
華南理工大學(xué)網(wǎng)絡(luò)教育學(xué)院-2019–2020學(xué)年度第一學(xué)期《離散數(shù)學(xué)》作業(yè)_第5頁(yè)
已閱讀5頁(yè),還剩1頁(yè)未讀 繼續(xù)免費(fèi)閱讀

下載本文檔

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

文檔簡(jiǎn)介

1、精選優(yōu)質(zhì)文檔-傾情為你奉上( 密 封 線(xiàn) 內(nèi) 不 答 題 ) 教學(xué)中心: 專(zhuān)業(yè)層次: 姓名: 學(xué)號(hào): 座號(hào): 華南理工大學(xué)網(wǎng)絡(luò)教育學(xué)院 教學(xué)中心: 專(zhuān)業(yè)層次: 姓名: 學(xué)號(hào): 座號(hào): 20192020學(xué)年度第一學(xué)期 離散數(shù)學(xué) 作業(yè)1、 用推理規(guī)則證明 Q,Ø解 P ® R, P ® S,Ø S Q ÙR證 (1)ØQ ÚR P (2)Ø R P (3)Ø Q (1)(2)析取三段論 (4)Ø(PÙ ØQ) P (5)ØP Ú Q (4)等價(jià)轉(zhuǎn)換 (6)&#

2、216; P (3)(5)析取三段論2、用推理規(guī)則證明 Ø(PÙ ØQ),ØQ ÚR,Ø RØP證 (1)ØQ ÚR P (2)Ø R P (3)Ø Q (1)(2)析取三段論 (4)Ø(PÙ ØQ) P (5)ØP Ú Q (4)等價(jià)轉(zhuǎn)換 (6)Ø P (3)(5)析取三段論3設(shè)命題公式為 Ø Q Ù(P ® Q)® Ø P。 (1)求此命題公式的真值表;解真值表如下PQ&#

3、216;QP®QØ Q Ù(P ® Q) Ø PØ Q Ù(P ® Q)® Ø P0011111010101110100011101001(2)求此命題公式的析取范式;Ø Q Ù(P ® Q)® Ø PØ(Ø Q Ù(ØPÚ Q)ÚØ P( QÚ Ø(ØPÚ Q)ÚØ PØ(ØPÚ Q)&

4、#218;( QÚ Ø P)1(析取范式)(ØPÙØQ)Ú(ØPÙQ)Ú(PÙØQ)Ú(PÙQ)(主析取范式)(3)判斷該命題公式的類(lèi)型。答:該公式為重言式4在一階邏輯中構(gòu)造下面推理的證明 每個(gè)喜歡步行的人都不喜歡坐汽車(chē)。每個(gè)人或者喜歡坐汽車(chē)或者喜歡騎自行車(chē)。有的人不喜歡騎自行車(chē)。因而有的人不喜歡步行。令F(x):x喜歡步行。G(x):x喜歡坐汽車(chē)。H(x):x喜歡騎自行車(chē)。答:解 前提:"x(F(x)®Ø G(x),"x(G

5、(x)ÚH(x),$ xØ H(x)。結(jié)論:$ x ØF(x)。證 (1)$ x ØH(x) P (2)ØH(c) ES (1)(3)"x(G(x)ÚH(x) P (4) G(c)ÚH(c) US(3) (5) G(c) T(2,4)I(6)"x(F(x)®Ø G(x) P (7) F(c)®Ø G(c) US(6) (8) Ø F(c) T(5,7)I (9)($x)Ø F(x) EG(8)5用直接證法證明:前提:("x)(C(x)

6、W(x)R(x),($x)(C(x)Q(x)結(jié)論:($x)(Q(x)R(x)。答:證 (1)($x)(C(x)Q(x) P (2)C(c)Q(c) ES (1)(3)("x)(C(x) W(x)R(x) P (4) C(c) W(c)R(c) US(3) (5) C(c) T(2)I(6)W(c)R(c) T(4,5)I (7)R(c) T(6)I (8)Q(c) T(2)I (9)Q(c)R(c) T(7,8)I (10) ($x)(Q(x)R(x) EG(9)6設(shè)R是集合A = 1, 2, 3, 4, 5, 6, 7, 8, 9上的整除關(guān)系。 (1) 給出關(guān)系R;(2)畫(huà)出關(guān)系R

7、的哈斯圖;答:解 R=<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,<1,7>,<1,8>,<1,9>,<2,4>,<2,6>,<2,8>,<3,6>,<3,9>,<4,8>IACOV A=<1,2>,<1,3>,<1,5>,<1,7>,<2,4>,<2,6>,<3,6>,<3,9>,<4,8>作哈斯圖如右:

8、(2) 指出關(guān)系R的最大、最小元,極大、極小元。答:極小元和最小元為1;極大元為5,6,7,8,9, 無(wú)最大元 7設(shè)R是集合A = 1, 2, 3, 4, 6, 12上的整除關(guān)系。(1) 給出關(guān)系R;答:解 R=<1,2>,<1,3>,<1,4>,<1,6>,<1,12>,<2,4>,<2,6>,<2,12>,<3,6>,<3,12>,<4,12>,<6,12>IA(2) 給出COV A答:COV A=<1,2>,<1,3>,&

9、lt;2,4>,<2,6>,<3,6>,<4,12>,<6,12>(3) 畫(huà)出關(guān)系R的哈斯圖;答:作哈斯圖如右:(4) 給出關(guān)系R的極大、極小元、最大、最小元。 答:極小元和最小元為1;極大元和最大元為128求帶權(quán)圖G的最小生成樹(shù),并計(jì)算它的權(quán)值。 答:解 9給定權(quán)為1,9,4,7,3;構(gòu)造一顆最優(yōu)二叉樹(shù)。 答:解 1 3 4 7 9 4 4 7 9 8 7 9 15 9 24 10給定權(quán)為2,6,3,9,4;構(gòu)造一顆最優(yōu)二叉樹(shù)。答:解 2 3 4 6 9 5 4 6 9 9 6 9 15 924或 2 3 4 6 9 5 4 6 9 9 15 2411、設(shè)字母在通訊中出現(xiàn)的頻率為:,。試給出傳輸這6個(gè)字母的最佳前綴碼

溫馨提示

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

最新文檔

評(píng)論

0/150

提交評(píng)論