Цикл с предусловием (цикл ПОКА)
Обеспечивает выполнение блока команд, составляющего тело цикла, пока условие остается истинным (выход из цикла - по ложности условия).

Условие проверяется до начала выполнения цикла, поэтому возможна ситуация, что тело цикла не будет выполнено ни разу.
Цикл с постусловием (цикл ДО)
Обеспечивает выполнение команд, составляющих тело цикла, пока условие не станет истинным (цикл выполняется, пока условие ложно).

Условие проверяется после выполнения цикла, поэтому тело цикла всегда выполняется хотя бы один раз.
Цикл с параметром (цикл со счетчиком, цикл ДЛЯ)
Обеспечивает выполнение блока команд, составляющего тело цикла, количество раз, заданное начальным, конечным значениями переменной-счетчика (параметра цикла) и шагом ее изменения.