Алгоритмические конструкции: цикл с постусловием в программировании