離散數學

離散數學
第1章 命題演算
1.1 命題概念
1.2 復合命題與聯結詞
1.3 命題公式與真值表
1.4 等價變換與蘊含式
1.5 最小聯結詞組與范式
1.6 推理理論
第2章 謂詞演算
2.1 謂詞的概念與表示
2.2 量詞與合式公式
2.3 謂詞演算的等價式與蘊含式
2.4 前束范式
2.5 謂詞演算的推理理論
第3章 集合與函數
3.1 集合的基本概念
3.2 集合的運算
3.3 笛卡爾積與關系
3.4 關系的表示與關系性質
3.5 關系運算與閉包
3.6 相容關系與覆蓋
3.7 等價關系與劃分
3.8 序關系
3.9 函數的概念
3.10 復合函數與逆函數
第4章 代數結構
4.1 代數系統
4.2 半群與獨異點
4.3 群與子群
4.4 環(huán)與域
4.5 格與子格
4.6 分配格與有補格
4.7 布爾代數
第5章 圖論
5.1 圖的基本概念
5.2 路與回路圖的連通性
5.3 圖的矩陣表示
5.4 歐拉圖與漢密爾頓圖
5.5 平面圖
5.6 樹及應用
參考書目
離散數學自學考試大綱
出版前言
一、課程的性質及其設置目的和要求
二、課程內容與考核目標
第1章 命題演算
第2章 謂詞演算
第3章 集合與函數
第4章 代數結構
第5章 圖論
三、有關說明與實施要求
附錄題型舉例
后記