离散数学

会用逻辑、集合、图论和归纳法做证明，能读懂算法的正确性证明。

学习流程

• 逻辑和证明
• 归纳法
• 集合和计数
• 图论
• 离散概率
• 证明一个算法正确

去哪学

• UC Berkeley CS70 课程 · 免费
• MIT 6.042J 课程 · 免费