толковый словарь терминов по современным компьютерным технологиям

invariant

       инвариант

Bajarilish jarayonida o‘zgarmaydigan dasturiy obyekt. Dasturlarning to‘g‘riligini isbotlashda foydalaniladi.

 

Бажарилиш жараёнида ўзгармайдиган дастурий объект. Дастурларнинг тўғрилигини исботлашда фойдаланилади

Инвариант

Программный объект, не изменяющийся в процессе выполнения. Используется при доказательствах правильности программ

invariant

invariant