Приток первого порядка - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы

Приток первого порядка - перевод на английский, синонимы, антонимы, примеры в контексте
first-order tributary
Translate
приток первого порядка -

- приток [имя существительное]

имя существительное: inflow, tributary, affluent, feeder, supply, afflux, influent, affluence, indraught, tributary stream

- порядка

of the order of



В настоящее время принято заменять этот принцип второго порядка более слабой индукционной схемой первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

It is now common to replace this second-order principle with a weaker first-order induction scheme.

Термины и формулы логики первого порядка - это строки символов, где все символы вместе образуют алфавит языка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The terms and formulas of first-order logic are strings of symbols, where all the symbols together form the alphabet of the language.

Аксиоматизация арифметической индукции в логике первого порядка требует схемы аксиомы, содержащей отдельную аксиому для каждого возможного предиката.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Axiomatizing arithmetic induction in first-order logic requires an axiom schema containing a separate axiom for each possible predicate.

Превращение метилацетата обратно в его компоненты с помощью кислоты является реакцией первого порядка по отношению к сложному эфиру.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The conversion of methyl acetate back into its components, by an acid, is a first-order reaction with respect to the ester.

Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics.

Все три группы могут иметь противоречивые желания первого порядка-хотеть принять наркотик, к которому они пристрастились, и не хотеть его принимать.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

All three groups may have the conflicting first-order desires to want to take the drug they are addicted to and to not want to take it.

В контексте языков программирования это дает ограниченную форму функционального программирования первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In the context of programming languages, this yields a limited form of first-order functional programming.

Контрастом с глубиной первого порядка является ширина первого порядка, которая всегда пытается посетить узел, ближайший к корню, который он еще не посетил.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Contrasting with depth-first order is breadth-first order, which always attempts to visit the node closest to the root that it has not already visited.

Боб Хейл и Криспин Райт утверждают, что это не проблема для логицизма, потому что теоремы неполноты применимы в равной степени к логике первого порядка, как и к арифметике.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Bob Hale and Crispin Wright argue that it is not a problem for logicism because the incompleteness theorems apply equally to first order logic as they do to arithmetic.

Исчисление предикатов первого порядка избегает такой двусмысленности, используя формулы, которые не имеют экзистенциального значения по отношению к универсальным утверждениям.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The first-order predicate calculus avoids such ambiguity by using formulae that carry no existential import with respect to universal statements.

Реакция показала псевдокинетику первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The reaction showed pseudo first-order kinetics.

Они широко используются в методе конечных разностей для получения методов первого порядка для решения или аппроксимации решений уравнений.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

They are widely used in the method of finite differences to produce first order methods for solving or approximating solutions to equations.

Существуют важные различия между формулировками второго и первого порядка, как описано в разделе § модели ниже.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

There are important differences between the second-order and first-order formulations, as discussed in the section § Models below.

Градиентный спуск - это итерационный оптимизационный алгоритм первого порядка для нахождения минимума функции.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Gradient descent is a first-order iterative optimization algorithm for finding the minimum of a function.

Однако, как правило, перевод дается с этих языков, чтобы ответить на Программирование множеств, а не на логику первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Typically, however, a translation is given from these languages to answer set programming rather than first-order logic.

Согласитесь с Беном также, что должно быть что-то о споре первого/второго порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Agree with Ben also that there should be something about the first/second order controversy.

В ней он установил свою одноименную теорему полноты относительно исчисления предикатов первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In it, he established his eponymous completeness theorem regarding the first-order predicate calculus.

Скорость добавления контролировалась в бензоле при 30 °C с начальным двадцатикратным избытком диоксида серы, что позволяло получить псевдо-аппроксимацию первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Rates of addition were monitored in benzene at 30 °C with an initial twentyfold excess of sulfur dioxide, allowing for a pseudo first-order approximation.

Однако это не относится к любой переформулировке первого порядка аксиом Пеано.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This is not the case with any first-order reformulation of the Peano axioms, however.

РЕН приписывает ей смерть Снока и объявляет себя новым Верховным лидером первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Ren pins Snoke's death on her and declares himself as the new Supreme Leader of the First Order.

Булевой алгебры недостаточно для получения логических формул с использованием кванторов, подобных тем, которые используются в логике первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Boolean algebra is not sufficient to capture logic formulas using quantifiers, like those from first order logic.

Поэтому я не думаю, что эта статья адекватно объясняет, что определяет логику второго порядка от логики первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

As such, I don't think this article adequately explains what defines second-order logic from first-order logic.

Следовательно, при традиционном подходе существует только один язык логики первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Consequently, under the traditional approach there is only one language of first-order logic.

Центральные идеи этой модели проектирования тесно отражают семантику функций первого класса и функций более высокого порядка в функциональных языках программирования.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The central ideas of this design pattern closely mirror the semantics of first-class functions and higher-order functions in functional programming languages.

Поэтому касательный вектор гладкой кривой будет преобразовываться в контравариантный тензор первого порядка при изменении координат.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Therefore, a tangent vector of a smooth curve will transform as a contravariant tensor of order one under a change of coordinates.

Есть две ключевые части логики первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

There are two key parts of first-order logic.

Одним из примеров проблемы первого порядка является аргумент от неверия.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

One example of a first order problem is the Argument from nonbelief.

Т-70 X-wing, на котором летало сопротивление в их борьбе против первого порядка, изображается как преемник Т-65.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The T-70 X-wing, flown by the Resistance in their fight against the First Order, is depicted as the successor to the T-65.

Формулы Френе-Серре представляют собой набор обыкновенных дифференциальных уравнений первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The Frenet–Serret formulas are a set of ordinary differential equations of first order.

Логика первого порядка это философская система рассуждений использующая утверждения типа если/то как квантификаторы или сказуемое

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

