Циклические алгоритмы: Предусловия и постусловия