O Que é COMPUTABLE FUNCTIONS em Português

• funções computáveis
• função computável

Exemplos de uso de Computable functions em Inglês e suas traduções para o Português

R is equal to the set of all total computable functions.
R é igual ao conjunto de todas as funções computáveis totais.

Then there are computable functions formula_29 and formula_30.
Então existem funções computáveis formula_30 e formula_31.

Kleene's realizability theory identifies the functions with the computable functions.
A teoria de realizabilidade de Kleene identifica as funções com a Função computável.

The class of computable functions that are constant, and its complement.
A classe de funções computáveis que são constantes, e seu complemento.

The μ operator is used in the characterization of the computable functions as the μ recursive functions..
O operador µ é usado na caracterização de funções computáveis tais quais funções recursivas µ.

Computable functions are the basic objects of study in computability theory.
Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.

Let formula_27 be a set of computable functions such that formula_28.
Deixe formula_28 ser um conjunto de funções computáveis tal que formula_29.

Computable functions are the formalized analogue of the intuitive notion of algorithm.
Funções computáveis são uma analogia formalizada da noção intuitiva de algoritmos.

Given a Gödel numbering formula_4 of the computable functions, the set formula_10 is recursively enumerable.
Dada uma numeração de Gödel formula_4 das funções computáveis, o conjunto formula_10 é recursivamente enumerável.

Computable functions are a fundamental concept within computer science and mathematics.
Funções recursivas são um conceito fundamental dentro da ciência da computação e da matemática.

The definition depends on a suitable Gödel numbering that assigns natural numbers to computable functions.
A definição depende Número de Gödel que se encaixe, ou seja, que atribua números naturais para funções computáveis.

The class of computable functions that return 0 for at least one input, and its complement.
A classe de funções computáveis que retornam 0 para pelo menos uma entrada, e seu complemento.

The T predicate can be used to obtain Kleene's normal form theorem for computable functions Soare 1987, pp. 15.
O Predicado T pode ser usado para obter o Teorema da Forma Normal de Kleene para funções computáveis Soare 1987, pp. 15.

Then there are computable functions f∈ F{\displaystyle f\in F} and g∉ F{\displaystyle g\notin F.
Então existem funções computáveis f∈ F{\displaystyle f\in F} e g∉ F{\displaystyle g\notin F.

Let T be a first-order theory in the language of arithmetic and capable of representing all computable functions.
Seja T uma teoria da lógica de primeira ordem na linguagem da aritmética capaz de representar todas as funções computáveis.

Let F{\displaystyle F} be a set of computable functions such that∅≠ F≠ P( 1){\displaystyle\emptyset\neq F\neq\mathbf{P}^{1.
Deixe F{\displaystyle F} ser um conjunto de funções computáveis tal que∅≠ F≠ P( 1){\displaystyle\emptyset\neq F\neq\mathbf{P}^{1.

Background==The definition of a halting probability relies on the existence of prefix-free universal computable functions.
O Contexto==A definição de uma probabilidade de parada remete à existência de funções computáveis universais livres de prefixo.

Notes===A Blum complexity measure is defined using computable functions without any reference to a specific model of computation.
Notas===Uma medida de complexidade de Blum é definida usando funções computáveis sem nenhuma referência a um modelo de computação específico.

The Blum axioms can be used to define an abstract computational complexity theory on the set of computable functions.
Os axiomas de Blum podem ser usados para definir uma teoria de complexidade computacional abstrato, sobre o conjunto de funções computáveis.

Such hierarchies provide a natural way to classify computable functions according to rate-of-growth and computational complexity.
Tais hierarquias permitem uma classificação natural de funções computáveis, de acordo com a taxa-de-crescimento e a complexidade computacional.

In computational complexity theory the compression theorem is an important theorem about the complexity of computable functions.
Na teoria da complexidade computacional o teorema do intervalo é um importante teorema sobre a complexidade de funções computáveis.

One method of classifying the strength of these weak systems is by characterizing which computable functions the system can prove to be total see Fairtlough and Wainer 1998.
Um método de classificar a força desses sistemas fracos é caracterizando as funções computáveis que o sistema pode provar serem totais veja Fairtlough e Wainer 1998.

A common statement of the lemma(as given below) makes the stronger assumption that the theory can represent all computable functions.
Uma declaração comum do lema(conforme dados abaixo) faz a forte suposição de que a teoria que pode representar todas as funções computáveis.

Formal statement==Let formula_1 be a Gödel numbering of the computable functions; a map from the natural numbers to the class formula_2 of unary(partial) computable functions.
Declaração formal==Temos formula_1 que é um número de Gödel de funções computáveis; uma mapara dos números naturais para a classe formula_2 de funções computáveis(parcial) unárias.

Statement of the lemma==Let"T" be a first-order theory in the language of arithmetic and capable of representing all computable functions.
Enunciado do lema==Seja"T" uma teoria da lógica de primeira ordem na linguagem da aritmética capaz de representar todas as funções computáveis.

Kleene 1967 uses the letter T to describe a different predicate related to computable functions, but which cannot be used to obtain Kleene's normal form theorem.
Kleene 1967 usa a letra T para descrever um predicado diferente relacionado com funções computáveis, mas que não podem ser usadas na obtenção do teorema da Forma Normal de Kleene Peter Hinman, 2005, Fundamentals of Mathematical Logic.

The theorem states that there exists no largest complexity class, with computable boundary, which contains all computable functions.
O teorema afirma que não existe nenhumaclasse de complexidade maior que todas, com limite computável, que contém todas as funções computáveis.

The result for recursively enumerable sets can be obtained from that for(partial) computable functions by considering the class{ ϕ e: dom ϕ e∈ C}{\displaystyle\{\phi_{e}:{\textrm{dom}}\,\phi_{e}\in C\}}, where C{\displaystyle C} is a class of recursively enumerable sets.
O resultado para conjuntos recursivamente enumeráveis pode ser obtido a partir de funções computáveis, considerando a classe{ ϕ e: dom ϕ e∈ C}{\displaystyle\{\phi_{e}:{\textrm{dom}}\,\phi_{e}\in C\}}, onde C{\displaystyle C} é a classe dos conjuntos recursivamente enumeráveis.

Constructions can be defined as broadly as free choice sequences, which is the intuitionistic view, or as narrowly as algorithms(or more technically, the computable functions), or even left unspecified.
Construções podem ser definidas de forma tão ampla como sequencias de livre escolha, que é o ponto de vista intuicionista, ou tão restritas quanto algoritmos(ou mais tecnicamente, à função computável), ou até mesmo ser deixadas indeterminadas.

Carnap's work was phrased in alternate language, as the concept of computable functions was not yet developed in 1934.
O trabalho de Carnap foi formulado em uma linguagem alternativa, pelo fato do conceito de função computável ainda não ter sido desenvolvido em 1934.