Алгоритмы с циклической структурой: предусловие и постусловие