目錄
第一章 集閤論基礎
§1 集閤的概念
§2 集閤的運算
§3 笛卡兒乘積、冪集
§4 關係
§5 關係的運算與性質
§6 關係的閉包
§7 等價關係與相容關係
§8 次序關係
§9 映射
§10 集閤的基數
第一章 習題
第二章 組閤數學初步
§1 兩個基本計數原理
§2 排列與組閤
§3 排列與組閤的生成
§4 重集的排列和組閤
§5 組閤數與組閤恒等式
§6 抽屜原理
§7 容斥原理
§8 生成函數
§9 遞歸關係及其應用
第二章 習題
第三章 代數係統
§1 代數係統基本概念
§2 代數係統的比較――同構與同態
§3 半群與麼半群
§4 群
§5 環與域
§6 格與布爾代數
第三章 習題
第四章 數理邏輯
§1 命題與命題公式
§2 命題邏輯等值演算
§3 命題邏輯推理
§4 謂詞與謂詞演算公式
§5 謂詞演算基本等式與範式
§6 謂詞邏輯推理理論
§7 命題邏輯與謂詞邏輯公理化理論
§8 數理邏輯在計算機科學中的應用
第四章 習題
第五章 圖論
§1 圖的基本概念
§2 路、圈與連通性
§3 圖的頂點次數
§4 圖的矩陣錶示
§5 樹
§6 有嚮樹
§7 歐拉圖與哈密頓圖
§8 平麵圖
第五章 習題
後記
· · · · · · (收起)