第1章:命題邏輯
第2章:一階邏輯
第3章:集合的基本概念和運算
第4章:二元關(guān)系和函數(shù)
第5、6章:圖的基本概念、特殊的圖
第7、8章:樹 、 組合分析初步
第9、10章:代數(shù)系統(tǒng)簡介 、 形式語言和自動機初步