What is the translation of " VARIABLE FORMULA " in Portuguese?

• variável formula

Examples of using Variable formula in English and their translations into Portuguese

For each variable formula_15, the formulaformula_16is universally valid.
Para cada variável formula_15, a fórmulaformula_16é universalmente válida.

Restrictions: In the rules formula_56 and formula_57, the variable formula_39 must not occur free within formula_59 and formula_60.
Restrições: Nas regras formula_48 e formula_49, a variável formula_35 não deve ocorrer livre dentro de formula_51 e formula_52.

Beta reduction==In the lambda calculus, a beta redex is a term of the form: formula_1where formula_2 is a term(possibly) involving variable formula_3.
Redução Beta==No cálculo lambda, uma redex do tipo beta é um termo da forma: formula_1onde formula_2 é um termo(possivelmente) contendo variáveis formula_3.

If a formula has no occurrences of formula_61 or formula_62, for any variable formula_54, then it is called"quantifier-free.
Se uma fórmula não tem ocorrências de formula_61 ou formula_62, para qualquer variável formula_54, então ela é chamada"livre de quantificadores.

Mathematically, if we denote time by the variable formula_1, and speed by formula_2, then the function plotted in the graph would be denoted formula_3 indicating that formula_2(the dependent variable) is a function of formula_1.
Matematicamente, se denotamos tempo pela variável formula_1 e velocidade por formula_2, então a função plotada no gráfico seria denotado formula_3 indicando que formula_2(variável dependente) é uma função de formula_1.

If the object is"abstracted", then it is written* formula_17and removed by substitution* formula_50, replacing the variable formula_46 with the object formula_16 in formula_17.
Se o objeto é"abstrato", então é escrito* formula_20e removido por substituição* formula_50, repondo a variável formula_46 com o objeto formula_19 em formula_20.

Given a formula formula_21 in a first-order language formula_14, a variable formula_15 and a term formula_24 that is substitutable for formula_15 in formula_21, the formulaformula_27is universally valid.
Dado uma fórmula formula_21 na linguagem de primeira ordem formula_14, uma variável formula_15 e um termo formula_24 que é substituível para formula_15 em formula_21, a fórmulaformula_27é universalmente válida.

The Voigt transformations include the Lorentz factor formula_1 for the y- and z-coordinates, and a new time variable formula_2 which later was called"local time.
AsTransformações de Voigt incluíram o fator de Lorentz formula_1 para as coordenadas y e z, e uma nova variável de tempo formula_2 que posteriormente foi chamada de"tempo local.

The probability density function formula_1 of a Gaussian random variable formula_2 is given by:: formula_3where formula_2 represents the grey level, formula_5 the mean value and formula_6 the standard deviation.
A função densidade de probabilidade formula_1 de uma variável aleatória gaussiana formula_2 é dada por:: formula_3sendo que formula_2 representa o tom de cinza, formula_5 a média e formula_6 e desvio padrão.

A"beta reduction" is an application of the following rewrite rule to a beta redex: formula_4where formula_5 is the result of substituting the term formula_6 for the variable formula_3 in the term formula_2.
Uma"redução beta" é, essencialmente, uma aplicação da seguinte reescrita da redex do tipo beta: formula_4onde formula_5 é o resultado da substituição to termo formula_6 pela variável formula_3 no termo formula_2.

That choice of fixed values determines a function of one variable formula_12, and by definition, :formula_13In other words, the different choices of"a" index a family of one-variable functions just as in the example above.
Essa escolha de valores fixos determina uma função de uma variável formula_13, e, por definição, formula_14Em outras palavras, as diferentes opções de"a" indica uma família de funções de uma variável, assim como no exemplo acima.

The Weibull distribution can be characterized as the distribution of a random variable"W" such that the random variable: formula_60is the standard exponential distribution with intensity 1.
A distribuição de Weibull pode ser caracterizada como a distribuição de uma variável aleatória"X" tal que a variável aleatória: formula_43é a distribuição exponencial padrão com intensidade 1.

Performing the same procedure for the variable formula_55 yields: :formula_56therefore: formula_57These equations may look quite complicated, but finding them with Newton's laws would have required carefully identifying all forces, which would have been much more laborious and prone to errors.
Realizando o mesmo procedimento para a variável formula_78 temos: :formula_79portanto: formula_80Essas equações podem parecer bastante complicadas, mas encontrá-las com as leis de Newton teria exigido identificar cuidadosamente todas as forças, o que teria sido muito mais trabalhoso e propenso a erros.

It is often convenient to express the theory using the algebra of random variables: thus if"X" is used to denote a random variable corresponding to the observed data, the estimator(itself treated as a random variable) is symbolised as a function of that random variable, formula_5.
Muitas vezes, é conveniente expressar a teoria utilizando álgebra de variáveis aleatórias: assim, se"X" é utilizado para denotar uma variável aleatória correspondente aos dados observados, o estimador(se tratado como uma variável aleatória) é simbolizado como uma função da variável aleatória, formula_5.

