下載本文檔
版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、哈爾濱工程大學(xué)試卷考試科目:離散數(shù)學(xué)(041121, 041131 -32) 考試時(shí)間: 2007.01.16 14:00-16:30題號(hào)-一一-二二-三四五總分分?jǐn)?shù)評(píng)卷人一、填空題(每題3分,共15分)1. 設(shè) F(x): x是蘋(píng)果,H(x,y): x與 y完全相同,L(x, y): x=y, 那么命題“沒(méi)有完全相同的蘋(píng)果的符號(hào)化(利用全稱量詞)為x y(F(x) F(y) L(x,y)H(x,y).2. 命題“設(shè)L是有補(bǔ)格,在L中求補(bǔ)元運(yùn)算"是L中的一元 運(yùn)算的真值是.3. 設(shè)G=e, a, b, c是Klein四元群,H= a是G的子群,那么商 群 G/H= a , b, c=
2、 e, a, b, c.4. 設(shè)群G= P(a, b, c),,其中 為集合的對(duì)稱差運(yùn)算,那么由集合a, b生成的子群a, b =, a, b.5. n階無(wú)向簡(jiǎn)單圖G有m條邊,那么G的補(bǔ)圖有n(n-1)/2-m 條邊.二、選擇題(每題3分,共15分)1.命題“只要?jiǎng)e人有困難(p),小王就會(huì)幫助他(q),除非困難已經(jīng)解決了(r)的符號(hào)化為【B A. (P r) q.B. ( r p) q.C. r (p q).D. r (q p).2.設(shè)N為自然數(shù)集合,“為通常意義上的小于等于關(guān)系,那么偏序集N,是【C第1頁(yè)共6頁(yè)A .有界格.B.有補(bǔ)格.C .分配格.D.布爾代數(shù).3.設(shè)n (n 3)階無(wú)向圖
3、G= V, E是哈密爾頓圖,那么以下結(jié)論中不成立的是【DA. V1 V, p(G-VJ V1 .B .E n.C.無(wú)1度頂點(diǎn).D .(G) n/2 .4.設(shè)A=a, b, c,在A上可以定義個(gè)二元運(yùn)算,其中有個(gè)是可交換的,有個(gè)是幕等的.【A A . 39, 36, 36 .B .39, 36, 33 .C . 36, 36, 33 .D .39, 36, 39 .5.以下圖中是歐拉圖的有【CA . K4, 3 .B .K6 .C . K5 .D.K3, 3 .三、計(jì)算與簡(jiǎn)答題(每題8分,共40分)1.利用等值演算方法求命題公式(p q)(q p)的主合取范式;利用該主合取范式求公式的主析取范式
4、, 賦值和成假賦值.并指出該公式的成真(p q) (q p)(p q) ( q p)(pq) (qp)(pq p)(qq p)q p p qM1此為公式的主合取范式.該公式的主析取范式是m。m2 m3 . 公式的成真賦值為00, 10, 11 . 公式的成假賦值為01 .第2頁(yè)共6頁(yè)2. 求群Z18 ,18的所有生成元和子群,畫(huà)出乙8, 18的子群格,指出該子群格的全下界、全上界和有補(bǔ)元,并求其補(bǔ)元.與 18互質(zhì)的數(shù)有 1, 5, 7, 11,13,17,因此,1, 5, 7, 11,13, 17是群Z18 ,18的生成元.18的因數(shù)有1, 2, 3, 6, 9, 18,因此,群 乙8, 18
5、的子群有1 = Z18 ,18 ,2 = 0, 2, 4, 6, 8, 10, 12, 14, 16,3 = 0 , 3, 6, 9, 12, 15,18 ,6 = 0 , 6, 12, 18 ,9 = 0 , 9 ,18 ,18 = 0 , 18 .Z18 ,18的子群格為 18 , 9 , 6 ,3 , 2 ,1 ,其哈斯圖為全下界為18 ,全上界為1 ,18 ' = , 1 ' =18 ,2 ' 9 , 9 '= , 3和6沒(méi)有補(bǔ)元.3. 假設(shè)R1 , R2均是非空集合A上的等價(jià) 關(guān)系,那么R1 , R2的交R1 n R2、并R1 U R2和復(fù)合R1CR2
6、也是A上的等價(jià)關(guān) 系嗎?假設(shè)是,證明你的結(jié)論.R1n R2是A上的等價(jià)關(guān)系.事實(shí)上,18 ,(1)因R1 ,R2是A上的自反關(guān)系,有IaR1 ,IaRz,因此,1aR1n R2 ,即&n R2是a上的自反關(guān)系.(2)因R1 , R2是A上的對(duì)稱關(guān)系,有R1 = R1-1 , R2= R2-1 ,而(R1 n R2)-1=R1-1n R2-1二rj R2 ,因此,R1 n R2是a上的對(duì)稱關(guān) 系. 因R1 , R2是A上的傳遞關(guān)系,有R12 R1 , R22 R2 ,而(Rd R2)2=(R1 n 劃(R1 n R2)=R12 n r,2 n R1 R2 n R2 R1 R12 n R2
7、2 R1 n R2,因此,R1n R2是a上的傳遞關(guān)系.4. 設(shè)無(wú)向連通圖G如以下圖,求其最小生成樹(shù)T及T的權(quán)W(T), 寫(xiě)出G的對(duì)應(yīng)于T的根本回 路系統(tǒng)和根本割集系統(tǒng).G的最小生成樹(shù)T如圖(以實(shí) 線表示),權(quán)W(T)=11.G的對(duì)應(yīng)于T的根本回路系統(tǒng) 為 Cbd , Ccd, Cde,其中Cbd=bdab , Ccd=cdabc ,Cde二dead.G的對(duì)應(yīng)于T的根本割集系統(tǒng)為Sab , Sad , We , Sbc,其中Sab=ab , bd , cd, Sad= ad , bd , cd , de,Sae=ae , de, Sbc二be, cd.5. 設(shè)B,,0 , 1是布爾代數(shù),式(a
8、 b) (a (b c)c.a , b , c B,化簡(jiǎn)公(a b) (a (b c)') c=(a b) (a (b' c') c=(a b) (a (b' c') c)=(a b) (a c) (b' c' c)=(a b) (a c)=(a (a c) (b a c)=(a c) (a c b)=a c四、 證明題(共20分)1.在自然推理系統(tǒng)中,構(gòu)造推理證明:前提:x (F(x) G(x)結(jié)論: xF(x) xG(x)證明:(1)xF(x)附加前提引入(2)x F(x)(1)置換(3)F(c)(2)EI規(guī)那么(4)x (F(x)
9、G(x)前提引入(5)F(c) G(c)(4)UI規(guī)那么裝(6)G(c)(3)(5)析取三段論裝(7)xG(x)(6)EG規(guī)那么訂2.設(shè)代數(shù)系統(tǒng)A,是獨(dú)異點(diǎn),e是其單位元.假設(shè)a A,有 a a=e,證明:A, 是Abel群.線證明:由于對(duì) aA,有a a=e,因此,A中任意兀素a都有逆元,且 a=a-1 .又 A,是有單位元的獨(dú)異點(diǎn),從而A, 是群.a, b A,有a bA,且a=a-1, b=b-1, (a b)-1二a b.又(a b)-1=b-1 a-1=b a,因此匕 a b=b a,即A, 是Abel群.3.證明:假設(shè)無(wú)向圖G為歐拉圖,那么G無(wú)橋.證明:(1)假設(shè)G中有橋,不妨設(shè)e
10、=(u,v)為其一座橋.這 樣,從中刪去邊e=(u, v)后,所得圖G'定不連通(G'至少含有 兩個(gè)連通分支).由于G為歐拉圖,因此它是連通圖,且有經(jīng)過(guò)每條邊一次且 僅一次的回路,這條回路必經(jīng)過(guò) G的所有頂點(diǎn).從而存在頂點(diǎn)vi, V2,,Vs,使得UV1V2Vsvu是G的一條回路.從G中刪去邊e=(u, v)后,所得圖G'仍有從u到v的通路uviV2VsV,這樣G'仍是連通 圖.矛盾.因此,G中一定無(wú)橋.(2)由于G為歐拉圖,其每個(gè)頂點(diǎn)的度數(shù)均為偶數(shù).假設(shè) G 中有橋,不妨設(shè)e=(u, v)為其一座橋.這樣,從中刪去邊e=(u, v)后,所得圖G'至少有兩個(gè)連通分支.而且,頂點(diǎn) u, v的度數(shù)都 是奇數(shù),這與每個(gè)連通分支為圖矛盾(與握手定理矛盾),因此, G中一定無(wú)橋.五、 應(yīng)用題(10分)今有a, b, c, d, e, f和g七人,a會(huì)講英語(yǔ);b會(huì)講英 語(yǔ)和漢語(yǔ);c會(huì)講英語(yǔ)、意大利語(yǔ)和俄語(yǔ);d會(huì)講漢語(yǔ)和日語(yǔ);e會(huì)講德語(yǔ)和意大利語(yǔ);f會(huì)講法語(yǔ)、日語(yǔ)和俄語(yǔ);g會(huì)講法語(yǔ)和
溫馨提示
- 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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 2024個(gè)人的簡(jiǎn)單借款合同
- 國(guó)際貿(mào)易協(xié)議樣本
- 廠房租賃合同范例
- 特色農(nóng)產(chǎn)品胡柚購(gòu)銷(xiāo)合同法律問(wèn)題探討
- 共同投資開(kāi)設(shè)武術(shù)館協(xié)議
- 標(biāo)準(zhǔn)入職協(xié)議書(shū)范例
- 旅行社與導(dǎo)游勞動(dòng)合同范本
- 2023年高考地理第一次模擬考試卷-(湖南A卷)(全解全析)
- 房地產(chǎn)代理合同模板
- 2024年建筑渣土運(yùn)輸合同范文
- 山西省太原市2024-2025學(xué)年高三上學(xué)期期中物理試卷(含答案)
- 酒店崗位招聘面試題與參考回答2025年
- (統(tǒng)編2024版)道德與法治七上10.1愛(ài)護(hù)身體 課件
- GB/T 30391-2024花椒
- 供電線路維護(hù)合同
- 胸部術(shù)后護(hù)理科普
- 鞋子工廠供貨合同模板
- 2024碼頭租賃合同范本
- 木材采運(yùn)智能決策支持系統(tǒng)
- 【產(chǎn)業(yè)圖譜】2024年青島市重點(diǎn)產(chǎn)業(yè)規(guī)劃布局全景圖譜(附各地區(qū)重點(diǎn)產(chǎn)業(yè)、產(chǎn)業(yè)體系布局、未來(lái)產(chǎn)業(yè)發(fā)展規(guī)劃等)
- 上海市市轄區(qū)(2024年-2025年小學(xué)四年級(jí)語(yǔ)文)部編版期末考試(下學(xué)期)試卷及答案
評(píng)論
0/150
提交評(píng)論