数学与理论 | WIZARD

对象是**数学与理论基础**：算法、逻辑、形式化方法与离散数学。

名称	进度	说明
数学基础	—	为其余各域提供数学工具。只放工具本身的定义、性质、计算方法。
逻辑与形式化方法	—	「怎么证明程序或协议是对的」。是 crypto、lang、vuln 的理论支撑。
算法与数据结构	—	通用算法。领域专用算法归各自域（密码算法 → crypto，路由算法 → net）。