COMPUTABLE in Ukrainian translation

• обчислюваною
• обчислювальною
• обчислювані
• обчислюваних
• обчислювана

Examples of using Computable in English and their translations into Ukrainian

in such a way that it becomes computable.
щоб вона стала обчислюваною.

SAM Models and Computable General Equilibrium Models- at regional
моделі SAM та обчислювані загальні моделі рівноваги- на регіональному

The computable numbers are stable for all usual arithmetic operations,
Обчислювані числа є стійкими для всіх звичайних арифметичних операцій,

made the following observation: Turing's theory of computable functions antedated
зробив наступне спостереження:«Тюрінгова теорія про обчислювані функції передувала,

Given some p and any computable but unknown probability distribution from which x is sampled,
При заданому деякому p та будь-якому обчислюваному але невідомому розподілі ймовірності, з якого вибирається x,

Solomonoff's universal prior probability of any prefix p of a computable sequence x is the sum of the probabilities of all programs(for a universal computer)
Універсальна апріорна ймовірність Соломонова будь-якого префіксу p обчислюваної послідовності x- це сума ймовірностей усіх програм(для універсального комп'ютера),

the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction;
механізація логіки обчислювальних функції Скотта, ймовірно перший на теоретичній основі і тим не не менше практичний засіб для побудови доведень за допомогою комп'ютера;

by Church's thesis, to any computable function whatsoever.
за тезою Черча, до будь-якої обчислювальної функції.

is therefore computable.
тобто він є обчислюваним.

is therefore computable….
тобто, він є обчислювальним.

OWL DL supports those users who want the maximum expressiveness while retaining computational completeness(all conclusions are guaranteed to be computable) and decidability(all computations will finish in finite time).
OWL DL призначена для користувачів, яким потрібна максимальна виразність при збереженні повноти обчислень(всі логічні висновки, що припускаються тією чи іншою онтологією, будуть гарантовано обчислюваними) і розв'язуваності(всі обчислення завершаться за певний час).

This visit occurred shortly after Turing's publication of his 1936 paper"On Computable Numbers with an Application to the Entscheidungsproblem" which involved the concepts of logical design and the universal machine.
Це сталося незабаром після публікації в 1936 році статті Тюрінга«On Computable Numbers with an Application to the Entscheidungs problem», яка включала концепції логічного проектування і універсальної машини.

Computable number Definable real number Compass
Обчислюване число Definable real number Побудова за допомогою циркуля

implement the first computable IDEF, C-IDEF for the Air Force,
реалізувати перший обчислюваний IDEF, C-IDEF для повітряних сил,

Computable only means effective.
Електронний ще не означає ефективний.

which theoretically express all computable algorithms(I took it from the mat. theory of algorithms).
яким теоретично виражаються все обчислюваності алгоритми(це я взяв з мат. теорії алгоритмів).

which means it's computable.
тобто його можна обчислити.

It was cognition of what is going on within a world in which action is computable and calculable that led men to the elaboration of the sciences of praxeology and economics.
Саме здатність пізнати те, що відбувається у світі, де діяльність піддається обліку та обчислення, привела до розробки людиною таких наук, як праксиология і економічна наука.

This method is only feasible when the projection is efficiently computable on a computer.
Цей метод підходить лише тоді, коли ця проекція є ефективно обчислюваною на комп'ютері.

In 1977, Gordon Plotkin introduces Programming Computable Functions, an abstract typed functional language.
In 1977, Гордон Плоткін презентував програмування обчислювальних функцій, абстрактно набрана мова.