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

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

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

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

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

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