目录第一章 命题逻辑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 习题与解参考文献
阅读更多