レク3 | MIT 6.042J コンピュータサイエンスのための数学、2010年秋 (Lec 3 | MIT 6.042J Mathematics for Computer Science, Fall 2010)

ソフトウェアのバグはなぜ起こるのか、厳密な証明とは何か、疑問に思ったことはありませんか？このMITの講義では、8パズルなどの面白い例を使いながら、強い帰納法や不変条件といった証明テクニックを深く掘り下げます。コンピュータサイエンスや論理的思考に興味がある方なら、高度な語彙を自然に身につけ、証明の落とし穴を見抜く力がつく、必見の内容です。