| |||
loop invariant | |||
invariant; invariant (характеристика типов времени высполнения, которые должны быть постоянно верны; обычно выражается в виде предусловия и постусловия) | |||
Russian thesaurus | |||
| |||
абстрактная единица языка, обладающая совокупностью основных признаков всех ее конкретных реализаций и тем объединяющая их, напр., морфеда по отношению к алломорфам. Большой Энциклопедический словарь ; в математике - величина, остающаяся неизменяемой при тех или иных преобразованиях. Напр., площадь какой-либо фигуры, угол между двумя прямыми - инвариант движения. Большой Энциклопедический словарь |
инвариантов : 207 phrases in 20 subjects |