離散數(shù)學(xué)必備知識點總結(jié).doc
《離散數(shù)學(xué)必備知識點總結(jié).doc》由會員分享,可在線閱讀,更多相關(guān)《離散數(shù)學(xué)必備知識點總結(jié).doc(17頁珍藏版)》請在裝配圖網(wǎng)上搜索。
總結(jié) 離散數(shù)學(xué)知識點 第2章 命題邏輯 1. →,前鍵為真,后鍵為假才為假;<—>,相同為真,不同為假; 2. 主析取范式:極小項(m)之和;主合取范式:極大項(M)之積; 3. 求極小項時,命題變元的肯定為1,否定為0,求極大項時相反; 4. 求極大極小項時,每個變元或變元的否定只能出現(xiàn)一次,求極小項時變元不夠合取真,求極大項時變元不夠析取假; 5. 求范式時,為保證編碼不錯,命題變元最好按P,Q,R的順序依次寫; 6. 真值表中值為1的項為極小項,值為0的項為極大項; 7. n個變元共有個極小項或極大項,這為(0~-1)剛好為化簡完后的主析取加主合??; 8. 永真式?jīng)]有主合取范式,永假式?jīng)]有主析取范式; 9. 推證蘊含式的方法(=>):真值表法;分析法(假定前鍵為真推出后鍵為真,假定前鍵為假推出后鍵也為假) 10.命題邏輯的推理演算方法:P規(guī)則,T規(guī)則 ①真值表法;②直接證法;③歸謬法;④附加前提法; 第3章 謂詞邏輯 1. 一元謂詞:謂詞只有一個個體,一元謂詞描述命題的性質(zhì); 多元謂詞:謂詞有n個個體,多元謂詞描述個體之間的關(guān)系; 2. 全稱量詞用蘊含→,存在量詞用合取^; 3. 既有存在又有全稱量詞時,先消存在量詞,再消全稱量詞; 第4章 集合 1. N,表示自然數(shù)集,1,2,3……,不包括0; 2. 基:集合A中不同元素的個數(shù),|A|; 3. 冪集:給定集合A,以集合A的所有子集為元素組成的集合,P(A); 4. 若集合A有n個元素,冪集P(A)有個元素,|P(A)|==; 5. 集合的分劃:(等價關(guān)系) ①每一個分劃都是由集合A的幾個子集構(gòu)成的集合; ②這幾個子集相交為空,相并為全(A); 6. 集合的分劃與覆蓋的比較: 分劃:每個元素均應(yīng)出現(xiàn)且僅出現(xiàn)一次在子集中; 覆蓋:只要求每個元素都出現(xiàn),沒有要求只出現(xiàn)一次; 第5章 關(guān)系 1. 若集合A有m個元素,集合B有n個元素,則笛卡爾A×B的基數(shù)為mn,A到B上可以定義種不同的關(guān)系; 2. 若集合A有n個元素,則|A×A|=,A上有個不同的關(guān)系; 3. 全關(guān)系的性質(zhì):自反性,對稱性,傳遞性; 空關(guān)系的性質(zhì):反自反性,反對稱性,傳遞性; 全封閉環(huán)的性質(zhì):自反性,對稱性,反對稱性,傳遞性; 4. 前域(domR):所有元素x組成的集合; 后域(ranR):所有元素y組成的集合; 5. 自反閉包:r(R)=RU; 對稱閉包:s(R)=RU; 傳遞閉包:t(R)=RUUU…… 6. 等價關(guān)系:集合A上的二元關(guān)系R滿足自反性,對稱性和傳遞性,則R稱為等價關(guān)系; 7. 偏序關(guān)系:集合A上的關(guān)系R滿足自反性,反對稱性和傳遞性,則稱R是A上的一個偏序關(guān)系; 8. covA={- 1.請仔細閱讀文檔,確保文檔完整性,對于不預(yù)覽、不比對內(nèi)容而直接下載帶來的問題本站不予受理。
- 2.下載的文檔,不會出現(xiàn)我們的網(wǎng)址水印。
- 3、該文檔所得收入(下載+內(nèi)容+預(yù)覽)歸上傳者、原創(chuàng)作者;如果您是本文檔原作者,請點此認領(lǐng)!既往收益都歸您。
下載文檔到電腦,查找使用更方便
32 積分
下載 |
- 配套講稿:
如PPT文件的首頁顯示word圖標(biāo),表示該PPT已包含配套word講稿。雙擊word圖標(biāo)可打開word文檔。
- 特殊限制:
部分文檔作品中含有的國旗、國徽等圖片,僅作為作品整體效果示例展示,禁止商用。設(shè)計者僅對作品中獨創(chuàng)性部分享有著作權(quán)。
- 關(guān) 鍵 詞:
- 離散數(shù)學(xué) 必備 知識點 總結(jié)
鏈接地址:http://m.jqnhouse.com/p-1562679.html