Основи алгоритмізації та програмування (Циммерман О.В.)

Приём в программировании, позволяющий многократно повторять одну и ту же последовательность команд (операторов).

 это цикл, в котором тело цикла выполняется заданное количество раз

Цикл с постусловием — цикл, в котором условие проверяется послевыполнения тела цикла. Отсюда следует, что тело всегда выполняется хотя бы один раз. 

Цикл с предусловием — цикл, который выполняется, пока истинно некоторое условие, указанное перед его началом. Это условие проверяется до выполнения тела цикла, поэтому тело может быть не выполнено ни разу (если условие с самого начала ложно).