effectively computable

Мат. эффективно вычислимый