01
模块
逻辑与证明
学会把话说严谨，把推理做可靠。
数理
离散数学
从逻辑、证明、关系、函数到图与树，把计算机科学常见的离散结构真正看成一张网。
02
模块
集合 / 关系 / 函数
把对象和对象之间的结构关系组织清楚。
03
模块
图与树
进入更像计算机科学的结构视角，而不是停留在定义列表。
继续读
为什么重要：它不是单纯的刷题课，而是训练你如何严谨表达、稳定推理、以及把对象之间的关系组织清楚。
和其他模块的关系：很多看似工程化的计算机问题，最后都要回到离散结构、证明语言和关系建模上来。
再往前看：会看到：章节导览、概念结构图、题型梳理和精选讲义。