Формальное доказательство правильности алгоритма называется:

Метод конструирования алгоритма из базовых алгоритмических конструкций называется:

Проверка алгоритма на специально построенном полном наборе примеров называется:

Метод разработки алгоритмов с помощью «сборки» алгоритма из функционально более простых алгоритмов называется:

В структуре любого исполнителя алгоритма имеется все перечисленное:

В структуре любого исполнителя алгоритма имеется все перечисленное:

В структуре любого исполнителя алгоритма не имеется все перечисленное:

Логические (алгоритма, метода) ошибки в программе устраняют обычно в процессе:

Логическим вентилем называется:

Метод разработки алгоритмов с помощью разбиения алгоритмов на подалгоритмы называется: