MIT 6.042J 數學導論 (電腦科學組) 2010年秋季班 | 第三講 (Lec 3 | MIT 6.042J Mathematics for Computer Science, Fall 2010)

好奇軟體 bug 是怎麼發生的嗎？或是想知道如何嚴謹地證明事物？這支 MIT 的課程深入講解了強歸納法和不變式等證明技巧，並以有趣的 8-puzzle 遊戲為例！你將學到超實用的進階詞彙，並學會如何避開常見的證明陷阱，非常適合對電腦科學和清晰思考感興趣的你喔。