2023年12月27日
循环不变式
摘要： 循环不变式 一、数学归纳法 因为循环不变式的定义与数学归纳法类似，所以我们先来看看数学归纳法。 我们首先从高中开始回忆起，有关于数列的数学归纳法。 一般的，证明一个与正整数 \(n\) 有关的命题，可以分为以下两个步骤[1]： 1. 归纳奠基：证明当 \(n=n_0 (n_0 \in N^*)\) 阅读全文
posted @ 2023-12-27 21:02 BryceAi 阅读(288) 评论(0) 推荐(0) 编辑