обчислимий
[obt͡ʃɪslɪmɪj] Прикметник
Буква:О
Значення
-
(у математиці, інформатиці) Такий, що може бути обчислений або розв’язаний за допомогою певного чіткого алгоритму або механічної процедури; який може бути реалізований на абстрактній обчислювальній машині (наприклад, машині Тюрінга).
-
(у теорії обчислюваності) Про функцію: така, для якої існує алгоритм, що дозволяє знайти її значення для будь-якого допустимого аргументу.
-
(у логіці) Про множину або предикат: такий, що існує алгоритм для визначення приналежності будь-якого елемента до цієї множини або істинності предиката; рекурсивний, розв’язний.
Правопис та відмінювання
Граматичні форми:
н. обчислимий, р. обчислимого, д. обчислимому, з. обчислимого, о. обчислимим, м. обчислимім