如何确定循环过程是正确的？ 循环不变式（循环不变量）： ·一个逻辑表达式 ·该表达式通常可用来表征循环的功能 ·循环初试时为真 ·在循环执行过程中始终为“真” ·循环结束时，必定为真如何确定循环过程是正确的？ •循环不变式(循环不变量)： • 一个逻辑表达式 • 该表达式通常可用来表征循环的功能 • 循环初试时为真 • 在循环执行过程中始终为“真” • 循环结束时，必定为真