Computer Science
离散数学（CS）辅导
证明结构和计数是后续算法课的地基，补课要按课程证明风格来，不套高中题解。
先对齐教授常用的证明模板：要证什么、假设是什么、哪一步用了定义。计数题强调样本空间，避免“感觉上除一下”。
适合谁
适合 CS 必修离散数学：归纳、反证、图论短证明、计数与离散概率。高中竞赛题解风格通常不符合教授的模板。
覆盖什么
- 证明目标、假设与定义引用
- 归纳的归纳假设写全
- 图论题的形式化，不只靠画图
- 计数的样本空间
- 为后续算法课打的证明习惯
怎么进行
- 01收集教授的例题证明，对齐模板，再改你的作业。
- 02每题先用一句话写“要证的是全称还是存在”。
- 03考试前练限时手写，不在草稿上“同理可证”。
在 CS / SE / AI 里怎么落地
Computer Science
Discrete Mathematics for CS 属于 计算机科学。考核以「归纳与反证、图论短证明、计数与概率」为主，辅导按这门课的讲义风格走，不拿竞赛题解或另一所学校的作业套进来。
大学课程同步辅导
这门课通常走大学课程同步辅导，起步 ¥800 / 课时起。有报告或论文成分时可以叠加论文辅导，分析课时与千词分开报。
不要用这项辅导做的事
不代考、不登录评测机、不伪造测例通过记录。隐藏测例要你自己在场或能复述策略。
这一页常被问到的
证明不会写完整句英文怎么办？
先把逻辑骨架用中文排对，再套课程常用句式。缺的是结构，不只是词汇。