版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、離散數(shù)學(xué)試題(A卷答案)一、(10分)求(P¯Q)®(PØ(QØR)的主析取范式解:(P¯Q)®(PØ(QØR)ÛØ(Ø( PQ)(PØQR)Û(PQ)(PØQR)Û(PQP)(PQØQ)(PQR)Û(PQ)(PQR)Û(PQ(RØR)(PQR)Û(PQR)(PQØR)(PQR)ÛÛ二、(10分)在某次研討會(huì)的休息時(shí)間,3名與會(huì)者根據(jù)王教授的口音分別作出下述判斷:甲說(shuō)
2、:王教授不是蘇州人,是上海人。乙說(shuō):王教授不是上海人,是蘇州人。丙說(shuō):王教授既不是上海人,也不是杭州人。王教授聽(tīng)后說(shuō):你們3人中有一個(gè)全說(shuō)對(duì)了,有一人全說(shuō)錯(cuò)了,還有一個(gè)人對(duì)錯(cuò)各一半。試判斷王教授是哪里人?解 設(shè)設(shè)P:王教授是蘇州人;Q:王教授是上海人;R:王教授是杭州人。則根據(jù)題意應(yīng)有:甲:ØPQ乙:ØQP丙:ØQØR王教授只可能是其中一個(gè)城市的人或者3個(gè)城市都不是。所以,丙至少說(shuō)對(duì)了一半。因此,可得甲或乙必有一人全錯(cuò)了。又因?yàn)椋艏兹e(cuò)了,則有ØQP,因此,乙全對(duì)。同理,乙全錯(cuò)則甲全對(duì)。所以丙必是一對(duì)一錯(cuò)。故王教授的話符號(hào)化為:(Ø
3、PQ)(QØR)(ØQR)(ØQP)(ØQR)Û(ØPQQØR)(ØPQØQR)(ØQPØQR)Û(ØPQØR)(PØQR)ÛØPQØRÛT因此,王教授是上海人。三、(10分)證明tsr(R)是包含R的且具有自反性、對(duì)稱性和傳遞性的最小關(guān)系。證明 設(shè)R是非空集合A上的二元關(guān)系,則由定理4.19知,tsr(R)是包含R的且具有自反性、對(duì)稱性和傳遞性的關(guān)系。若是包含R的且具有自反性、對(duì)稱性和傳遞性的任意關(guān)系,則
4、由閉包的定義知r(R)Í。由定理4.15和由定理4.16得sr(R)Ís(),進(jìn)而有tsr(R)Ít()。綜上可知,tsr(R)是包含R的且具有自反性、對(duì)稱性和傳遞性的最小關(guān)系。四、(15分)集合Aa,b,c,d,e上的二元關(guān)系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>,
5、(1)寫(xiě)出R的關(guān)系矩陣。(2)判斷R是不是偏序關(guān)系,為什么?解 (1) R的關(guān)系矩陣為:(2)由關(guān)系矩陣可知,對(duì)角線上所有元素全為1,故R是自反的;1,故R是反對(duì)稱的;可計(jì)算對(duì)應(yīng)的關(guān)系矩陣為:由以上矩陣可知R是傳遞的。五、(10分)設(shè)A、B、C和D為任意集合,證明(AB)×C(A×C)(B×C)。證明:因?yàn)?lt;,>(AB)×CÛ(AB)CÛ(AÏB)CÛ(ACÏB)(ACÏC)Û(AC)(ÏBÏC)Û(AC)Ø(BC)Û<
6、;,>(A×C)<,>Ï(B×C)Û<,>(A×C)(B×C)所以,(AB)×C(A×CB×C)。六、(10分)設(shè)f:A®B,g:B®C,h:C®A,證明:如果hogofIA,fohogIB,gofohIC,則f、g、h均為雙射,并求出f1、g1和h1。解 因IA恒等函數(shù),由hogofIA可得f是單射,h是滿射;因IB恒等函數(shù),由fohogIB可得g是單射,f是滿射;因IC恒等函數(shù),由gofohIC可得h是單射,g是滿射。從而f、g、h均為雙射。
7、由hogofIA,得f1hog;由fohogIB,得g1foh;由gofohIC,得h1gof。七、(15分)設(shè)<G,*>是一代數(shù)系統(tǒng),運(yùn)算*滿足交換律和結(jié)合律,且a*xa*yÞxy,證明:若G有限,則G是一群。證明 因G有限,不妨設(shè)G,。由a*xa*yÞxy得,若xy,則a*xa*y。于是可證,對(duì)任意的aG,有aGG。又因?yàn)檫\(yùn)算*滿足交換律,所以aGGGa。令eG使得a*ea。對(duì)任意的bG,令c*ab,則b*e(c*a)*ec*(a*e)c*ab,再由運(yùn)算*滿足交換律得e*bb,所以e是關(guān)于運(yùn)算*的幺元。對(duì)任意aG,由aGG可知,存在bG使得a*be,再由運(yùn)算
8、*滿足交換律得b*ae,所以b是a的逆元。由a的任意性知,G中每個(gè)元素都存在逆元。故G是一群。八、(20分)(1)證明在n個(gè)結(jié)點(diǎn)的連通圖G中,至少有n1條邊。證明 不妨設(shè)G是無(wú)向連通圖(若G為有向圖,可略去邊的方向討論對(duì)應(yīng)的無(wú)向圖)。設(shè)G中結(jié)點(diǎn)為、。由連通性,必存在與相鄰的結(jié)點(diǎn),不妨設(shè)它為(否則可重新編號(hào)),連接和,得邊,還是由連通性,在、中必存在與或相鄰的結(jié)點(diǎn),不妨設(shè)為,將其連接得邊,續(xù)行此法,必與、中的某個(gè)結(jié)點(diǎn)相鄰,得新邊,由此可見(jiàn)G中至少有n1條邊。(2)給定簡(jiǎn)單無(wú)向圖G<V,E>,且|V|m,|E|n。試證:若n2,則G是哈密爾頓圖。證明 若n2,則2nm23m6 (1)。
9、若存在兩個(gè)不相鄰結(jié)點(diǎn)、使得d()d()m,則有2nm(m2)(m3)mm23m6,與(1)矛盾。所以,對(duì)于G中任意兩個(gè)不相鄰結(jié)點(diǎn)、都有d()d()m。由定理10.26可知,G是哈密爾頓圖。離散數(shù)學(xué)試題(B卷答案)一、(10分)使用將命題公式化為主范式的方法,證明(P®Q)®(PQ)Û(Q®P)(PQ)。證明:因?yàn)?P®Q)®(PQ)ÛØ(ØPQ)(PQ)Û(PØQ)(PQ)(Q®P)(PQ)Û(ØQP)(PQ)Û(PØQ)(Ø
10、QQ)(PP) (PQ)Û(PØQ)PÛ(PØQ)(P(QØQ)Û(PØQ)(PQ)(PØQ)Û(PØQ)(PQ) 所以,(P®Q)®(PQ)Û(Q®P)(PQ)。二、(10分)證明下述推理: 如果A努力工作,那么B或C感到愉快;如果B愉快,那么A不努力工作;如果D愉快那么C不愉快。所以,如果A努力工作,則D不愉快。解 設(shè)A:A努力工作;B、C、D分別表示B、C、D愉快;則推理化形式為:A®BC,B®ØA,D®
11、16;CA®ØD(1)A 附加前提(2)A®BC P(3)BC T(1)(2),I(4)B®ØA P(5)A®ØB T(4),E(6)ØB T(1)(5),I(7)C T(3)(6),I(8)D®ØC P(9)ØD T(7)(8),I(10)A®ØD CP三、(10分)證明"x"y(P(x)®Q(y)Û($xP(x)®"yQ(y)。"x"y(P(x)®Q(y)Û&qu
12、ot;x"y(ØP(x)Q(y)Û"x(ØP(x)"yQ(y)Û"xØP(x)"yQ(y)ÛØ$xP(x)"yQ(y)Û($xP(x)®"yQ(y)四、(10分)設(shè)AÆ,1,1,B0,0,求P(A)、P(B)0、P(B)ÅB。解 P(A)Æ,Æ,1,1,Æ,1,Æ,1,1,1,Æ,1,1P(B)0Æ,0,0,0,00Æ,0,0,0,0P(B)
13、97;BÆ,0,0,0,0Å0,0Æ,0,0,0,0五、(15分)設(shè)X1,2,3,4,R是X上的二元關(guān)系,R<1,1>,<3,1>,<1,3>,<3,3>,<3,2>,<4,3>,<4,1>,<4,2>,<1,2>(1)畫(huà)出R的關(guān)系圖。(2)寫(xiě)出R的關(guān)系矩陣。(3)說(shuō)明R是否是自反、反自反、對(duì)稱、傳遞的。解 (1)R的關(guān)系圖如圖所示:(2) R的關(guān)系矩陣為:(3)對(duì)于R的關(guān)系矩陣,由于對(duì)角線上不全為1,R不是自反的;由于對(duì)角線上存在非0元,R不是反自反的;由
14、于矩陣不對(duì)稱,R不是對(duì)稱的;經(jīng)過(guò)計(jì)算可得,所以R是傳遞的。六、(15分)設(shè)函數(shù)f:R×R®R×R,f定義為:f(<x,y>)<xy,xy>。(1)證明f是單射。(2)證明f是滿射。(3)求逆函數(shù)f1。(4)求復(fù)合函數(shù)f1of和fof。證明 (1)對(duì)任意的x,y,x1,y1R,若f(<x,y>)f(<x1,y1>),則<xy,xy><x1y1,x1y1>,xyx1y1,xyx1y1,從而xx1,yy1,故f是單射。(2)對(duì)任意的<u,w>R×R,令x,y,則f(<x,
15、y>)<,><u,w>,所以f是滿射。(3)f1(<u,w>)<,>。(4)f1of(<x,y>)f1(f(<x,y>)f1(<xy,xy>)<,><x,y>fof(<x,y>)f(f(<x,y>)f(<xy,xy>)<xyxy,xy(xy)><2x,2y>。七、(15分)給定群<G,*>,若對(duì)G中任意元a和b,有a3*b3(a*b)3,a4*b4(a*b)4,a5*b5(a*b)5,試證<G,*>是Abel群。證明 對(duì)G中任意元a和b。因?yàn)閍3*b3(a*b)3,所以*a3*b3*(a*b)3*,即得a2*b2(b*a)2。同理,由a4*b4(a*b)4可得,a3*b3(b*a)3。由a5*b5(a*b)5可得,a4*b4(b*a)4。于是(a3*b3)*(b*a)(b*a)4a4*b4,即b4*aa*b4。同理可得,(a2*b2)*(b*a)(b*a)3a3*b3,即b3*aa*b3。由于(a*b)*b3a*b4b4*ab*(b3*a)b*(a*b3)(b*a)*b3,故a*b
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 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ì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 二零二五美容院?jiǎn)T工培訓(xùn)課程開(kāi)發(fā)與實(shí)施合同4篇
- 二零二五年度農(nóng)業(yè)土地租賃合同稅收籌劃策略4篇
- 二零二五年度特種門類安裝及售后服務(wù)合同3篇
- 房贈(zèng)予合同范本(2篇)
- 二零二五年度出租車庫(kù)信息化改造合同4篇
- 2025年度牛奶產(chǎn)業(yè)鏈上下游合作合同4篇
- 2025年度健康養(yǎng)生經(jīng)營(yíng)承包合同樣本3篇
- 2025版歷史文化名城美化保護(hù)合同
- 二零二五年度教育機(jī)構(gòu)教師聘用合同樣本4篇
- 二零二五年度勞動(dòng)合同對(duì)價(jià)與員工多元化福利方案合同2篇
- 2023年成都市青白江區(qū)村(社區(qū))“兩委”后備人才考試真題
- 2024中考復(fù)習(xí)必背初中英語(yǔ)單詞詞匯表(蘇教譯林版)
- 海員的營(yíng)養(yǎng)-1315醫(yī)學(xué)營(yíng)養(yǎng)霍建穎等講解
- 《現(xiàn)代根管治療術(shù)》課件
- 肩袖損傷的護(hù)理查房課件
- 2023屆北京市順義區(qū)高三二模數(shù)學(xué)試卷
- 公司差旅費(fèi)報(bào)銷單
- 我國(guó)全科醫(yī)生培訓(xùn)模式
- 2021年上海市楊浦區(qū)初三一模語(yǔ)文試卷及參考答案(精校word打印版)
- 八年級(jí)上冊(cè)英語(yǔ)完形填空、閱讀理解100題含參考答案
- 八年級(jí)物理下冊(cè)功率課件
評(píng)論
0/150
提交評(píng)論