目录
第一章 命题逻辑
A 内容提要
B 选题例解
C 习题与解
第二章 谓词逻辑
A 内容提要
B 选题例解
C 习题与解
第三章 集合与关系
A 内容提要
B 选题例解
C 习题与解
第四章 函数
A 内容提要
B 选题例解
C 习题与解
第五章 代数结构
A 内容提要
B 选题例解
C 习题与解
第六章 格和布尔代数
A 内容提要
B 选题例解
C 习题与解
第七章 图论
A 内容提要
B 选题例解
C 习题与解
第八章 形式语言与自动机
A 内容提要
B 选题例解
C 习题与解
第九章 纠错码初步
A 内容提要
B 选题例解
C 习题与解
参考文献