版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、總結(jié)離散數(shù)學(xué)知識點第2章命題邏輯1.→,前鍵為真,后鍵為假才為假;,相同為真,不同為假;2.主析取范式:極小項(m)之和;主合取范式:極大項(M)之積;3.求極小項時,命題變元的肯定為1,否定為0,求極大項時相反;4.求極大極小項時,每個變元或變元的否定只能出現(xiàn)一次,求極小項時變元不夠合取真,求極大項時變元不夠析取假;5.求范式時,為保證編碼不錯,命題變元最好按PQR的順序依次寫;6.真值表中值為1的項為極小項,值為0的項為極大項;7.
2、n個變元共有個極小項或極大項,這為(0~1)剛好為化簡完n2n2n2后的主析取加主合取;8.永真式?jīng)]有主合取范式,永假式?jīng)]有主析取范式;9.推證蘊含式的方法(=):真值表法;分析法(假定前鍵為真推出后鍵為真,假定前鍵為假推出后鍵也為假)10.命題邏輯的推理演算方法:P規(guī)則,T規(guī)則①真值表法;②直接證法;③歸謬法;④附加前提法;第3章謂詞邏輯1.一元謂詞:謂詞只有一個個體,一元謂詞描述命題的性質(zhì);多元謂詞:謂詞有n個個體,多元謂詞描述個體
3、之間的關(guān)系;3.全關(guān)系的性質(zhì):自反性,對稱性,傳遞性;空關(guān)系的性質(zhì):反自反性,反對稱性,傳遞性;全封閉環(huán)的性質(zhì):自反性,對稱性,反對稱性,傳遞性;4.前域(domR):所有元素x組成的集合;后域(ranR):所有元素y組成的集合;5.自反閉包:r(R)=RUxI對稱閉包:s(R)=RU1R傳遞閉包:t(R)=RUUU……2R3R6.等價關(guān)系:集合A上的二元關(guān)系R滿足自反性,對稱性和傳遞性,則R稱為等價關(guān)系;7.偏序關(guān)系:集合A上的關(guān)系R
4、滿足自反性,反對稱性和傳遞性,則稱R是A上的一個偏序關(guān)系;8.covA=|xy屬于A,y蓋住x;9.極小元:集合A中沒有比它更小的元素(若存在可能不唯一);極大元:集合A中沒有比它更大的元素(若存在可能不唯一);最小元:比集合A中任何其他元素都小(若存在就一定唯一);最大元:比集合A中任何其他元素都大(若存在就一定唯一);10.前提:B是A的子集上界:A中的某個元素比B中任意元素都大,稱這個元素是B的上界(若存在,可能不唯一);下界:A
溫馨提示
- 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. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 離散數(shù)學(xué)必備知識點總結(jié)
- 高考數(shù)學(xué)必備知識點總結(jié)
- 離散數(shù)學(xué)知識點整理
- 小升初英語必備知識點總結(jié)
- 小升初英語必備知識點總結(jié)
- 單招必備數(shù)學(xué)知識點①
- 高考數(shù)學(xué)高考必備知識點總結(jié)精華版
- 安徽師范大學(xué)《離散數(shù)學(xué)》復(fù)習(xí)知識點匯總-考試-考研重點筆記
- 高中數(shù)學(xué)知識點歸納總結(jié)【高考必備】
- (初中知識點)初中物理知識點梳理總結(jié)【中考必備】
- 單招必備數(shù)學(xué)知識點
- 小學(xué)數(shù)學(xué)畢業(yè)必備知識點匯總
- 小學(xué)數(shù)學(xué)必備知識點總歸納
- 中考必備初中物理知識點總結(jié)
- 中考必備-初中物理知識點總結(jié)
- 離散數(shù)學(xué)知識匯總
- 小學(xué)數(shù)學(xué)必備知識點總歸納
- 小學(xué)數(shù)學(xué)必備知識點總歸納
- 小升初必備知識點
- 高中物理必備全部知識點總結(jié)
評論
0/150
提交評論