Я читаю" введение в алгоритм " CLR. и авторы говорят об инвариантах цикла, в главе 2 (сортировка вставки). Я понятия не имею, что это значит.
Comments