частичная разрешимость

Мат. partial decidability