第1章 命題邏輯 §1.1 命題與聯(lián)結(jié)詞 習題1.1 §1.2 命題公式 習題1.2 §1.3 真值表和等價公式 習題1.3 §1.4 永真蘊含式 習題1.4 §1.5 其他聯(lián)結(jié)詞 習題1.5 §1.6 對偶與范式 習題1.6 §1.7 推理理論 習題1.7 第2章 謂詞邏輯 §2.1 謂詞的概念與表示 習題2.1 §2.2 命題函數(shù)與量詞 習題2.2 §2.3 謂詞公式與個體變元的約束 習題2.3 §2.4 謂詞演算的等價公式與永真蘊含式 習題2.4 §2.5 謂詞演算的推理理論 習題2.5 第3章 集合代數(shù) §3.1 集合的基本概念 習題3.1 §3.2 集合的計數(shù) 習題3.2 第4章 二元關(guān)系 §4.1 序偶與笛卡兒積 習題4.1 §4.2 二元關(guān)系 習題4.2 §4.3 二元關(guān)系的運算 習題4.3 §4.4 二元關(guān)系的性質(zhì) 習題4.4 §4.5二元關(guān)系的閉包運算 習題4.5 §4.6 等價關(guān)系與劃分 習題4.6 §4.7 偏序關(guān)系 習題4.7 第5章 函數(shù) §5.1 函數(shù)的概念 習題5.1 §5.2 函數(shù)的復合與反函數(shù) 習題5.2 第6章 代數(shù)結(jié)構(gòu) §6.1 二元運算及其性質(zhì) §6.2 代數(shù)系統(tǒng) 習題6.2 §6.3 半群 習題6.3 §6.4 群 習題6.4 §6.5 子群 習題6.5 §6.6 陪集與拉格朗日定理 習題6.6 §6.7 群同態(tài)與同構(gòu) 習題6.7 §6.8 環(huán)與域 習題6.8 第7章 格與布爾代數(shù) §7.1 格的概念 習題7.1 §7.2 分配格與有補格 習題7.2 §7.3 布爾代數(shù) 習題7.3 第8章 圖論 §8.1 圖的基本概念 習題8.1 §8.2 路徑與回路 習題 圖的矩陣表示 習題8.3 §8.4 歐拉圖與哈密頓圖 習題8.4 §8.5 二部圖 習題8.5 §8.6 平面圖 習題8.6 §8.7 樹 習題8.7 符號表 參考文獻