What is the translation of " TOTAL FUNCTION " in Portuguese?

• função total

Examples of using Total function in English and their translations into Portuguese

Kleene makes it as a total function instead cf.
Kleene a faz como uma função total, contrariamente cf.

Total functions defined by the six recursion operators.
Funções totais definidas pelos seis operadores recursivos.

Some algorithms in their default form may require total functions.
Alguns algoritmos em sua forma padrão podem exigir funções totais.

This is a total function since every Goodstein sequence terminates.
Essa é uma função total até toda sequencia de Goodstein termine.

Types of numberings==A numbering is total if it is a total function.
Formula_3 é chamada de numeração total se formula_3 é uma função total.

It affects the total functioning of the liver by preventing the absorption of nutrients and removal of toxic substances from the blood.
Afecta o funcionamento total do fígado impedindo a absorção dos nutrientes e a remoção de substâncias tÃ3xicas do sangue.

In particular 1/0∞, and moreover 1/∞ 0, making reciprocal, 1/x, a total function in this structure.
Em particular 1/0∞, e, além disso, 1/∞ 0, fazendo da recíproca, 1/x, uma função total nesta estrutura.

Footnotes===== Total function demonstration===What is"mandatory" if the function is to be a total function is a demonstration"by some other method" e.g.
Notas de rodapé===== Demonstração de função total===O que é mandatório se a função é uma função total é uma demonstração"por algum outro método" e.g.

Stated otherwise: The Trinity Absolute, as its name implies, is really absolute in total function.
Em outros termos: O Absoluto da Trindade, como implica o seu nome, é realmente absoluto na sua função total.

A Turing machine implementing a strong reducibility will compute a total function regardless of which oracle it is presented with.
Uma máquina de Turing implementando uma redutibilidade sorte vai computar uma função total, independentemente de com qual oracle ela é apresentada.

Following are some relevant points of interest about fast-growing hierarchies: Every fα is a total function.
Adiante estão alguns pontos relevantes sobre o interesse em hierarquias de rápido crescimento: Toda fα é uma função total.

In order to produce a computable real, a Turing machine must compute a total function, but the corresponding decision problem is in Turing degree 0′′.
Afim de produzir um real computável uma máquina de Turing deve computar uma função total, mas o problema de decisão correspondente está no Turing grau 0”.

This idea can be used to show that the machine is incorrect on some sequences if it computes a total function.
Esta ideia pode ser usada para mostrar que a máquina está incorreta em algumas sequências se ela calcula uma função total.

In a function problem a single output(of a total function) is expected for every input, but the output is more complex than that of a decision problem, that is, it isn't just"yes" or"no.
Um problema de função é um problema computacional, onde uma única saída(de uma função total) é esperada para cada entrada, mas a saída é mais complexa do que a de um problema de decisão, isto é, não é apenas sim ou não.

The set of natural numbers that are indices for Turing machines that compute total functions is formula_124.
O conjunto dos números naturais que são índices para máquinas de Turing que computam funções totais é formula_122.

Function problems===A function problem is a computational problem where a single output(of a total function) is expected for every input, but the output is more complex than that of a decision problem, that is, it isn't just yes or no.
Problemas de função===Um problema de função é um problema computacional, onde uma única saída(de uma função total) é esperada para cada entrada, mas a saída é mais complexa do que a de um problema de decisão, isto é, não é apenas sim ou não.

A religious mind is concerned with the totality not with a particular function, but with the total functioning of human existence.
Uma mente religiosa está interessada com a totalidade não com uma função particular, mas com o funcionamento total da existência humana.

McCarthy Formalism What is mandatory if the function is to be a total function is a demonstration by some other method(e.g. induction) that for each and every combination of values of its parameters xi some natural number y will satisfy the μ-operator so that the algorithm that represents the calculation can terminate:"… we must always hesitate to assume that a system of equations really defines a general-recursive function..
O que é mandatório se a função é uma função total é uma demonstração por algum outro método( e.g. indução) que para cada combinação de valores de seus parâmetros xi algum número natural y vai satisfazer o operador-µ de maneira que o algoritmo que representa o cálculo poderá terminar:"… nós devemos sempre hesitar em assumir que um sistema de equações realmente define uma função recursiva genérica. e.g. na forma de uma prova por indução que, para cada valor de argumento.

