形式化基础-算法正确性 ·循环算法正确性证明 ·什么是循环不变式？ ·循环不变式一般设置在哪里？ ·如何确定”循环不变式？ ·解空间或者问题空间搜索过程中的不变特性！和问题有关、和结论有关！ ·如何证明循环不变式？ ·数学归纳法的隐式应用」 ·递归算法的正确性证明 ·数学归纳法 ·如何分析递归算法正确性的定理”？ ·若干典型案例！汉诺塔算法、欧几里得算法等形式化基础-算法正确性 • 循环算法正确性证明 • 什么是循环不变式? • 循环不变式一般设置在哪里？ • 如何“确定”循环不变式？ • 解空间或者问题空间搜索过程中的不变特性！和问题有关、和结论有关！ • 如何证明循环不变式？ • 数学归纳法的隐式应用！ • 递归算法的正确性证明 • 数学归纳法 • 如何分析递归算法正确性的“定理”？ • 若干典型案例！汉诺塔算法、欧几里得算法等