-
Английский
-
Русский
-
Германский
-
Английский
-
Русский
-
Германский
Prenex
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
Перевод слова "prenex" на Русский язык
prenex
Существительное
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
prenex
prenexes множ.
пренекс
The prenex form is often used in logic to simplify expressions.
Пренексная форма часто используется в логике для упрощения выражений.
prenex
Прилагательное
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
prenex
пренексный
The formula is in prenex normal form.
Формула находится в пренексной нормальной форме.
Опеределения
prenex
Существительное
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
In logic, a prenex is a form of a logical formula where all the quantifiers are placed at the beginning of the formula.
The formula was converted into prenex form to simplify the logical analysis.
prenex
Прилагательное
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
In logic, relating to a normal form of a logical formula where all the quantifiers are at the beginning.
The formula was converted into prenex form to simplify the proof.
Идиомы и фразы
prenex form
The formula can be rewritten in prenex form.
пренексная форма
Формула может быть переписана в пренексной форме.
prenex normal form
Every first-order logic formula can be converted to prenex normal form.
пренексная нормальная форма
Любую формулу первого порядка можно преобразовать в пренексную нормальную форму.
convert to prenex
It is sometimes necessary to convert to prenex before applying certain proof techniques.
преобразовать в пренексную (форму)
Иногда перед применением определённых методов доказательства требуется преобразовать в пренексную форму.
prenex transformation
Prenex transformation can simplify quantifier manipulation.
преобразование к пренексной форме
Преобразование к пренексной форме может упростить работу с кванторами.
in the prenex
All quantifiers are grouped in the prenex.
в пренексной (форме)
Все кванторы сгруппированы в пренексной форме.