算法导论学习笔记1_循环不变式

循环不变式 1. 循环不变式和数学概括法 2. 循环不变式的三条性质 3. 利用循环不变式分析插入排序 4. 练习题 2.1.3 1. 循环不变式和数学概括法 在数学中，数学概括法经常使用于证实给定命题在天然数范围内的正确性，它是一种严谨的演绎推理法。而在计算机科学中，循环不变式一样做为一种演绎推理法用于理解和证实算法的正确性。从下文的介绍中能够看出，循环不变式和数学概括法有着许多的类似之处。ht

>>阅读原文<<