離散數(shù)學(xué)概念

命題演算?命題（真值確定但不一定要知道真假，比如“存在外星人”是一個命題，它的真值確定，即使我們不知道真值）?原始命題/原子命題?復(fù)合命題?邏輯連接詞?否定/┐?合取/∧?析取/∨?條件/→（┐P∨Q）?雙條件（不好意思，雙向箭頭字符未找到，(P∧Q)∨(┐P∧┐Q)）?真值表?命題公式/公式?命題變元?命題演算?等價（自反性、對稱性、傳遞性，等價變換法俗稱“少林派”）?結(jié)合律?交換律?分配律?德·摩根律/反演律?雙重否定率?代換?蘊含（自反性、反對稱性、傳遞性，蘊含推理法俗稱“武當派”，傳遞法俗稱“隔山打?！保?對偶法則?對偶?不可兼析?。ㄎ鋈》霞右粰M，異或）?逆條件（條件符上加字母c）?與非/↑?或非/↓?結(jié)合力（⑴┐⑵∧⑶∨、不可兼析取、↑、↓⑷→、逆條件⑸雙條件）?析取范式?合取范式?主析取范式（∑=m∨…）?主合取范式（∏=M∧…）?直接推演?P規(guī)則?T規(guī)則?CP規(guī)則（俗稱“北冥神功”）?間接推演/間接證明/反證法謂詞演算?謂詞?個體?量詞?全稱量詞（倒A，以下簡寫為V）?存在量詞（倒E，以下簡寫為E）?自由變元?約束變元?作用域/轄域?改名?量詞分配律（(Ex)[A(x)∨B(x)]<=>(Ex)A(x)∨(Ex)B(x)，(Vx)[A(x)∧B(x)]<=>(Vx)A(x)∧(Vx)B(x)）?量詞轉(zhuǎn)換率（┐(Ex)A(x)<=>(Vx)┐A(x)）?量詞轄域擴張和收縮率?前束范式?全稱指定規(guī)則/US?全稱推廣規(guī)則/UG?存在指定規(guī)則/ES?存在推廣規(guī)則/EG集合?集合?屬于/∈?相等/=?包含（自反性、反對稱性、傳遞性）?真包含/（?有限集?無限集?空集?全集?并/∪?交/∩?補?運算法則（對應(yīng)命題邏輯運算法則）?差/-（A-B=A∩補B）?對稱差（外面加一個圈）?冪集/р(A)/2^A?包含排斥原理?直積/笛卡爾乘積?有序偶?有序n元組關(guān)系?關(guān)系?前域/定義域/D()?后域/值域/R()?全域關(guān)系?空關(guān)系?表格表示法?矩陣表示法?關(guān)系圖?交關(guān)系?并關(guān)系?關(guān)系的補?復(fù)合關(guān)系?逆關(guān)系?自反性?反自反性?對稱性?反對稱性?傳遞性?閉包?自反閉包/r(R)?對稱閉包/s(R)?傳遞閉包/t(R)?集合的覆蓋?集合的劃分?等價關(guān)系（自反、對稱、傳遞）?等價類/[x]?商集/“S/R={[x],[y],…}”?相容關(guān)系（自反、對稱）?最大相容類?偏序關(guān)系（自反、反對稱、傳遞）?偏序集?全序關(guān)系?全序集?哈斯圖/偏序集圖（不唯一）?極大元?極小元?最大元?最小元?上界?下界?上確界/最小上界?下確界/最大下界?良序集（有限全序集）圖論?圖/G(V,E)?有序偶/弧?有向圖?無序偶/邊?無向圖?頂點/結(jié)點?頂點集/V?弧/有向線?弧集/E?環(huán)?孤立點?鄰接?邊/線?邊集?度數(shù)/d(v)?同構(gòu)?重數(shù)?子圖?生成子圖?邊導(dǎo)出子圖/G(E’)?刪除運算?收縮運算?圖的并?圖的交?圖的環(huán)合?空圖（V為空）?不相交（G1∩G2=空圖）?零圖（E為空）?邊不相交（G1∩G2=零圖）?完全圖?r-正側(cè)圖?二分圖?二劃分?完全二分圖?多重圖?多重集合?平行邊?多重邊?簡單圖（不含環(huán)、平行邊）?帶權(quán)圖?邊序/通道?邊序起點?邊序終點?邊序長度?距離?跡?路?閉跡?閉路?開跡?開路?回路（至少包含一條邊的閉路）?偶回路?奇回路?連通?連通圖?可達?單向連通?強連通?弱連通?歐拉圖?歐拉閉跡/歐拉跡?半歐拉圖?歐拉開跡?奇頂點?偶頂點?歐拉有向圖?入度?出度?哈密頓圖?哈密頓回路?半哈密頓圖?貨郎擔(dān)問題?樹?樹葉/懸掛點?分支點/內(nèi)點?森林?生成樹?樹枝/枝?弦?余樹?秩/枝數(shù)（頂點數(shù)-分支數(shù)）?邊割?割集（最小邊割）?橋?基本回路?基本回路組?基本割集?基本割集組?最小生成樹?克魯斯克爾算法/Kruskal?有向樹?根樹?兒子?父親?兄弟?子孫?祖輩?以u為根的子樹?有序樹?先根次序?中根次序?后根次序?二叉樹?m叉樹?完全m叉樹?正則m叉樹?關(guān)聯(lián)矩陣/A(G)（v*e）?基本關(guān)聯(lián)矩陣?參考點?回路矩陣/B(G)（g*e）?割集矩陣/C(G)（m*e）?鄰接矩陣/X(G)（v*v）?矩陣乘法?