集合 基础集合论 董延 逻辑 面向计算机科学的数理逻辑 陆钟万 图论 图论及其算法 王树禾 组合 具体数学 Ronald L. Graham / Donald E. Knuth / Oren Patashnik 代数 Introduction to Linear and Abstract Algebra 数论 初等数论 潘氏兄弟