



全文預(yù)覽已結(jié)束
下載本文檔
版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
離散數(shù)學(xué)復(fù)習(xí) 2018.1.3第1章 數(shù)學(xué)語(yǔ)言與證明方法知識(shí)點(diǎn)1:冪集的定義冪集的元素個(gè)數(shù)計(jì)算,如果A有n個(gè)元素,那么P(A)有2的n次方個(gè)元素例1的冪集 P()的元素個(gè)數(shù) 為1,因?yàn)?的0次方為1.即 。的冪集P()元素個(gè)數(shù)為2,其冪集為,知識(shí)點(diǎn)2: 集合的運(yùn)算P8的公式,特別要注意下面的公式:A-B=ABA=A(AB)= AB(AB) = ABAB=(A - B)(B - A)知識(shí)點(diǎn)3 文氏圖P7 用文氏圖表達(dá)集合運(yùn)算第2章 命題邏輯1 成真賦值,成假賦值例1:求 (pq)r的成假賦值若上式子成假,必須(pq)為1,r為0故成假賦值為 110 ,100,0102可滿足式,矛盾式,永真式的定義3 合取范式,析取范式的定義4 極大項(xiàng),極小項(xiàng)的定義。例2 求(pq)r的合取范式的極大項(xiàng),析取范式的極小項(xiàng)解 成假賦值為110,100,010,故此有三項(xiàng)極大項(xiàng),(pq)r M2M4M6 成真賦值為000,001,011,101,111,故此析取范式有五項(xiàng)極小項(xiàng) (pq)rm0m1m3m5m75 聯(lián)接詞完備集 ,是完備的,因?yàn)?和 都可以用前三個(gè)符號(hào)來(lái)表達(dá)例如 pq(pq)(q p) (pq) pq ,也是完備的因?yàn)閜q (pq) (pq)但, 就不是完備的6 命題符號(hào)化和定理證明 例如 小王學(xué)過(guò)英語(yǔ)或者日語(yǔ)。如果小王學(xué)過(guò)英語(yǔ),則他去過(guò)英國(guó),如果他去過(guò)英國(guó),他也去過(guò)日本。所以小王學(xué)過(guò)日語(yǔ)或者去過(guò)日本。證明: 1)p:小王去過(guò)英語(yǔ); q:小王學(xué)過(guò)英語(yǔ)r : 小王去過(guò)英國(guó) s:小王去過(guò)日本2)前提: pq,pr,rs結(jié)論 :qs3)構(gòu)造證明過(guò)程: 1 pr 前提引入 2 rs 前提引入 3 ps 1,2假言三段倫4 pq 前提引入 5 pq 4置換 6 qp 5置換 7 qs 6,3假言三段 8 qs 7置換7 歸結(jié)法證明:例子:用歸結(jié)法證明上述命題1)p:小王去過(guò)英語(yǔ); q:小王學(xué)過(guò)英語(yǔ)r : 小王去過(guò)英國(guó) s:小王去過(guò)日本2)前提: pq,pr,rs結(jié)論 :qs用歸結(jié)法改寫(xiě)為下述形式:前提:pq,pr,rs,q,s結(jié)論 0證明:1 rs 前提引入 2 s 前提引入3 r 1,2歸結(jié)4 pr 前提引入5 p 3,4歸結(jié)6 pq 前提引入7 q 6,7歸結(jié)8 q 前提引入9 0 7,8歸結(jié) 第3章 一階邏輯知識(shí)點(diǎn)1 公式符號(hào)化例如 所有的汽車(chē)比飛機(jī)慢例如 有的汽車(chē)比有的飛機(jī)慢例如 有的汽車(chē)比所有的飛機(jī)慢知識(shí)點(diǎn)2 前束范式的定義,及轉(zhuǎn)換 例:將上述轉(zhuǎn)換為前束范式P85 3.32第四章 關(guān)系1 笛卡爾積的定義例子:求1,2,34,52二元關(guān)系的矩陣表示與圖表示3 關(guān)系的傳遞性,對(duì)稱(chēng)性,反對(duì)稱(chēng)性,自反性。(判斷法則)4 關(guān)系的交,并,關(guān)系的合成,關(guān)系的冪運(yùn)算。5 傳遞閉包,對(duì)稱(chēng)閉包,自反閉包,tsr閉包4 等價(jià)關(guān)系,偏序關(guān)系與哈斯圖,集合的劃分例11,2,3有多少種劃分1,2,3,4有多少種劃分例2 A=1,2,3,4,5,6,7,8,9,10如果整除關(guān)系為偏序關(guān)系,畫(huà)出哈斯圖。并求2,3在該偏序關(guān)系的上界和下界第5章 函數(shù)知識(shí)點(diǎn)1:函數(shù),恒等函數(shù),單射,滿射,雙射函數(shù)例子 判斷下列映射是否是函數(shù),是否是雙射函數(shù)例子 |A|=m |B|=n,求A到B上函數(shù)的個(gè)數(shù),A到B上雙射函數(shù)的個(gè)數(shù)A到B上函數(shù)有 nm個(gè),因?yàn)槊總€(gè)自變量都有n種選擇。A到B的雙射函數(shù),如果當(dāng)n不等于m時(shí),為0.因?yàn)殡p射函數(shù)必須一一對(duì)應(yīng)。如果m=n,則有n!知識(shí)點(diǎn)2 函數(shù)的像,完全原像。知識(shí)點(diǎn)3 函數(shù)的合成,的定義第6章圖1 握手定理2 完全圖Kn 圈圖Cn,輪圖Wn,各有多少頂點(diǎn),多少邊3 生成子圖的定義和性質(zhì)。4 初級(jí)通路和簡(jiǎn)單通路的定義,初級(jí)回路和簡(jiǎn)單回路的定義。例子:給定一個(gè)無(wú)向圖,計(jì)算初級(jí)通路和簡(jiǎn)單通路的條數(shù)5 平面圖的定義,歐
溫馨提示
- 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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 影視制作行業(yè)數(shù)字化后期處理流程
- 企業(yè)培訓(xùn)現(xiàn)場(chǎng)課件圖片
- 茶山茶樹(shù)種植與病蟲(chóng)害防治合作合同
- 車(chē)輛貸款反擔(dān)保抵押合同
- 餐飲連鎖品牌加盟店經(jīng)營(yíng)管理與品牌推廣合同
- 后院環(huán)境改造方案
- 魚(yú)池幕墻清洗方案
- 炒股投資風(fēng)險(xiǎn)管理及資金安全評(píng)估合同
- 醬酒銷(xiāo)售管理方案
- 柴油價(jià)格風(fēng)險(xiǎn)管理合作協(xié)議范本
- 危險(xiǎn)性較大的分部分項(xiàng)工程專(zhuān)項(xiàng)施工方案嚴(yán)重缺陷清單(試行)2025解讀
- 2024執(zhí)業(yè)獸醫(yī)資格證考試真題及答案
- 鼠標(biāo)操作測(cè)試題及答案
- 2023年福建省松溪縣事業(yè)單位公開(kāi)招聘輔警35名筆試題帶答案
- 浙江國(guó)企招聘2025紹興市鏡湖開(kāi)發(fā)集團(tuán)有限公司下屬?lài)?guó)企招聘11人筆試參考題庫(kù)附帶答案詳解
- 店鋪轉(zhuǎn)讓帶技術(shù)合同協(xié)議
- 2025年第九屆“學(xué)憲法、講憲法”活動(dòng)知識(shí)競(jìng)賽測(cè)試題庫(kù)及答案
- 采棉機(jī)操作手冊(cè)和維護(hù)指南
- 放射狀角膜切開(kāi)術(shù)并發(fā)癥的長(zhǎng)期隨訪研究-全面剖析
- Excel表格公式培訓(xùn)
- 2025年山西省華遠(yuǎn)國(guó)際陸港集團(tuán)有限公司招聘筆試參考題庫(kù)含答案解析
評(píng)論
0/150
提交評(píng)論