partial computability

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