1. (у математиці, інформатиці) Такий, що може бути обчислений або розв’язаний за допомогою певного чіткого алгоритму або механічної процедури; який може бути реалізований на абстрактній обчислювальній машині (наприклад, машині Тюрінга).
2. (у теорії обчислюваності) Про функцію: така, для якої існує алгоритм, що дозволяє знайти її значення для будь-якого допустимого аргументу.
3. (у логіці) Про множину або предикат: такий, що існує алгоритм для визначення приналежності будь-якого елемента до цієї множини або істинності предиката; рекурсивний, розв’язний.