The set of natural numbers that are indices for Turing machines that compute total functions is Π 2 0{\displaystyle\Pi_{2}^{0.
O conjunto dos números naturais que são índices para máquinas de Turing que computam funções totais é Π 2 0{\displaystyle\Pi_{2}^{0.

But because Peano arithmetic does not prove that every Goodstein sequence terminates, Peano arithmetic does not prove that this Turing machine computes a total function.
Porém, devido a Aritmética de Peano não provar que toda sequência de Goodstein termina, ela não prova que esta máquina de Turing computa a função total.

Therefore it can't be total, but the function by construction must be total(if total functions are recursively enumerable, then this function can be constructed), so we have a contradiction.
Portanto, isso não pode ser total, porém a função por construção deve ser total(se funções totais são recursivamente enumeráveis, então essa função pode ser construída), e então temos uma contradição.

Each finite sequence can be identified with a partial function from formula_2 to itself, and each infinite path can be identified with a total function.
Cada sequência finita pode ser identificada por uma função parcial delas mesmas, e cada combinação infinita pode ser identificada com uma função total.

Therefore, it cannot be total, but the function by construction must be total(if total functions are recursively enumerable, then this function can be constructed), which is a contradiction.
Portanto, isso não pode ser total, porém a função por construção deve ser total(se funções totais são recursivamente enumeráveis, então essa função pode ser construída), e então temos uma contradição.

Each finite sequence can be identified with a partial function from ω{\displaystyle\omega} to itself, and each infinite path can be identified with a total function.
Cada sequência finita pode ser identificada por uma função parcial delas mesmas, e cada combinação infinita pode ser identificada com uma função total.

In computational complexity theory, a function problem is a computational problem where a single output(of a total function) is expected for every input, but the output is more complex than that of a decision problem.
Em teoria da complexidade computacional, um problema de função é um problema computacional onde uma única saída(de uma função total) é esperada pra cada entrada, mas a sáida é mais complexa do que um problema de decisão, isto é.

Variations from 0 to± 10% are within normality deviations for the formula, with zero percent representing normal function and -100% representing total function loss.
Variações de 0 a± 10% estão nos desvios de normalidade para a fórmula, sendo que zero porcento representa função normal e 100% representa perda total da função.

Thus if this new model of computation consisted of a sequence formula_1 of machines, there would be a recursively enumerable sequence formula_2 of Turing machines that compute total functions and so that every total computable function is computable by one of the machines"Ti.
Assim, se esse novo modelo de computação consistisse da sequência de máquinas formula_1, então existiria uma sequência da classe dos conjuntos recursivamente enumeráveis formula_2 de máquinas de Turing que computam funções totais e então toda função total é computável por uma das máquinas"Ti.

A is many-one reducible(or m-reducible) to B if there is a total computable function f such that each n is in A if and only if f(n) is in B. Truth-table reducibility A is truth-table reducible to B if A is Turing reducible to B via an oracle Turing machine that computes a total function regardless of the oracle it is given.
A é muitos-um redutível( ou m-reducível) a B se existe uma função computável total tal que cada n está em A se e somente se f( n) está em B. redutibilidade tabela-verdade: A é tabela-verdade redutível a B se A é turing reducível a B através de uma máquina de Turing oracle que computa uma função total independentemente do oracle dado.

With this matter settled, he demonstrates with single"Proof III" that either types(a) or(b) together with the five primitive recursive operators yield the(total) recursive functions… with this proviso for a total function: That for all parameters x, a demonstration that must be provided to show that a y exists that satisfies(a) μy ψ(x, y) or(b) μy Rx, y.
Com esse propósito definido, ele demonstra com"Prova III" única que tanto tipos(a) ou(b) juntos com os cinco operadores recursivos primitivos devolvem as(total) funções recursivas… com esta circunstancia para a função total: Que para todos os parametros x, uma demonstração que deve ser provida para mostrar que um y existe tal que satisfaz(a) µy ψ(x, y) ou(b) Rx, y.

Thus if this new model of computation consisted of a sequence M 1, M 2,…{\displaystyle M_{1}, M_{2},\ldots} of machines, there would be a recursively enumerable sequence T 1,… T 2,…{\displaystyle T_{1},\ldots T_{2},\ldots} of Turing machines that compute total functions and so that every total computable function is computable by one of the machines Ti.
Assim, se esse novo modelo de computação consistisse da sequência de máquinas M 1, M 2,…{\displaystyle M_{1}, M_{2},\ldots}, então existiria uma sequência da classe dos conjuntos recursivamente enumeráveis T 1,… T 2,…{\displaystyle T_{1},\ldots T_{2},\ldots} de máquinas de Turing que computam funções totais e então toda função total é computável por uma das máquinas Ti.