Приклади вживання Computable Англійська мовою та їх переклад на Українською
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Several attempts have been made to make ethics computable, or at least formal.
Було зроблено кілька спроб зробити етику обчислюваною або, принаймні, формальною.The basic questions addressed by recursion theory are"What does itmean for a function on the natural numbers to be computable?
Основні питання теорії рекурсій є«Щозначить для функції натуральних аргументів бути обчислюваною?Chaitin's constant, though not being computable, has been proven to be transcendental and normal.
Хоча постійна Чайтіна не є обчислювальною, було доведено, що воно є трансцендентним і нормальним числом.This method is onlyfeasible when the projection is efficiently computable on a computer.
Цей метод підходить лише тоді,коли ця проекція є ефективно обчислюваною на комп'ютері.An integer sequence is a computable sequence if there exists an algorithm which, given n, calculates an, for all ngt; 0.
Цілочисельна послідовність є обчислюваною послідовністю, якщо існує алгоритм, який, з урахуванням n, обчислює an, для всіх ngt; 0.Non-numeric documents are increasingly digital(text, image, video)and are becoming more computable.
Нечислові документи стають все більш цифровий(текст, зображення, відео)і стають все більш обчислимо.In 1977, Gordon Plotkin introduces Programming Computable Functions, an abstract typed functional language.
A cryptographic hash function should behave as much as possible like a randomfunction while still being deterministic and efficiently computable.
Криптографічна геш-функція наскільки можливо подібно до випадкової функції,залишаючись детерміністичною і ефективно обчислювальною.Every Turing machine computes a certain fixed partial computable function from the input strings over its alphabet.
Кожна МТ обраховує певну фіксовану частково обчислювану функцію від вхідного слова за допомогою свого алфавіту.In this, formal models have been proposed for both the original concept of the algorithm andfor the original concept algorithmically computable function.
При цьому формальні моделі були запропоновані як для первісного поняття алгоритму,так і для похідного поняття алгоритмічно обчислюваної функції.There is a unique Turing degree containing all the computable sets, and this degree is less than every other degree.
Існує унікальна степінь Тюрінга, яка містить всі обчислювані множини, і ця степінь менша, ніж будь-яка інша степінь.A function is called computable depending on whether it is possible to write an algorithm that, in the presence of some input data, can always calculate it.
Функція називається обчислюваною в залежності від того, чи можливо написати алгоритм, який при наявності деяких вхідних даних, завжди зможе її обчислити.The only assumption is that the environment follows some unknown but computable probability distribution.
Єдиним припущенням є те, що середовище слідує якомусь невідомому, проте обчислюваному розподілу ймовірності.If future was deterministically computable from the quantum states of subatomic particles, the Turing machine could compute it.
Якщо в майбутньому було детерміновано обчислюваною з квантових станів субатомних частинок, машина Тьюринга може обчислити його.The only assumption that the theorymakes is that the environment follows some unknown but computable probability distribution.
Єдиним припущенням є те, що середовище слідує якомусь невідомому, проте обчислюваному розподілу ймовірності.Turing's theory of computable functions antedated but has not much influenced the extensive actual construction of digital computers.
Тюрінгова теорія про обчислювані функції передувала, проте не дуже вплинула на розвиток сучасної конструкції цифрових комп'ютерів.Nowadays these are often considered as a single hypothesis, the Church-Turing thesis, which states that any function that is computable by an algorithm is a computable function.
Сьогодні їх часто розглядають як єдину гіпотезу, Течи Черча- Тюринга, яка стверджує, що будь-яка функція, яка є обчислювана за допомогою алгоритму є обчислюваною функцією.In 1943, Emily Post suggested a model of computable functions on the basis of a special form calculation he has introduced(canonical systems).
В 1943 році Е. Пост запропонував модель обчислюваних функцій на основі введеного ним числення спеціального вигляду(канонічних систем).We might tentatively describe the necessary tenets of such a project as Aristotelean,in that they are formally anthropomorphic and thereby“computable” in rationalistic terms.
Ми могли б попередньо описати необхідні принципи такого проекту, як арістотелівський, в тому,що вони формально є антропоморфні і тим самим"вичіслімих" в раціоналістичних термінах.One notable project was to formalize and implement the first computable IDEF, C-IDEF for the Air Force, based on HOS as its formal foundation.
Одним з важливих проектів було формалізувати і реалізувати перший обчислюваний IDEF, C-IDEF для повітряних сил, що ґрунтувався на HOS.Computability theory, also called recursion theory,is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees.
Теорія обчислюваності, також відома як теоріярекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст. при вивченні обчислюваних функцій та степенів Тюрінга.In each such M, there are definable integer sequences that are not computable, such as sequences that encode the Turing jumps of computable sets.
У кожному такому M існують визначені цілі послідовності, які не є обчислювальними, такі як послідовності,які кодують стрибки Тьюрінга обчислюваних множин.The theory of computable functions, also known as recursion theory or Turing computability, is a branch of theoretical computer science that works with the concept of computable and non-computable functions.
Теорія вычислимых функцій також відома як теорія рекурсії або вычислимость по Тьюрингу- це гілка теоретичної інформатики, яка працює з концептом вычислимых і невычислимых функцій.Rather, as he often explained, that if the operation of the brain was computable, then no matter how complex, then it could be simulated by a program on a computer.
Скоріше, як він часто пояснював, що якщо операція мозку була обчислювальною, то, як би не була складна, вона могла б імітувати програму на комп'ютері.It is impossible to computationally verify informational completeness of a representation unless the notion of aphysical object is defined in terms of computable mathematical properties and independent of any particular representation.
Неможливо підрахунками перевірити інформаційну повноту уявлення,якщо поняття фізичного об'єкта не визначене в термінах обчислюваних математичних властивостей і не залежить від будь-якого конкретного уявлення.There's also WolframLanguageData, which gives computable data on the Wolfram Language itself- like the examples in its documentation, links between functions, and so on.
Також є функція WolframLanguageData, яка дозволяє отримувати обчислювані дані про самому мовою Wolfram: приклади, наведені у документації, зв'язку між функціями і так далі.The basic questions addressed by recursion theory are"What does itmean for a function from the natural numbers to themselves to be computable?" and"How can noncomputable functions be classified into a hierarchy based on their level of noncomputability?".
Основні питання теорії рекурсій є«Щозначить для функції натуральних аргументів бути обчислюваною?» і«Чи можуть необчислювані функції бути класифіковані у ієрархію, виходячи з їх рівня необчислюваності?».In 1936 he advanced the fundamental hypothesis of the theory of computable functions; now known as Church's thesis, it states that every effectively computable function is general recursive(seeRECURSIVE FUNCTION).
У 1936 висунув основну гіпотезу теорії обчислюваних функцій(т. з. теза Черча): кожна ефективно обчислювана функція є загальнокурсивною див.
