投影片 1 - 國立臺灣大學 資訊工程學系

... print sum 演算法導論，探矽工作室 演算法的正確性 數學歸納法（mathematical induction） 迴圈不變量（loop invariant） 演算法導論，探矽工作室 數學歸納法 數學歸納法是用來証明某些與自然數n 有關的數學命題的一種方法。其步驟為： 1.

www.csie.ntu.edu.tw