Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
computable functions
Forma flexionată a lui computable function
Traducere "computable functions" în rusă
вычислимые функции
Quantum computers are constrained by the same limits, the limits of what can be computed (so-called computable functions).
Квантовые компьютеры также ограничены, пределами того, что можно вычислить (так называемые вычислимые функции).
If F is clear from context then ΩF may be denoted simply Ω, although different prefix-free universal computable functions lead to different values of Ω.
Если F ясно из контекста, тогда ΩF может быть обозначена просто как Ω, хотя различные префиксные универсальные вычислимые функции приводят к различным значениям Ω.
The superiority of analog-life is not so surprising if you are familiar with the mathematical theory of computable numbers and computable functions.
Превосходство аналоговой жизни не столь удивительно для тех, кто знаком с математической теорией вычислимых чисел и вычислимых функций.
Computability theory - a branch of mathematical logic and computer science that originated in the 1930s with the study of computable functions and Turing degrees.
Теория исчисляемости - отрасль математической логики и информатики, которая началась в 1930-х с исследования вычислимых функций и степеней Тьюринга.
All primitive recursive functions are total and computable, but the Ackermann function illustrates that not all total computable functions are primitive recursive.
Все примитивные рекурсивные функции полные и вычислимые, но функция Акермана иллюстрирует, что не все полные вычислимые функции примитивны рекурсивный.
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 году выдвинул основную гипотезу теории вычислимых функций (так называемый тезис Черча): каждая эффективно вычислимая функция является общекурсивной.
Both Sudan and Ackermann are credited with discovering total computable functions (termed simply "recursive" in some references) that are not primitive recursive.
И Судэну и Акерману приписывают обнаружение полных вычислимых функций (названный просто «рекурсивным» в некоторых ссылках), которые не являются примитивны рекурсивный.
LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction
LCF, автоматизирующий доказательства в логике вычислимых функций Скотта, по-видимому первый, инструмент автоматизированного конструирования доказательств, построенный на теоретическом фундаменте и при этом полезный на практике
Thus there must be computable functions which are not primitive recursive.
Таким образом непременно существуют функции, не являющиеся примитивно рекурсивными.
In 1943, Emily Post suggested a model of computable functions on the basis of a special form calculation he has introduced (canonical systems).
В 1943 году Эмиль Пост предложил модель вычисляемых функций на основе введенного им исчисление специального вида (канонических систем).
Both Sudan and Ackermann are credited with discovering total computable functions (termed simply "recursive" in some references) that are not primitive recursive.
Судан и Аккерман известны за открытие всюду определённой вычислимой функции (иногда называемой просто «рекурсивной»), не являющейся примитивно рекурсивной.
If F is clear from context then ΩF may be denoted simply Ω, although different prefix-free universal computable functions lead to different values of Ω.
Если F ясно из контекста, тогда ΩF может быть обозначена просто как Ω, хотя различные префиксные универсальные вычислимые функции приводят к различным значениям Ω.
Both Sudan and Ackermann are credited with discovering total computable functions (termed simply "recursive" in some references) that are not primitive recursive.
Судан и Аккерман известны за открытие всюду определённой вычислимой функции (иногда называемой просто «рекурсивной»), не являющейся примитивно рекурсивной.
Treci la Premium pentru a debloca milioane de exemple de traduceri, a salva și învăța vocabular nelimitat, fără reclame.
Sinonime și analogii pentru "computable functions" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Rezultate: 13. Exacte: 13. Timp de răspuns: 20 ms.
