摘要：1. 介绍 2.基于归纳法与递归法的设计 3. 更强的假定条件 4.不变式与准确性 5. 松弛法与逐渐完美 6. 归简法 + 换位法 = 艰苦度证明 7. 一些解决问题的建议 摘要：1. 介绍 2.基于归纳法与递归法的设计 3. 更强的假定条件 4.不变式与准确性 5. 松弛
阅读背景：
第三章笔记：归纳，递归及化简
来源：互联网
分享到：
