離散數(shù)學(xué)必備知識(shí)點(diǎn)總結(jié)

1、總結(jié)離散數(shù)學(xué)知識(shí)點(diǎn)第2章命題邏輯1.→，前鍵為真，后鍵為假才為假；，相同為真，不同為假；2.主析取范式：極小項(xiàng)(m)之和；主合取范式：極大項(xiàng)(M)之積；3.求極小項(xiàng)時(shí)，命題變?cè)目隙?，否定為0，求極大項(xiàng)時(shí)相反；4.求極大極小項(xiàng)時(shí)，每個(gè)變?cè)蜃冊(cè)姆穸ㄖ荒艹霈F(xiàn)一次，求極小項(xiàng)時(shí)變?cè)粔蚝先≌?，求極大項(xiàng)時(shí)變?cè)粔蛭鋈〖伲?.求范式時(shí)，為保證編碼不錯(cuò)，命題變?cè)詈冒碢QR的順序依次寫(xiě)；6.真值表中值為1的項(xiàng)為極小項(xiàng)，值為0的項(xiàng)為極大項(xiàng)；7.

2、n個(gè)變?cè)灿袀€(gè)極小項(xiàng)或極大項(xiàng)，這為(0~1)剛好為化簡(jiǎn)完n2n2n2后的主析取加主合??；8.永真式?jīng)]有主合取范式，永假式?jīng)]有主析取范式；9.推證蘊(yùn)含式的方法(=)：真值表法；分析法(假定前鍵為真推出后鍵為真，假定前鍵為假推出后鍵也為假)10.命題邏輯的推理演算方法：P規(guī)則，T規(guī)則①真值表法；②直接證法；③歸謬法；④附加前提法；第3章謂詞邏輯1.一元謂詞：謂詞只有一個(gè)個(gè)體，一元謂詞描述命題的性質(zhì)；多元謂詞：謂詞有n個(gè)個(gè)體，多元謂詞描述個(gè)體

3、之間的關(guān)系；3.全關(guān)系的性質(zhì)：自反性，對(duì)稱(chēng)性，傳遞性；空關(guān)系的性質(zhì)：反自反性，反對(duì)稱(chēng)性，傳遞性；全封閉環(huán)的性質(zhì)：自反性，對(duì)稱(chēng)性，反對(duì)稱(chēng)性，傳遞性；4.前域(domR)：所有元素x組成的集合；后域(ranR)：所有元素y組成的集合；5.自反閉包：r(R)=RUxI對(duì)稱(chēng)閉包：s(R)=RU1R傳遞閉包：t(R)=RUUU……2R3R6.等價(jià)關(guān)系：集合A上的二元關(guān)系R滿(mǎn)足自反性，對(duì)稱(chēng)性和傳遞性，則R稱(chēng)為等價(jià)關(guān)系；7.偏序關(guān)系：集合A上的關(guān)系R

4、滿(mǎn)足自反性，反對(duì)稱(chēng)性和傳遞性，則稱(chēng)R是A上的一個(gè)偏序關(guān)系；8.covA=|xy屬于A(yíng)，y蓋住x；9.極小元：集合A中沒(méi)有比它更小的元素(若存在可能不唯一)；極大元：集合A中沒(méi)有比它更大的元素(若存在可能不唯一)；最小元：比集合A中任何其他元素都小(若存在就一定唯一)；最大元：比集合A中任何其他元素都大(若存在就一定唯一)；10.前提：B是A的子集上界：A中的某個(gè)元素比B中任意元素都大，稱(chēng)這個(gè)元素是B的上界(若存在，可能不唯一)；下界：A