Английский English Русский Русский
  • Английский Английский
  • Русский Русский
  • Английский Английский
  • Русский Русский
ru

Сколемизация

en

Перевод сколемизация на английский язык

сколемизация
Существительное
raiting
Сколемизация используется в логике для устранения кванторов существования.
Skolemization is used in logic to eliminate existential quantifiers.

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

сколемизация
Существительное
raiting
Процесс преобразования логической формулы в форму, в которой кванторы всеобщности заменяются на функциональные символы, называемые сколемовскими функциями, с целью устранения кванторов существования.
Сколемизация используется в логике для упрощения формул и облегчения их анализа.