循环不变式

更新时间:2024-08-22 06:44:39

循环不变式的词语属性

拼音xún huán bù biàn shì
拼音字母xun huan bu bian shi
拼音首字母xhbbs

循环不变式的百科含义

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