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