第一章 命題邏輯 A 內(nèi)容提要 B 選題例解 C 習題與解 第二章 謂詞邏輯 A 內(nèi)容提要 B 選題例解 C 習題與解 第三章 集合與關系 A 內(nèi)容提要 B 選題例解 C 習題與解 第四章 函數(shù) A 內(nèi)容提要 B 選題例解 C 習題與解 第五章 代數(shù)結構 A 內(nèi)容提要 B 選題例解 C 習題與解 第六章 格和布爾代數(shù) A 內(nèi)容提要 B 選題例解 C 習題與解 第七章 圖論 A 內(nèi)容提要 B 選題例解 C 習題與解 第八章 形式語言與自動機 A 內(nèi)容提要 B 選題例解 C 習題與解 第九章 糾錯碼初步 A 內(nèi)容提要 B 選題例解 C 習題與解 參考文獻