First order logic is a philosophical system of reasoning using if/then statements as quantifiers or predicates.

Зона второго порядка-это группа любых индивидов, связанных по меньшей мере с одним субъектом в пределах зоны первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A second order zone is a grouping of any individuals who are connected to at least one actor within the first order zone.

Исследование химической кинетики показало, что эта реакция первого порядка во всех трех реагентах предполагает циклическое 6-членное переходное состояние.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A chemical kinetics study found this reaction is first-order in all three reactants suggesting a cyclic 6-membered transition state.

Однако общая теория первого порядка натуральных чисел, выраженная в аксиомах Пеано, не может быть решена с помощью алгоритма.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The general first-order theory of the natural numbers expressed in Peano's axioms cannot be decided with an algorithm, however.

Но я нашла аспирированные фрагменты кожи в области бифуркации бронхов первого порядка жертвы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

But I found aspirated skin fragments at the bifurcation of the victim's primary bronchi.

Эти более сложные эмоции в теории Тернера называются разработками первого порядка, и они включают такие чувства, как гордость, Триумф и благоговение.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

These more elaborate emotions are called first-order elaborations in Turner's theory and they include sentiments such as pride, triumph, and awe.

Арифметические операции сложения и умножения, а также отношение порядка также могут быть определены с помощью аксиом первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The arithmetical operations of addition and multiplication and the order relation can also be defined using first-order axioms.

Стандартная логистическая функция является решением простого нелинейного обыкновенного дифференциального уравнения первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The standard logistic function is the solution of the simple first-order non-linear ordinary differential equation.

Член сети первого порядка - это субъект, который имеет большое количество прямых соединений с центром сети.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A first order member of a network is an actor who has a large number of direct connections to the center of the network.

Все остальные функции являются функциями первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

All other functions are first-order functions.

Преобразование общего фильтра непрерывного времени первого порядка с заданной передаточной функцией.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Transforming a general, first-order continuous-time filter with the given transfer function.

Фильтр первого порядка может изменять отклик частот выше и ниже точки.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A first order filter can alter the response of frequencies above and below a point.

Вышесказанное относится к теориям первого порядка, таким как арифметика Пеано.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The above applies to first order theories, such as Peano arithmetic.

Однако для конкретной модели, которая может быть описана теорией первого порядка, некоторые утверждения могут быть истинными, но неразрешимыми в теории, используемой для описания модели.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

However, for a specific model that may be described by a first order theory, some statements may be true but undecidable in the theory used to describe the model.

Модуляторы первого порядка безусловно стабильны, но анализ устойчивости должен выполняться для модуляторов более высокого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

First-order modulators are unconditionally stable, but stability analysis must be performed for higher-order modulators.

Он решает проблему фрейма, используя логические термины первого порядка, а не предикаты, для представления состояний.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

It solves the frame problem by using first-order logic terms, rather than predicates, to represent the states.

Тогда все такие языки в P могут быть выражены в логике первого порядка с добавлением подходящего наименьшего комбинатора с фиксированной точкой.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Then, all such languages in P can be expressed in first-order logic with the addition of a suitable least fixed-point combinator.

Многие дл более выразительны, чем пропозициональная логика, но менее выразительны, чем логика первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Many DLs are more expressive than propositional logic but less expressive than first-order logic.

Такие эффекты обычно признаются по меньшей мере важными, если не того же порядка величины, что и приближение первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Such effects are generally recognized to be at least important if not of the same order of magnitude as the first order approximation.

Напротив, другие, более систематические алгоритмы достигли, по крайней мере теоретически, полноты для логики первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In contrast, other, more systematic algorithms achieved, at least theoretically, completeness for first-order logic.

Представления первого порядка-это те, в которых соседние точки одного и того же полушария всегда соотносятся с соседними столбцами в контралатеральной коре.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

First-order representations are those in which adjacent points of the same hemifield always map to adjacent columns in the contralateral cortex.

Честолюбцы, которые считают, что, посмотрев пару серий Закона и порядка, они стали экспертами.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Wannabe PIs who think watching a couple of episodes of SVU makes them an expert.

Здесь непристойное поведение с трупами, кража тел и нарушения порядка на кладбище.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Now, they are inappropriate postmortem conduct, cadaver theft, and graveyard disturbances.

Ребята, похоже, у нас тут нарушитель порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Looks like we got ourselves a troublemaker here, boys.

Думаю, около фунта в неделю, плюс за присутствие - порядка пары шиллингов за день.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

About a pound a week, I believe, plus an appearance fee of a couple of shillings per day.

В обоих случаях обнаружены большие амплитуды ПМР порядка 30%.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In both cases, large amplitudes of TMR on the order of 30% are found.

В предыдущих утверждениях предполагается, что f имеет некоторую ненулевую производную более высокого порядка при x, что не обязательно так.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In the preceding assertions, it is assumed that f has some higher-order non-zero derivative at x, which is not necessarily the case.

Они включали в себя каждую фазу художественного произведения, и во всем качество было очень высокого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

They comprised every phase of art work, and in all the quality was of a very high order.

Это механизирует обучение и оставляет местному учителю только задачи по подготовке к трансляции и поддержанию порядка в классе.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This mechanizes education and leaves the local teacher only the tasks of preparing for the broadcast and keeping order in the classroom.

Передачи от цифр более низкого порядка поступали через один планетарный дифференциал на циферблат.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Carries from lower-order digits came in via one planetary differential per dial.



Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «приток первого порядка». А именно, здесь можно найти перевод (значение) «приток первого порядка» на английском языке, синонимы, антонимы, краткое определение слов: приток, первого, порядка . Также, к фразе «приток первого порядка» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.

0You have only looked at
% of the information