第一章 命題邏輯
1.1 命題與聯(lián)結詞
1.2 命題變元和合式公式
1.3 公式分類與等價公式
1.4 對偶式與蘊涵式
1.5 聯(lián)結詞的擴充與功能完全組
1.6 公式標準型——范式
1.7 公式的主范式
1.8 命題邏輯的推理理論
習題
第二章 謂詞邏輯
2.1 個體、謂詞和量詞
2.2 謂詞公式與翻譯
2.3 約束變元與自由變元
2.4 公式解釋與類型
2.5 等價式與蘊涵式
2.6 謂詞公式范式
2.7 謂詞邏輯的推理理論
習題
第三章 集合
3.1 集合論基礎
3.2 集合運算及其性質
3.3 集合的笛卡爾積與無序積
習題
第四章 關系
4.1 二元關系
4.2 關系運算
4.3 關系類型
習題
第五章 函數
5.1 函數的基本概念
5.2 函數類型
5.3 函數運算
5.4 基數
習題
第六章 代數結構的概念及性質
6.1 代數結構的定義與例
6.2 代數結構的基本性質
6.3 同態(tài)與同構
6.4 同余關系
6.5 商代數
6.6 積代數
習題
第七章 半群與群
7.1 半群和獨異點的定義及性質
7.2 半群和獨異點的同態(tài)與同構
7.3 積半群
7.4 群的基本定義與性質
7.5 置換群和循環(huán)群
7.6 子群與陪集
7.7 群的同態(tài)與同構
習題
第八章 環(huán)和域
8.1 環(huán)
8.2 子環(huán)與理想
8.3 環(huán)同態(tài)與環(huán)同構
8.4 域
8.5 有限域
習題
第九章 格與布爾代數
9.1 格
9.2 布爾代數
9.3 子布爾代數、積布爾代數和布爾代數同態(tài)
9.4 布爾代數的原子表示
9.5 布爾代數Br2
9.6 布爾表達式及其范式定理
習題
第十章 圖的概念與表示
10.1 圖的基本概念
10.2 鏈(或路)與圈(或回路)
10.3 圖的矩陣表示
習題
第十一章 幾類重要的圖
11.1 歐拉圖與哈密爾頓圖
11.2 二部圖
11.3 樹
11.4 平面圖
習題
參考文獻
鄂公網安備 42010302001612號 