частичная вычислимость

Мат. partial computability