第一章 命題邏輯
　1.1 命題與邏輯聯(lián)結詞
　1.2 命題公式與結實
　1.3 公式的等值演算
　1.4 聯(lián)結鬩全功能集與對偶原理
　1.5 命題公式的范式
　1.6 命題邏輯中的推理
　1.7 本章小結與例題解析
　習題
第二章 謂詞邏輯
　2.1 謂詞邏輯的基本概念
　2.2 謂詞邏輯合式公式及解釋
　2.3 謂詞邏輯等值式
　2.4 謂詞邏輯中的推理
　2.5 本章小結與例題解析
　習題
第三章 集合
　3.1 集合的基本概念
　3.2 集合運算
　3.3 集合的運算性質(zhì)
　3.4 序偶與笛卡兒積
　3.5 本章小結與例題解析
　習題三
第四章 二元關系和函數(shù)
　4.1 二元關系及其運算
　4.2 關系的性質(zhì)和閉包
　4.3 等價關系和偏序關系
　4.4 函數(shù)的定義和性質(zhì)
　4.5 復合函數(shù)和反函數(shù)
　4.6本章小結與例題解析
　習題四
第五章 代數(shù)系統(tǒng)簡介
　5.1 二元運算及其性質(zhì)
　5.2 代數(shù)系統(tǒng)及其子代數(shù)和積代數(shù)
　5.3 代數(shù)系統(tǒng)的同態(tài)和同構
　5.4 群的基礎知識
　5.5 本章小結與例題解析
　習題五
第六章 圖的基本概念
第七章 一些特殊的圖
參考文獻