第一部分數理邏輯
第七章二元關係
9.1二元運算及其性質
11.1格的定義與性質
第五部分圖論
命題邏輯（一至三章）
1、求命題公式的真值表
知識：p7表1.1
例題：p9例1.8
2等值演算
知識：p17基本等值式
例題：p19例2.3
3、判斷公式的型別
知識：p10定義1.10
例題：用真值表法判斷p15習題19
用等值演演算法判斷p20例2.5
4、求主析取正規化與主合取正規化
知識：p25開始
例題：真值表法幻燈片例題2.9
等值演演算法 p26例2.8
5、推理
知識：p46定義3.3
例題：p48例3.3（直接推理）
例3.4（命題符號化後再推理）
例3.5（附加前提證明法）
例3.6（反證法）
一階邏輯（四五章）
6、一階邏輯等值演算
知識：p68開始
例題：p72例5.5
7、求一階邏輯前束正規化
知識：p73定義5.2
例題：p73例5.6
8、一階邏輯推理
知識：p76定義5.3
例題：p77例5.9例5.10（直接推理）
例5.11（命題符號化後再推理）
1、求二元關係的矩陣p105、關係圖
2、關係的運算：逆、右復合、冪p107
定義7.7、7.8、7.10
定理7.1、7.2、7.3、
3、判斷二元關係的性質
知識：五種二元關係性質的定義、p117表7.1（定義法、集合表示式法、關係矩陣法、關係圖法）
例題：p117例7.14（關係圖法）
幻燈片例7.13、7.14、7.15、7.16、7.17（定義法、集合表示式法）
4、求關係的閉包
知識：p118定義7.14、定理7.10及推理（集合表示式法）、p119（關係矩陣法）
例題：幻燈片例7.19（集合表示式法）、例題7.20（關係矩陣法）
5、判斷是否是等價關係、求等價類及劃分
知識：定義7.15、7.16、7.17、7.18
例題：幻燈片例7.26、4.20（幻燈片編號有誤，應為7.20）
p133習題36
6、判斷是否是偏序關係、畫出偏序關係的哈斯圖
知識：p126定義7.19、7.20、7.22、7.23
例題：幻燈片例4.26、4.27、4.28（幻燈片編號有誤，應為7.26...）
1、畫出二元運算的運算表
2、求二元運算的單位元、零元、可逆元的逆元
例題：p172例9.7
1、格的對偶原理的應用
知識：p209對偶原理
1、判斷正整數序列是否是可圖化的
知識：p276定理14.1、14.2、14.3
例題：p277例14.2
2、路、基本路、簡單路、初級路
概念3、求點割集與邊割集
知識：p283開始
例題：p292習題21、22
4、求圖的關聯、鄰接矩陣、求兩結點長度為（或小於等於）n的通路數、求一結點長度為（或小於等於）n的回路數
知識：p287開始
例題：幻燈片例14.4、p294習題44、45
5、判斷乙個圖是否具有尤拉路、尤拉迴路、是否是尤拉圖
知識：p296開始
例題：p305習題1
6、樹的分支點、樹葉和度的關係
知識：p308定理16.1、定理16.2
例題：p318習題2、3、4
7、求生成樹、最小生成樹
知識：p310定義16.2、16.5
例題：p312例16.3
8、求最優二叉樹及其權
知識：p314定義16.9、huffman演算法
例題：p314例16.5
離散數學 複習
第1章命題邏輯 本章重點 命題與聯結詞，公式與解釋，真值表，公式的型別及判定,主 析取 合取 正規化，命題邏輯的推理理論.一 重點內容 1.命題 命題表述為具有確定真假意義的陳述句。命題必須具備二個條件 其一，語句是陳述句 其二，語句有唯一確定的真假意義.2.六個聯結詞及真值表 否定聯結詞，p是命題...
離散數學複習
例題1 設是群，是的子群，在g上定義關係r r 證明 r是集合g上的等價關係。證明 即證明r為自反 對稱和傳遞關係。1 證自反 是子群，則h中必然存在么元，設為e。則ag，eh，a a e，所以 r，所以，r為自反關係。2 證對稱 a,bg,若r，則hh，a b h，因為是子群，則h必然具有逆元h ...
離散數學期末複習指導
山東廣播電視大學計算機與通訊學院 2008年6月 離散數學是 電大計算機應用專業資訊管理方向開設的必修統設課。該課程使用新的教學大綱，在原有離散數學課程的基礎上削減了教學內容 主要是群與環 格與布林代數這兩章及圖論的後三節內容 使所學的知識達到必需 夠用，更加適合大學專科層次的教育。目前該課程沒有新...