



全文預(yù)覽已結(jié)束
下載本文檔
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
離散數(shù)學(xué)復(fù)習(xí) 2018.1.3第1章 數(shù)學(xué)語言與證明方法知識點(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,其冪集為,知識點(diǎn)2: 集合的運(yùn)算P8的公式,特別要注意下面的公式:A-B=ABA=A(AB)= AB(AB) = ABAB=(A - B)(B - A)知識點(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è)符號來表達(dá)例如 pq(pq)(q p) (pq) pq ,也是完備的因?yàn)閜q (pq) (pq)但, 就不是完備的6 命題符號化和定理證明 例如 小王學(xué)過英語或者日語。如果小王學(xué)過英語,則他去過英國,如果他去過英國,他也去過日本。所以小王學(xué)過日語或者去過日本。證明: 1)p:小王去過英語; q:小王學(xué)過英語r : 小王去過英國 s:小王去過日本2)前提: pq,pr,rs結(jié)論 :qs3)構(gòu)造證明過程: 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:小王去過英語; q:小王學(xué)過英語r : 小王去過英國 s:小王去過日本2)前提: pq,pr,rs結(jié)論 :qs用歸結(jié)法改寫為下述形式:前提: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章 一階邏輯知識點(diǎn)1 公式符號化例如 所有的汽車比飛機(jī)慢例如 有的汽車比有的飛機(jī)慢例如 有的汽車比所有的飛機(jī)慢知識點(diǎn)2 前束范式的定義,及轉(zhuǎn)換 例:將上述轉(zhuǎn)換為前束范式P85 3.32第四章 關(guān)系1 笛卡爾積的定義例子:求1,2,34,52二元關(guān)系的矩陣表示與圖表示3 關(guān)系的傳遞性,對稱性,反對稱性,自反性。(判斷法則)4 關(guān)系的交,并,關(guān)系的合成,關(guān)系的冪運(yùn)算。5 傳遞閉包,對稱閉包,自反閉包,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)系,畫出哈斯圖。并求2,3在該偏序關(guān)系的上界和下界第5章 函數(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ù)必須一一對應(yīng)。如果m=n,則有n!知識點(diǎn)2 函數(shù)的像,完全原像。知識點(diǎn)3 函數(shù)的合成,的定義第6章圖1 握手定理2 完全圖Kn 圈圖Cn,輪圖Wn,各有多少頂點(diǎn),多少邊3 生成子圖的定義和性質(zhì)。4 初級通路和簡單通路的定義,初級回路和簡單回路的定義。例子:給定一個(gè)無向圖,計(jì)算初級通路和簡單通路的條數(shù)5 平面圖的定義,歐
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(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)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 39 選擇性必修1 素養(yǎng)加強(qiáng)課7 興奮傳導(dǎo)與傳遞的相關(guān)實(shí)驗(yàn)探究
- 2025年福建省南平市中考地理真題及答案
- 循環(huán)額度房屋按揭貸款合同范本
- 商場超市清潔作業(yè)及食品安全保障合同
- 智能化商場委托運(yùn)營管理與系統(tǒng)升級合同
- 餐飲企業(yè)員工薪酬福利與勞動(dòng)權(quán)益保障協(xié)議
- 蒙古象棋教學(xué)課件
- 高中一年級化學(xué)《化學(xué)能與電能(第2課時(shí))》
- 化學(xué)反應(yīng)器設(shè)計(jì)與工程實(shí)踐考核試卷
- 中草藥種植機(jī)械自動(dòng)化作業(yè)的智能病蟲害預(yù)警系統(tǒng)開發(fā)考核試卷
- (高清版)JTT 529-2016 預(yù)應(yīng)力混凝土橋梁用塑料波紋管
- 小學(xué)科學(xué)培訓(xùn)講座
- DLT 5100水工混凝土外加劑技術(shù)規(guī)程
- 2024屆湖北省仙桃市小升初復(fù)習(xí)語文模擬試卷含答案
- AI技術(shù)在智能旅游中的應(yīng)用
- FZ/T 07025-2022針織行業(yè)綠色工廠評價(jià)要求
- 《物理化學(xué)48學(xué)時(shí)》課程教學(xué)大綱
- 全國職業(yè)大賽(中職)ZZ006水利工程制圖與應(yīng)用賽項(xiàng)賽題第1套
- 火鍋店領(lǐng)班的崗位職責(zé)和工作流程
- 基恩士靜電測量儀說明書
- 健康照護(hù)師(初級)理論知識考核試題
評論
0/150
提交評論