第1章 命題邏輯
第2章 謂詞邏輯
第3章 集合與關(guān)系
第4章 函數(shù)
第5章 代數(shù)結(jié)構(gòu)
第6章 格和布爾代數(shù)
第7章 圖論
第8章 形式語(yǔ)言與自動(dòng)機(jī)
第9章 糾錯(cuò)碼初步