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

Мат. partially computable