Вход Регистрация

first-order перевод

Голос:
"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.
    Однако, на практике, общие методы для теории первого порядка остаются предпочтительным выбором для решения такого рода задач.
  • Больше примеров:  1  2  3  4