第一章 命題邏輯 A 內(nèi)容提要 B 選題例解 C 習(xí)題與解 第二章 謂詞邏輯 A 內(nèi)容提要 B 選題例解 C 習(xí)題與解 第三章 集合與關(guān)系 A 內(nèi)容提要 B 選題例解 C 習(xí)題與解 第四章 函數(shù) A 內(nèi)容提要 B 選題例解 C 習(xí)題與解 第五章 代數(shù)結(jié)構(gòu) A 內(nèi)容提要 B 選題例解 C 習(xí)題與解 第六章 格和布爾代數(shù) A 內(nèi)容提要 B 選題例解 C 習(xí)題與解 第七章 圖論 A 內(nèi)容提要 B 選題例解 C 習(xí)題與解 第八章 形式語(yǔ)言與自動(dòng)機(jī) A 內(nèi)容提要 B 選題例解 C 習(xí)題與解 第九章 糾錯(cuò)碼初步 A 內(nèi)容提要 B 選題例解 C 習(xí)題與解 參考文獻(xiàn)