系列分集
MIT 计算机科学数学第 2 讲:反证法与归纳法
Lecture 2: Contradiction and Induction
对反证法先写下假定结论不成立的说法,对归纳法先写出起始情形。跟着例题对照,哪一种需要推出矛盾,哪一种需要把命题向下一项传递。
MIT OpenCourseWare · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗MIT 6.1200J Mathematics for Computer Science, Spring 2024 · 2025-07-23