Свойство означающие, что каждый шаг алгоритма должен быть четким, строгим и недвусмысленным –

  • детерминированность
  • дискретность
  • конечность
  • массовость
  • результативность

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.