第一章 集合
1-1 集合與元素
1-2 集合的包含與相等
1-3 冪集
1-4 集合運算
1-5 笛卡爾積
小結
第二章 二元關系
2-1 二元關系及其表示
2-2 關系的性質
2-3 關系的運算
2-4 等價關系和相容關系
2-5 偏序關系
小結
第三章 函數(shù)
3-1 函數(shù)
3-2 復合函數(shù)
3-3 置換
3-4 數(shù)學歸納法
3-5 特征函數(shù)與模糊集合
小結
第四章 代數(shù)結構簡介
4-1 代數(shù)結構
4-2 半群和群
4-3 子群與環(huán)
4-4 同態(tài)和同構
小結
第五章 格和布爾代數(shù)
5-1 格和布爾代數(shù)
5-2 格的定義
5-3 格的性質與特殊格
5-4 布爾代數(shù)簡介
小結
第六章 命題邏輯
6-1 命題
6-2 命題公式及翻譯
6-3 命題定律
6-4 基本聯(lián)結詞和蘊含關系
6-5 范式
6-6 命題演算的推理論
小結
第七章 謂詞演算
7-1 謂詞和量詞
7-2 謂詞公式
7-3 謂詞演算的等價與蘊含式
7-4 謂詞演算的推理理論
小結
第八章 圖論初步
8-1 圖的基本概念
8-2 路與回路
8-3 鄰接矩陣和關聯(lián)矩陣
8-4 歐拉圖
8-5 哈密爾頓圖
8-6 平面圖及偶圖
8-7 對偶圖與圖的著色
8-8 樹
小結
參考文獻
鄂公網安備 42010302001612號 