цикл с постусловием(цикл, в котором предикат управления циклом (loop control predicate) вычисляется после обработки внутри цикла. В циклах с постусловием обработка выполняется по меньшей мере один раз ssn); цикл с постпроверкой условия(цикл, в котором предикат управления циклом (loop control predicate) вычисляется после обработки внутри цикла. В циклах с постусловием обработка выполняется по меньшей мере один раз ssn); цикл с проверкой после(ssn)
цикл с постпроверкой условия(условие завершения цикла проверяется после исполнения тела цикла. Ant: pretested loop ssn); цикл с постусловием(условие завершения цикла проверяется после исполнения тела цикла. Ant: pretested loop ssn)
