Metavariable

Translation of "metavariable" into Russian

metavariable

Noun

/ˌmɛtəˈværɪəbl/

/ˌmɛtəˈværiəbl/

metavariable

metavariables pl

метапеременная

In programming, a metavariable is used to represent a variable in a template.

В программировании метапеременная используется для представления переменной в шаблоне.

Definitions

metavariable

Noun

/ˌmɛtəˈværɪəbl/

/ˌ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

Adjective

/ˌmɛtəˈværɪəbl/

/ˌmɛtəˈværiəbl/

Relating to or serving as a metavariable.

In the proof, the metavariable symbols stand for arbitrary formulas.

Idioms and phrases

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.

ввести метапеременную

Вы можете ввести метапеременную, чтобы обобщить этот шаблон.