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

• высшего порядка
• высших порядков
• высокого порядка

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

And moved into the World higher-order.
И перемещаемся в Мир более высокого порядка.

Higher-order type operators are allowed however.
Однако, ти́повые операторы высших порядков разрешены.

On the Zero-order and Higher-order Relationships.
Об отношениях нулевого и высших порядков.

For higher-order curves one needs correspondingly more intermediate points.
Для построения кривых высших порядков соответственно требуется и больше промежуточных точек.

Achievement of expected objectives, including higher-order results.
Достижение ожидаемых целей, включая результаты высокого порядка.

However, modal higher-order logic has been studied as well.
Однако модальная логика высшего порядка также изучалась.

Second-order logic is in turn extended by higher-order logic and type theory.
В свою очередь, она расширяется логикой высших порядков и теорией типов.

Higher-order constraints, such as"the change in the rate of curvature", could also be added.
Ограничения более высокого порядка, такие как скорость изменения кривизны, также могут быть заданы.

Key words: socionics, informational metabolism types, zero-order and higher-order relationships.
Ключевые слова: соционика, типы информационного метаболизма, отношения нулевого и высших порядков.

Higher-order phylogeny of modern birds(Theropoda, Aves: Neornithes) based on comparative anatomy.
Филогения высших порядков современных птиц( Theropoda, Aves: Neornithes), составленная на сравнительной анатомии.

Regularity of the solution of the Cauchy problem for a higher-order parabolic equation(in Russian)// Differential Equation. 2010.
Регулярность решения задачи Коши для параболического уравнения высокого порядка// Дифференциальные уравнения. 2010.

F-logic: a higher-order language for reasoning about objects, inheritance, and scheme, ACM SIGMOD Conference, 1989.
F- логика: язык высокого порядка для рассуждений об объектах, наследовании и схеме, ACM SIGMOD Конференция, 1989.

As a functional language, emphasis is placed on recursion and higher-order functions instead of side-effect-based looping.
В практике применения делают акцент на рекурсии и функциях высшего порядка вместо зацикливания, основанного на побочных эффектах.

Higher-order functions are functions that can either take other functions as arguments or return them as results.
Функции высших порядков- это такие функции, которые могут принимать в качестве аргументов и возвращать другие функции.

Lisp programming style frequently uses higher-order functions for which it is useful to provide anonymous functions as arguments.
Стиль программирования на Лиспе подразумевает частое использование функций высшего порядка, в которые удобно передавать анонимные функции как аргументы.

First-class functions are a necessity for the functional programming style, in which the use of higher-order functions is a standard practice.
Функции первого класса являются неотъемлемой частью функционального программирования, в котором использование функций высшего порядка является стандартной практикой.

The term"higher-order logic" is assumed in some context to refer to classical higher-order logic.
В некоторых контекстах предполагается, что понятие логики высшего порядка относится к классической логике высшего порядка.

Capturing sharp changes in the solution requires the use of second or higher-order numerical schemes that do not introduce spurious oscillations.
Захват резких изменений в решении требует использования числовых схем второго или более высокого порядка, которые не вводят ложных колебаний.

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.
Логики высшего порядка с их стандартными семантиками более выразительны, но их модельно- теоретические свойства менее« хорошие» по сравнению с логикой первого порядка..

Common patterns of recursion can be abstracted away using higher-order functions, with catamorphisms and anamorphisms(or"folds" and"unfolds") being the most obvious examples.
Рекурсивные функции можно обобщить с помощью функций высших порядков, используя, например, катаморфизм и анаморфизм или« свертка» и« развертка».

SATB1, the global chromatin organizer and transcription factor, has emerged as a key factor integrating higher-order chromatin architecture with gene regulation.
SATB1, глобальный организатор хроматина и фактор транскрипции, возник как ключевой фактор более высокого порядка интеграции архитектуры хроматина с генной регуляцией.

In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics.
Логика высшего порядка в математике и логике- форма предикатной логики, которая отличается от логики первого порядка дополнительными кванторами, а также более сильной семантикой.

An exception to this rule can be devices with their own DAC and analog volume control, where higher-order harmonics are produced not by an amplifier, but by a DAC.
Исключением из этого правила могут быть устройства с собственным ЦАП и аналоговым регулятором громкости, где гармоники высших порядков производит не усилитель, а ЦАП.

There are different conceptual models to deal with the problem, for example using a coordination language and program building blocks programming libraries or higher-order functions.
Существуют различные концептуальные модели для решения этой проблемы, например, использование языка координации и программных стандартных блоков библиотек и/ или функций высшего порядка.

Based on synergies between different actors, these higher-order engagements go beyond the traditional scope of enabling policies and legislation.
На основе синергизма между различными участниками эти взаимодействия более высокого порядка выходят за рамки традиционного охвата стимулирующих стратегий и законодательства.

In Haskell, this programming paradigm is developed into the applicative functor, which extends the higher-order functional abstraction beyond monad.
В языке Haskell эта парадигма программирования реализована в виде аппликативного функтора, расширяющего возможности механизма функциональной абстракции высших порядков до многоместной.

Metaprogramming is the generation of higher-order programs which, when executed, produce programs(possibly in a different language, or in a subset of the original language) as a result.
Метапрограммирование- генерация программ высшего порядка, которые, когда выполняются, создают программы( возможно на другом языке или в подмножестве первоначального языка) в результате своей работы.

Key words: socionics, psychology, sociology, the theory of informational metabolism, informational interactions, zero-order and higher-order relationships, technology of work with these relationships.
Ключевые слова: соционика, психология, социология, теория информационного метаболизма, информационные взаимодействия, отношения нулевого и высших порядков, технологии работы с этими отношениями.

Higher-order logic is the union of first-, second-, third-,…, nth-order logic; i.e., higher-order logic admits quantification over sets that are nested arbitrarily deeply.
Логика высшего порядка является объединением логики первого, второго, третьего и т. д. порядков; иначе говоря, логика высшего порядка допускает высказывания над множествами произвольной глубины вложенности.

However, for single-step enlargements or rotations, these higher-order algorithms provide diminishing visual improvement as processing time is increased.
Однако, для однократных увеличений или поворотов такие алгоритмы высшего порядка дают незначительное визуальное улучшение при существенном увеличении времени обработки.