第一部分
基本知識點：命題，聯結詞，命題公式的型別，極小項，極大項，成真賦值
（成假賦值），基本等值式，推理定律(包括命題、謂詞邏輯)，符號化（命題、謂詞）
1、求命題公式的兩種主正規化（重點3元）
2、構造命題公式序列證明法（正確推理的證明方法）
另外，還需掌握真值表法、等值演演算法、主正規化法
第二部分
基本知識點：集合（含關係）的運算，冪集，二元關係及性質，
等價關係，劃分，偏序關係，哈斯圖，函式及性質
1、將a上的關係通過新增最少的有序對使其具有某一性質(如作閉包)
2、構造給定集合上的等價關係、偏序關係
3、判定一關係是否是函式？若是，問函式具有哪些性質？
(滿射、單射還是雙射？)
第三部分
基本知識點：二元運算，代數常數，代數系統(包括子代數系統)，半群，
獨異點，群，環，域
1、會判斷一運算是否是給定集合上的二元運算。
2、會確定乙個二元運算有無單位元、零元。若一元素有逆元，能求出其逆元。
3、會判斷一代數系統是否是半群，獨異點，群，環，域。
第四部分
基本知識點：簡單圖，子圖(含生成子圖)，kn, n階有向完全圖，
同構，通路，路徑，圈，連通圖
《離散數學》期末複習筆記
一 圖及其 表示 定義 7.1 乙個圖g是乙個有序二元組 v，e 記作g v，e 其中v 是乙個非空的有限集合，v中的元素稱為g的結點或頂點，v稱為圖g的結點集，記作v g e 是乙個由v中元素構成的對偶的集合，e中的元素稱為g的邊或弧，e稱為圖g的邊集，記作e g v g e g 分別稱為圖的結點...
山科大離散數學期末考試 離散數學期末考試含答案
離散數學綜合練習題一 一 單項選擇題 每題分 16 設p 王強是南方人，q他怕熱 命題 王強不怕熱是因為他是南方人 符號化為 a b d pqp qcqp qp設f xx是熊貓，gy y是竹子，hx yx喜歡y.那麼命題 有些熊貓喜歡各種的竹 子 符號化為 a xfx ygyh xy b xfx y...
離散數學及其應用知識點
離散數學知識點 命題 定義1 令 p 為一命題。則 p 的否定為 p 指 不是 p 所說的情形 p 與 p 的真值相反。p ptff t定義 2 令 p 和 q 為命題。p,q的合取用 p q 表示，即命題 p 且 q 當命題 p,q 同為真時，p q 為真，否則為假。定義 3 令 p 和 q 為命...