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

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

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

Информатика (в наиболее полном и точном смысле) – это наука, изучающая:

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

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

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

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

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

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

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