




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、( 密 封 線 內(nèi) 不 答 題 ) 教學(xué)中心: 專業(yè)層次: 姓名: 學(xué)號(hào): 座號(hào): 華南理工大學(xué)網(wǎng)絡(luò)教育學(xué)院 教學(xué)中心: 專業(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)Ø P (3)(5)
2、析取三段論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ØQP®Q
3、Ø Q Ù(P ® Q) Ø PØ Q Ù(P ® Q)® Ø P0011111010101110100011101001(2)求此命題公式的析取范式;Ø Q Ù(P ® Q)® Ø PØ(Ø Q Ù(ØPÚ Q)ÚØ P( QÚ Ø(ØPÚ Q)ÚØ PØ(ØPÚ Q)Ú( QÚ
4、; Ø P)1(析取范式)(ØPÙØQ)Ú(ØPÙQ)Ú(PÙØQ)Ú(PÙQ)(主析取范式)(3)判斷該命題公式的類型。答:該公式為重言式4在一階邏輯中構(gòu)造下面推理的證明 每個(gè)喜歡步行的人都不喜歡坐汽車。每個(gè)人或者喜歡坐汽車或者喜歡騎自行車。有的人不喜歡騎自行車。因而有的人不喜歡步行。令F(x):x喜歡步行。G(x):x喜歡坐汽車。H(x):x喜歡騎自行車。答:解 前提:"x(F(x)®Ø G(x),"x(G(x)ÚH(x)
5、,$ 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) W(x)R(x),($x)
6、(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)畫出關(guān)系R的哈斯圖;答:解 R=&l
7、t;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>作哈斯圖如右:(2) 指出關(guān)系R的最大、
8、最小元,極大、極小元。答:極小元和最小元為1;極大元為5,6,7,8,9, 無最大元 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>,<2,4>,&l
9、t;2,6>,<3,6>,<4,12>,<6,12>(3) 畫出關(guān)系R的哈斯圖;答:作哈斯圖如右:(4) 給出關(guān)系R的極大、極小元、最大、最小元。 答:極小元和最小元為1;極大元和最大元為128求帶權(quán)圖G的最小生成樹,并計(jì)算它的權(quán)值。 答:解 9給定權(quán)為1,9,4,7,3;構(gòu)造一顆最優(yōu)二叉樹。 答:解 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)二叉樹。答:解 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. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 咖啡館場地租賃合同
- 建筑單價(jià)施工合同
- 亮化工程合同協(xié)議書
- 北京租房居間合同
- 會(huì)議接待流程優(yōu)化方案
- 室外地磚施工方案
- 老路破除修補(bǔ)施工方案
- 別墅屋頂防水施工方案
- 浮吊桁架吊裝施工方案
- 堤壩加固施工方案
- 第二單元 煥發(fā)青春活力 大單元教學(xué)設(shè)計(jì)-2024-2025學(xué)年統(tǒng)編版道德與法治七年級下冊
- 2025年皖西衛(wèi)生職業(yè)學(xué)院單招職業(yè)技能測試題庫含答案
- 中小學(xué)-安全使用與維護(hù)家用電器-主題班會(huì)教案
- 2025年湖南信息職業(yè)技術(shù)學(xué)院單招職業(yè)技能測試題庫及答案1套
- 2025年湖南中醫(yī)藥高等??茖W(xué)校單招職業(yè)技能測試題庫必考題
- 2025年陜西延長石油集團(tuán)有限責(zé)任公司招聘筆試參考題庫含答案解析
- 三八婦女節(jié)模板
- 地鐵出入口施工方案
- 2024上海市招聘社區(qū)工作者考試題及參考答案
- 2024年廚房年終工作總結(jié)
- 2024年湖南省中考英語試題卷(含答案)
評論
0/150
提交評論