课程
离散数学
从逻辑、证明、关系、函数到图与树，把计算机科学常见的离散结构真正看成一张网。
Mathematics
数理
数理不是专业课的附属品，而是你之后理解算法、系统、形式化方法和抽象结构时真正用得上的底层能力。
再往里看
把表达、证明和结构能力立起来，后面的专业课才不会只剩下术语和题型。
从这里进去，不是为了看一份目录表，而是为了看见这条线会把你带向哪里。