عرض مصطلح معلوماتية

لامتغيّر الحلقة | loop invariant
شرطٌ يَبقَى محقّقاً أثناء تكرار حلقة.