不变条件维基百科,自由的 encyclopedia 在计算机科学中,不变条件是指,在程序执行过程或部分过程中,可始终被假定成立的条件。比如,循环不变条件是指在循环开始和结束后始终成立的条件。 本条目存在以下问题,请协助改善本条目或在讨论页针对议题发表看法。 此条目需要扩充。 (2013年9月1日) 此条目没有列出任何参考或来源。 (2013年9月1日)
在计算机科学中,不变条件是指,在程序执行过程或部分过程中,可始终被假定成立的条件。比如,循环不变条件是指在循环开始和结束后始终成立的条件。 本条目存在以下问题,请协助改善本条目或在讨论页针对议题发表看法。 此条目需要扩充。 (2013年9月1日) 此条目没有列出任何参考或来源。 (2013年9月1日)