循環不變式

引言 　　算法程序形式化設計和證明是確保算法程序邏輯結構正確的最理想途徑，是保證軟件可靠性的有效手段之一；而體現了算法程序本質特徵的循環不變式在 算法程序形式化方法中具有十分重要的作用。循環不變式是程序設計理論中的一個重要概念。這一概念的建立在程序設計從藝術走向科學這一歷 史性的轉變過程中起着巨大的推動作用，它不僅可以幫助人們理解那些難以理解的、精巧的循環算法程序，而且可以用來形式化地證明循環算法

>>阅读原文<<