用途：为计算机科学打数学基础，覆盖离散数学、形式逻辑、形式化证明与计算思维，服务于算法正确性理解、复杂度分析、算法设计与可计算性认识。
主要能力：主题参数 topic 支持 logic、proofs、sets、functions、combinatorics、number-theory、graphs；depth 支持 intro、standard、advanced，默认 standard。内容含集合运算、命题与谓词逻辑、真值表、直接证明、反证法、数学归纳法与强归纳、函数（定义域、陪域、值域、单射、满射、复合）、计数原理、排列组合、鸽巢原理、模运算、素数、GCD 与欧几里得算法、同余等。
使用方式：按 6-8 周路径学习，依次为逻辑基础、证明技巧、集合论、函数、组合数学、数论；资料提供练习，如归纳证明 1+2+...+n=n(n+1)/2、证明 √2 无理、证明集合分配律、计数函数、解同余方程组。配置含重试（最多3次、指数退避、初始500ms）与日志指标（topic_usage、proof_verification_rate、exercise_completion）。
适用场景：面试准备（解释归纳法、证明单射、带约束计数、解模方程、应用鸽巢原理）与课程学习。
限制：难度标注 intermediate，无前置要求；资料未提供具体平台、收费、价格或效果信息，也未给出安装命令与代码示例。