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

Мат. effectively calculable, effectively computable