satisfiable formula (английский) - значение, определение, перевод, произношение
Часть речи
Словосочетание "satisfiable formula" является существительным.
Фонетическая транскрипция
[sætɪsfaɪəbl ˈfɔːrmjʊlə]
Варианты перевода на Русский
Удовлетворимая формула
Значение слова
"Satisfiable formula" в английском языке используется для описания формулы или выражения в логике или математике, которая имеет хотя бы одно значение переменных, для которого она истинна. Частота использования этого термина высока в контексте логики, математики и компьютерных наук. Он чаще встречается в письменной речи, особенно в научных статьях, учебниках и специализированной литературе.
Примеры предложений
A satisfiable formula can have multiple solutions.
Удовлетворимая формула может иметь несколько решений.
In logic, a satisfiable formula is one that has at least one interpretation that makes it true.
В логике удовлетворимая формула — это такая, которая имеет по крайней мере одну интерпретацию, которая делает её истинной.
The algorithm determines whether a given formula is satisfiable.
Алгоритм определяет, удовлетворима ли данная формула.
Идиоматические выражения
В английском языке "satisfiable formula" не является частью распространённых идиоматических выражений. Тем не менее, возможно использование аналогичных понятий в контексте логики и программирования. Например, могут использоваться «satisfiability problem», «satisfiable instance» и др. Вот несколько предложений:
The satisfiability problem is a central question in computer science.
Проблема удовлетворимости — это центральный вопрос в информатике.
Finding a satisfiable instance of a formula can be computationally intensive.
Найти удовлетворимую инстанцию формулы может быть вычислительно затратным.
Many optimization problems can be framed as satisfiability problems.
Многие задачи оптимизации могут быть сформулированы как проблемы удовлетворимости.
Этимология слова
Слово "satisfiable" происходит от латинского глагола "satisfacere", что означает "удовлетворять". "Formula" происходит от латинского слова "formula", означающего "формула, образец".
Синонимы и антонимы
Синонимы:
- Satisfiable expression
- Valid formula
Антонимы:
- Unsatisfiable formula
- Inconsistent formula