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