first-order примеры

• Satisfiability of first-order Horn clauses is undecidable.
  Задача выполнимости дизъюнктов Хорна первого порядка не разрешима.
• Most studies focused on identifying first-order bioclimatic change impacts.
  Большинство исследований было сосредоточено на выявлении последствий биоклиматических изменений первого порядка.
• It also gave the modern standard algorithm for solving first-order diophantine equations.
  Этот важный факт облегчает решение диофантовых уравнений первого порядка.
• A sentence in first-order logic.
  Утверждение в логике первого порядка.
• The original version of prospect theory gave rise to violations of first-order stochastic dominance.
  Оригинальная версия теории перспектив дала начало нарушениям доминирования первого порядка.
• However, most of the studies focused on identifying first-order bioclimatic change impacts.
  Однако большинство из исследований было сосредоточено на выявлении биоклиматических последствий изменений первого порядка.
• It can be clearly detected by a local maximum of the first-order derivative of the rheogram.
  Его отчетливо можно регистрировать по локальному максимуму первой производной от реограммы.
• He also showed that this filter can be well approximated by first-order derivatives of Gaussians.
  Он также показал, что этот фильтр может быть хорошо приближен первой производной гауссианы.
• Thus, if a first-order stream joins a second-order stream, it remains a second-order stream.
  Таким образом, если поток первого порядка вливается в поток второго порядка, второй поток остаётся потоком второго порядка.
• However, in practice, general methods for the first-order theory remain the preferred choice for solving these problems.
  Однако, на практике, общие методы для теории первого порядка остаются предпочтительным выбором для решения такого рода задач.
• One of the interesting properties of periodic groups is that the definition cannot be formalized in terms of first-order logic.
  Одно из примечательных свойств периодических групп состоит в том, что они не могут быть формализованы средствами логики первого порядка.
• There are standard techniques for transforming higher-order equations into several coupled first-order equations by introducing new unknowns.
  Такая форма записи используется, так как существует стандартная техника преобразования уравнения со старшими производными в систему уравнений первого порядка с помощью введения новых неизвестных.
• Typically, it applies to first-order equations, although more generally the method of characteristics is valid for any hyperbolic partial differential equation.
  Обычно применяется к решению уравнений в частных производных первого порядка, но он может быть применен и к решению гиперболических уравнений более высокого порядка.
• Avoiding the first-order costs outlined above often results in equipment failure, meaning that no wastes can be treated on board.
  Устранение расходов первого порядка, о чем говорится выше, часто приводит к поломке оборудования, а это означает, что обработка отходов на борту производиться не будет.
• Namely, in a long series of papers, he proved that any two non-abelian finitely generated free groups have the same first-order theory.
  Села опубликовал большое количество работ, в которых доказал, что любые два не абелевы конечно порождённые свободные группы имеют одну и ту же логику первого порядка.
• The Ob together with its first-order tributary, the Irtysh, forms a major river basin in Asia, encompassing most of Western Siberia and the Altai Mountains.
  Обь вместе со своим притоком первого порядка Иртышом образует один из главных речных бассейнов в Азии, охватывающий бо?льшую часть Западной Сибири и Алтайских гор.
• The Ob together with its first-order tributary, the Irtysh, forms a major river basin in Asia, encompassing most of Western Siberia and the Altai Mountains.
  Обь вместе со своим притоком первого порядка Иртышом образует один из главных речных бассейнов в Азии, охватывающий большую часть Западной Сибири и Алтайских гор.
• Base period expenditure acts as the measure of size, and the required first-order inclusion probability for item g is Thus, is an unbiased estimator of .
  Расходы в базисный период выступают в качестве показателя размера, а искомая степень вероятности включения первого порядка для товарного элемента g рассчитывается как .
• When there are no obvious linear transition and observation models, it is still often possible, using a first-order Taylor's expansion, to treat these models as locally linear.
  Когда очевидных линейных моделей перехода и наблюдения нет, часто все еще возможно, применяя разложение Тейлора первого порядка, считать эти модели линейными локально.
• 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.
  Логика высшего порядка в математике и логике — форма предикатной логики, которая отличается от логики первого порядка дополнительными кванторами, а также более сильной семантикой.