algorithmic solvability

Мат. алгоритмическая разрешимость