拷贝一下有个梨 UGLee 叔的
集合论 抽象代数（ with group theory ） 入门级图论 入门级数论 离散数学 组合论（ optional ） 范畴 Lambda （ Barendregt ） 逻辑学（ with type system ） 计算理论 编程语言（ Harper ） 编译原理 算法 AI （一种现代方法） 烹饪基础知识
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。
