第1、2、3章 命題邏輯基本概念、命題邏輯等值演算、命題邏輯的推理理論
第4、5、6章 一階邏輯基本概念、一階邏輯等值演算與推理、集合代數(shù)
第7、8、9章 二元關(guān)系、函數(shù)、代數(shù)系統(tǒng)
第10、11、12章 群與環(huán)、格與布爾代數(shù)、基本的組合計(jì)數(shù)公式
第13、14、15章 遞推方程與生成函數(shù)、圖的基本概念、歐拉圖與哈密頓圖
第16、17、18章 樹(shù)、平面圖、支配集,覆蓋集,獨(dú)立集,匹配與著色
第19章 初等數(shù)論、模擬試題