-
Английский
-
Русский
-
Германский
-
Английский
-
Русский
-
Германский
Metavariable
Перевод слова "metavariable" на Русский язык
metavariable
Существительное
UK
/ˌmɛtəˈværɪəbl/
US
/ˌmɛtəˈværiəbl/
metavariable
metavariables множ.
метапеременная
In programming, a metavariable is used to represent a variable in a template.
В программировании метапеременная используется для представления переменной в шаблоне.
Опеределения
metavariable
Существительное
UK
/ˌmɛtəˈværɪəbl/
US
/ˌmɛtəˈværiəbl/
A symbol or placeholder used in formal languages, logic, or computer science to represent a variable that can stand for any element of a specified set.
In the context of a programming language, a metavariable can be used to represent any valid identifier.
metavariable
Прилагательное
UK
/ˌmɛtəˈværɪəbl/
US
/ˌmɛtəˈværiəbl/
Relating to or serving as a metavariable.
In the proof, the metavariable symbols stand for arbitrary formulas.
Идиомы и фразы
assign a metavariable
To simplify the equation, we need to assign a metavariable.
присвоить метапеременную
Чтобы упростить уравнение, нам нужно присвоить метапеременную.
instantiate a metavariable
The theorem requires you to instantiate a metavariable with a specific term.
проинициализировать метапеременную
Теорема требует проинициализировать метапеременную определённым выражением.
bind a metavariable
Bind the metavariable to the appropriate context within the proof.
связывать метапеременную
Свяжите метапеременную с соответствующим контекстом в доказательстве.
resolve a metavariable
The algorithm attempts to resolve each metavariable as the proof progresses.
разрешить метапеременную
Алгоритм пытается разрешить каждую метапеременную по мере продвижения доказательства.
introduce a metavariable
You can introduce a metavariable to generalize this pattern.
ввести метапеременную
Вы можете ввести метапеременную, чтобы обобщить этот шаблон.