effective computability

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