離散數學知識點

1．集合論部分： 集合及其運算、 二元關係與函數、 自然數及自然數集、集合的基數；

2．圖論部分：圖的基本概念、 歐拉圖與 哈密頓圖、樹、圖的 矩陣表示、平面圖、圖着色、支配集、覆蓋集、獨立集與匹配、帶權圖及其應用；

3．代數結構部分：代數系統的基本概念、 半羣與 獨異點、 羣、 環與 域、 格與 布爾代數；

4．組合數學部分：組合存在性定理、基本的計數公式、組合計數方法、組合計數定理；

5．數理邏輯部分： 命題邏輯、一階謂詞演算、消解原理。