离散数学辅导及习题精解 上海科技文献版

《离散数学》是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。本辅导书由名师执笔，归纳了离散数学的知识要点，并提供了大量经典考题及其精准答案。内容包括命题逻辑、谓词逻辑、集合与关系、函数、代数结构、格和布尔代数、图论、形式语言和自动机、纠错码初步。