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