-
Englisch
-
Russisch
-
Deutsch
-
Englisch
-
Russisch
-
Deutsch
Skolemization
Übersetzung von "skolemization" ins Russisch
skolemization
Substantiv
UK
/ˌskəʊməlaɪˈzeɪʃən/
US
/ˌskoʊməlaɪˈzeɪʃən/
skolemization
skolemizations Pl.
Skolemization is a process used in mathematical logic.
Сколемизация — это процесс, используемый в математической логике.
Definitionen
skolemization
Substantiv
UK
/ˌskəʊməlaɪˈzeɪʃən/
US
/ˌskoʊməlaɪˈzeɪʃən/
In mathematical logic, the process of eliminating existential quantifiers from a formula by introducing Skolem functions, yielding a formula equisatisfiable with the original.
Skolemization is essential for converting first-order logic formulas into a form suitable for automated theorem proving.
A formula that has been transformed through the process of Skolemization.
The resulting skolemization was easier for the solver to handle.
Redewendungen und Phrasen
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.
преимущество сколемизации
Одно из преимуществ сколемизации — упрощение выражений в логике первого порядка.