点击购买此书全本PDF电子书
第一章 命题逻辑 1
第二章 谓词逻辑 53
第三章 集合与关系 77
第四章 函数 147
第五章 代数结构 174
第六章 格和布尔代数 223
第七章 图论 254
第八章 形式语言和自动机 310
第九章 纠错码初步 360