Unsatisfiability

Перевод unsatisfiability на русский язык

Существительное

The unsatisfiability of the equation was proven by the mathematician.

Неудовлетворимость уравнения была доказана математиком.

Существительное

The state or condition of being impossible to satisfy or fulfill.

The unsatisfiability of the customer's demands made it difficult for the company to meet their expectations.

In logic and mathematics, the property of a set of propositions or a formula that cannot be true under any interpretation or assignment of values.

The unsatisfiability of the equation was proven by showing that no solution could satisfy all the constraints simultaneously.

logical unsatisfiability

The theorem proved the logical unsatisfiability of the given set of statements.

логическая неразрешимость

Теорема доказала логическую неразрешимость данного набора утверждений.

formula unsatisfiability

Researchers are working on new algorithms to solve formula unsatisfiability more efficiently.

неразрешимость формулы

Исследователи работают над новыми алгоритмами для более эффективного решения неразрешимости формулы.

problem unsatisfiability

The problem unsatisfiability indicates that no solution exists under the current constraints.

неразрешимость задачи

Неразрешимость задачи указывает на то, что при текущих ограничениях решения не существует.

unsatisfiability theorem

The unsatisfiability theorem is a fundamental concept in computational logic.

теорема о неразрешимости

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

unsatisfiability proof

He presented an unsatisfiability proof for the proposed mathematical model.

доказательство неразрешимости

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