系列分集
理论计算机科学中的重要思想|怎样做证明
Great Ideas in Theoretical Computer Science: On Proofs (Spring 2016)
从精确定义出发,沿着每一步推论找结论。适合练习区分算出几个例子与证明所有情况成立。
Ryan O'Donnell · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Great Ideas in Theoretical Computer Science at CMU (incomplete) · 2018-12-14