The probability mass function formula_14 of this distribution is: formula_15This can also be expressed as: formula_16The expected value of a Bernoulli random variable formula_9 isformula_18and its variance isformula_19Bernoulli distribution is a special case of the Binomial distribution with formula_20.
A de probabilidade formula_8 dessa distribuição é: formula_9Também pode ser expressado como: formula_10O valor esperado de uma variável aleatória de Bernoulli formula_3 é formula_12, e sua variância é: formula_13A distribuição de Bernoulli é um caso especial da distribuição Binomial, com formula_14.

A type is declared by:* formula_40An object exists and is in a type if:* formula_41Objects can be equal* formula_15and types can be equal* formula_43A type that depends on an object from another type is declared* formula_44and removed by substitution* formula_45, replacing the variable formula_46 with the object formula_16 in formula_48.
Um tipo é declarado como:* formula_40Um objeto existe e está em um tipo se:* formula_41Objetos podem ser iguais* formula_42e tipos podem ser iguais* formula_43Um tipo que depende de um objeto de um outro tipo é declarado* formula_44e removido por substituição* formula_45, repondo a variável formula_46 com o objeto formula_19 em formula_48.

Modal Fixed Points===If formula_22 is a modal formula with only one propositional variable formula_7, then a modal fixed point of formula_22 is a sentence formula_25 such that: formula_26We will assume the existence of such fixed points for every modal formula with one free variable..
Utilizamos formula_18 para exprimir que formula_9 é um teorema==Pontos Fixos Modais==Se formula_20 é uma formula modal com somente uma variável proposicional formula_5, então um ponto fixo modal de formula_20 é uma sentença formula_23 tal que: formula_24Vamos supor a existência de tais pontos fixos para toda fórmula modal com uma variável livre.

Converting a grammar to Chomsky Normal Form== Introduce formula_34: Introduce a new start variable, formula_35 and a new rule formula_36 where formula_37 is the previous start variable. Eliminate all"formula_9 rules": formula_9 rules are rules of the form formula_40, where formula_41 and formula_42, where formula_43 is the CFG's variable alphabet.
Convertendo uma gramática para a Forma Normal de Chomsky== Introduzir formula 21: Introduzir uma nova variável inicial, formula 22 e uma nova regra formula 23 onde formula 24 é a variável inicial anterior. Eliminar todas as" regras formula 25": Regras formula 25 são regras da forma formula 27 onde formula 28 e formula 29 onde V é a variável do alfabeto da CFG.

Linear combinations==Let formula_1 be a set of"m" functions which are linear combinations of formula_2 variables formula_3 with combination coefficients formula_4.
Vamos supor formula_1 ser um grupo de"m" funções as quais são combinações lineares de formula_2 variáveis formula_3 com a combinação de coeficientes dada por formula_4.

With R, users can create variables, formulas, functions, and graphs to visualize their analysis and predictions.
Com o R, os usuários podem criar variáveis, fórmulas, funções e gráficos para visualizar suas análises e previsões.

In molecular kinetic theory in physics, a particle's distribution function is a function of seven variables, formula_1, which gives the number of particles per unit volume in single-particle phase space.
Em teoria cinética molecular em física, a função distribuição de uma partícula é a função de sete variáveis, formula_1, a qual dá o número de partículas por unidade de volume num espaço de fase.

The definition of angular momentum allows a change of independent variable from"t" to θ: formula_6giving the new equation of motion that is independent of time: formula_7This equation becomes quasilinear on making the change of variables formula_8 and multiplying both sides by formula_9(see also Binet equation): formula_10As noted above, all central forces can produce circular orbits given an appropriate initial velocity.
A definição de momento angular permite uma mudança de varável independente de formula 10 para formula 11:: formula 12,Fornecendo a nova equação de movimento que é independente do tempo, :formula 13A equação torna se quase linear ao fazer se a mudança de variáveis formula 14 e multiplicando se ambos os lados por formula 15( ver também equação de Binet): :formula 16== O teorema de Bertrand== Como mencionado acima, todas as forças centrais podem produzir órbitas circulares, dada uma velocidade inicial adequada.

Itô's lemma is the version of the chain rule or change of variables formula which applies to the Itô integral.
Lema de Itō O lema de Itō é a versão da regra da cadeia ou da fórmula da mudança de variáveis que se aplica à integral de Itō.

Instead it is assumed that a particular subset formula_1 of the variables formula_2 involved in the sentences defines a probability space over the corresponding sub-σ-algebra.
Em vez disso, assume-se que um subconjunto específico formula_1 de variáveis formula_2 envolvidas na sentença define um Espaço de probabilidade sobre o sub-σ-álgebra.

Important results of Itô calculus include the integration by parts formula and Itô's lemma, which is a change of variables formula.
Importantes resultados do cálculo de Itō incluem a fórmula da integração por partes e o lema de Itō, que é uma fórmula de mudança de variáveis.

Joint distribution for conditionally dependent variables===If a subset formula_24 of the variables formula_25 is conditionally dependent given another subset formula_26 of these variables, then the joint distribution formula_27 is equal to formula_28.
Distribuição conjunta para variáveis condicionalmente dependentes==Se um subconjunto formula_18 de variáveis formula_19 é condicionalmente dependente dado outro subconjunto formula_20 dessas variáveis, então a distribuição conjunta formula_21 é igual a formula_22.