Английский English Русский Русский
  • Английский Английский
  • Русский Русский
  • Германский Германский
  • Английский Английский
  • Русский Русский
  • Германский Германский
en

Skolemization

ru

Перевод слова "skolemization" на Русский язык

skolemization
Существительное
raiting
skolemization
skolemizations множ.
Skolemization is a process used in mathematical logic.
Сколемизация — это процесс, используемый в математической логике.

Опеределения

skolemization
Существительное
raiting
In mathematical logic, skolemization is the process of removing existential quantifiers by introducing Skolem functions, transforming a formula into an equisatisfiable one in prenex normal form.
The skolemization of the formula helped simplify the logical expression for further analysis.

Идиомы и фразы

Skolemization process
The Skolemization process is essential in automated theorem proving.
процесс сколемизации
Процесс сколемизации важен в автоматическом доказательстве теорем.
Skolemization step
During the Skolemization step, existential quantifiers are removed.
шаг сколемизации
На шаге сколемизации удаляются кванторы существования.
apply Skolemization
We need to apply Skolemization to the formula before resolution.
применять сколемизацию
Нам нужно применить сколемизацию к формуле до разрешения.
result of Skolemization
The result of Skolemization is a formula without existential quantifiers.
результат сколемизации
Результатом сколемизации является формула без кванторов существования.
benefit of Skolemization
One benefit of Skolemization is simplifying first-order logic expressions.
преимущество сколемизации
Одно из преимуществ сколемизации — упрощение выражений в логике первого порядка.