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

Мат. effective computability