循环不变式

概述

循环不变式是在循环体的每次执行前后均为真的谓词。循环不变式体现了循环程序中循环变量的变化规律。

2 扩展释义

循环不变式是在循环体的每次执行前后均为真的谓词。循环不变式体现了循环程序中循环变量的变化规律。

9 词语组词

相关词条

本词条最后更新于 2026-07-10 13:56:21