系列分集
离散数学:分类讨论与强归纳法
Lecture 3: Casework and Strong Induction
先检查分类是否覆盖所有情形,再比较普通归纳与强归纳在证明下一项时准许用到哪些前提。
MIT OpenCourseWare · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗MIT 6.1200J Mathematics for Computer Science, Spring 2024 · 2025-07-23
系列分集
Lecture 3: Casework and Strong Induction
先检查分类是否覆盖所有情形,再比较普通归纳与强归纳在证明下一项时准许用到哪些前提。
MIT OpenCourseWare · 系列收录