Постусловие необходимо тогда, когда мы не знаем количество итераций. Например: дано число, разбить его на цифры. Мы начинаем цикл, делим с остатком (число mod 10) на 10, получая последнюю цифру, затем делим это число на 10 и проверяем, не является ли это число 0 (в случае, когда мы по всем цифрам)
Предусловие необходимо тогда, когда мы уже точно знаем, сколько итераций цикла пройдёт программа. Например: посчитать сумму чисел от 0 до 10. Условие цикла - пока i (итератор) не будет меньше или равен 10. В цикле к переменной sum добавляется i, затем i увеличивается на единицу. Получится: 0 + 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 = 55.
