FIRST-ORDER на Русском - Русский перевод

• первого порядка

Примеры использования First-order на Английском языке и их переводы на Русский язык

A sentence in first-order logic.
Утверждение в логике первого порядка.

When two first-order streams come together, they form a second-order stream.
Когда два потока первого порядка сливаются, они образуют поток второго порядка..

On the logic-and-term equivalence of first-order programs.
Об эквивалентности металинейных унарных рекурсивных программ.

And the first-order lens, which is what this is, is the biggest one'cause it's got a prismatic dome on top.
А линза Френеля первой степени- самая большая. Там есть призменный купол наверху.

Second-order logic is more expressive than first-order logic.
Логика второго порядка несводима к логике первого порядка.

As the HP filter a first-order Bessel filter is used.
В качестве ВЧ фильтра используется фильтр Бесселя первого порядка.

We follow the formulations as in Finite satisfiability is not decidable in first-order logic.
Из теоремы компактности следует, что некоторые понятия не являются выразимыми в логике первого порядка.

It is based on quantum mechanics(first-order perturbation theory) and the random phase approximation.
Он базируется на квантовой механике( первый порядок теории возмущений) в пpиближении случайной фазы.

Including the calculation of the index tetrachoric connection and private first-order coefficient of correlation.
Включая вычисление тетрахорического показателя связи и частного коэффициента корреляции первого порядка.

Most of their first-order tributaries have high ecologicall(hydrobiological) status, and as a rule.
Большинство их притоков первого порядка имеют отличный статус, причем, как правило, экологический гидробиологический.

Every complete recursively enumerable first-order theory is decidable.
Если множество аксиом полной теории первого порядка рекурсивно перечислимо, то она разрешима.

Thus, if a first-order stream joins a second-order stream, it remains a second-order stream.
Таким образом, если поток первого порядка вливается в поток второго порядка, второй поток остается потоком второго порядка..

For both Parties there were no estimates, which applied the first-order decay function for harvested wood products.
Для обеих этих Сторон не существует оценок с применением функции распада первого порядка для товаров из заготовленной древесины.

The first-order fractal exponent α is determined as a relation of log F fluctuations as a function of L change.
На пятом этапе определяют коэффициент флюктуации первого порядка α как отношение логарифмов изменения F в зависимости от изменения L.

The Prut basin comprises 41 small river basins; these rivers are longer than 15 km; of them 13 are first-order tributaries.
Бассейн Прута включает в себя 41 бассейн малых рек длиной более 15 км, из которых 13 являются притоками первого порядка.

However, in practice, general methods for the first-order theory remain the preferred choice for solving these problems.
Однако, на практике, общие методы для теории первого порядка остаются предпочтительным выбором для решения такого рода задач.

If site and facility-specific R&D is included into fixed costs, the following cost formula gives a first-order approximation.
Если в фиксированные расходы включены НИОКР для конкретной площадки и установки, то приближение первого порядка дает следующая формула.

Formally speaking, an SMT instance is a formula in first-order logic, where some function and predicate symbols have additional interpretations.
Формально SMT- формула- это формула в логике первого порядка, в которой некоторые функции и предикатные символы имеют дополнительную интерпретацию.

The uncertainty of the parameters is such that it turns out to be correct to use the apparatus of the first-order parametric sensitivity functions.
Неопределенность параметров такова, что оказывается корректным использование аппарата функций параметрической чувствительности первого порядка.

The compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model.
Теорема Геделя о компактности утверждает, что набор из предложений в логике первого порядка имеет модель, тогда и только тогда, когда каждое конечное подмножество предложений имеет модель.

The work demonstrates the principled possibility of realization of robust digital filters on the first-order substructures, so-called“bilines”.
Показана принципиальная возможность реализации робастных узкополосных и/ или высокоизбирательных цифровых фильтров на субструктурах первого порядка- билайнах.

Regarding the specification tests, the first-order serial correlation is not rejected as expected, while the second-order serial correlation is rejected.
Что касается критерия правильности спецификации, сериальная корреляция первого порядка не отклоняется, как ожидается, а сериальная корреляция второго порядка- отклоняется.

Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.
Логики высшего порядка с их стандартными семантиками более выразительны, но их модельно- теоретические свойства менее« хорошие» по сравнению с логикой первого порядка.

To overcome the existing restrictions it is offered to use a set of special first-order structures- bilines, which possess improved robustness and commonality.
Для преодоления имеющихся ограничений предлагается использовать комплекс специальных структур первого порядка- билайнов, обладающих улучшенной робастностью и унифицированностью.

These are often seen as first-order urban challenges; in light of this, thought needs to be given to the importance of identifying“win-win” scenarios where solutions address multiple challenges simultaneously.
Часто эти вызовы рассматриваются как первоочередные городские проблемы; в свете этого необходимо подумать о важности выявления беспроигрышных сценариев, при которых решения позволяют ответить сразу на несколько вызовов.

Automation of smart contracts is based on the operation of predicates of first-order logic, which serves to categorize information in the database of RaZOOM contracts.
Автоматизация смарт контрактов базируется на оперировании предикатами логики первого порядка, которая служит для категоризации информации в базе данных RaZOOM контрактов.

While the first-order selection probabilities are equal to k/ n{\displaystyle k/n}(or, in case of Chao's procedure, to an arbitrary set of unequal probabilities), the second order selection probabilities depend on the order in which the records are sorted in the original reservoir.
Если во время первого отбора вероятности равны k/ n( или, в случае процедуры Chao, произвольному множеству неравных вероятностей), то во время второго отбора вероятности зависят от порядка, в котором записи отсортированы в оригинальном резервуаре.

Kinetic curve profile suggests that the drug release takes place according to first-order kinetics and is controlled by diffusion of the therapeutic agent in the matrix.
Профиль кинетических кривых свидетельствует о том, что выход лекарства происходит согласно кинетике первого порядка и контролируется диффузией терапевтического агента в матрице.

HSE experts suggested several first-order steps on designing a development strategy for the rehabilitation industry, including setting up an official statistics system for production of rehabilitation products; composing and approving a list of priority S&T development areas for the industry; and building relevant technology roadmaps.
Эксперты НИУ ВШЭ предложили ряд первоочередных мер в рамках создания стратегии развития реабилитационной индустрии, включая создание системы государственной статистики в сфере производства реабилитационных товаров, разработку и утверждение перечня приоритетных направлений научно- технологического развития отрасли и формирование по ним технологических дорожных карт.

For development of the new filters it is in principle suggested to use the only first-order units- bilines bi-line transfer function is a relation of two first-order polynomials.
Предлагается в принципе использовать звенья только первого порядка- билайны biline, bi- line- передаточная функция есть отношение двух полиномов первой степени.