partially computable

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