Examples of using Computable in English and their translations into Russian
{-}
-
Official
-
Colloquial
Computable Functions.
No halting probability is computable.
Никакая вероятность остановки не является вычислимой.CGE Computable general equilibrium model.
ВМОР вычислимая( модель) общего равновесия.Let F be a prefix-free universal computable function.
Пусть F- префиксная универсальная вычислимая функция.Every computable number is arithmetical.
Любое вычислимое число является арифметическим.Thereafter, go to the task,using this computable field.
Далее перейдите к задаче,использующей это вычисляемое поле.Curated computable knowledge powering Wolfram|Alpha.
Отобранные машиночитаемые знания для поддержки Wolfram| Alpha.All custom fields in TrackStudio can be made computable.
Все дополнительные поля в TrackStudio можно сделать вычисляемыми.Alan Turing submits On Computable Numbers for publication.
Алан Тьюринг подает на вычислимых числах для публикации.Ω has the mathematical property that it is definable but not computable.
Ω имеет то математическое свойство, что оно определимо, но не вычислимо.Value of the computable field is always set, but it can appear as blank.
Значение вычисляемого поля задано всегда, но оно может оказаться пустым.Complex biological systems may be represented and analyzed as computable networks.
Сложные биологические системы могут быть представлены и проанализированы как вычислимые сети.Value of computable field is always assigned, but it may turn out to be empty.
Значение вычисляемого поля задано всегда, но оно может оказаться пустым.This means that F can be used to simulate any computable function of one variable.
То есть, F может быть использована для моделирования любой вычислимой функции одной переменной.Computable on this fascination factor formula a is 0.438, but for air- 0.244.
Becher and Figueira proved in 2002 that there is a computable absolutely normal number.
В 2002 году Бехер и Фигейра доказали, что существует вычислимое абсолютно нормальное число.Non-tariff Barriers in Computable General Equilibrium Modelling UNCTAD/ITCD/TAB/39.
A public resource hosting an expanding collection of curated, computable datasets.
Открытый ресурс, хранящий коллекцию курируемых вычисляемых данных, которая постоянно расширяется.They are computable in Moore's vending machines, but their class is recursively unsolvable.
Они являются вычислимыми на автоматах Мура, но их класс рекурсивно неразрешимый.Analogues of many properties peculiar to hyper-arithmetic functions for F 2-computable functions are proved.
Доказывается аналоги многих свойств гиперарифметических функций для F 2- вычислимых функций.Make this field computable(set the respective tick mark) and assign it the script, making the chart.
Сделайте это поле вычисляемым( установите соответствующую галку) и назначьте ему скрипт, формирующий график.The definition of a halting probability relies on the existence of a prefix-free universal computable function.
Определение вероятности остановки основывается на существовании префиксных универсальных вычислимых функций.A real number is called computable if there is an algorithm which, given n, returns the first n digits of the number.
Вещественное число называется вычислимым, если существует алгоритм, который для данного n возвращает первые n цифр числа.Freely available standalone player and web plugin for interactive Computable Document Format content.
Бесплатный автономный плейер и веб- плагин для просмотра интерактивных материалов в формате вычисляемых документов CDF.It is not a computable number;there is no computable function that enumerates its binary expansion, as discussed below.
Ω- невычислимое число;не существует вычислимой функции, перечисляющей ее двоичное разложение, как описано ниже.The debate began when Church proposed to Gödel that one should define the"effectively computable" functions as the λ-definable functions.
Дискуссия началась, когда Черч предложил Геделю определить« эффективно вычислимые» функции как λ- определимые функции.Training course on computable general equilibrium(CGE) modelling at Monash University(Australia, January);
В занятиях на учебных курсах, посвященных моделированию методом вычислимого общего равновесия( ВОР) в Монашском университете( Австралия, январь);This article describes the construction of giperarifmeticheskogo Oracle, which is exactly computable giperarifmeticheskie functions.
В статье рассматривается построение гиперарифметического оракула, с которым вычислимы в точности гиперарифметические функции.The domain of any universal computable function is a computably enumerable set but never a computable set.
Область определения любой универсальной вычислимой функции является перечислимым множеством, но никогда не 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 может быть обозначена просто как Ω, хотяразличные префиксные универсальные вычислимые функции приводят к различным значениям Ω.
