O Que é FUNÇÕES COMPUTÁVEIS em Inglês

• computable functions
• computable function

Exemplos de uso de Funções computáveis em Português e suas traduções para o Inglês

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

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

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 definition depends on a suitable Gödel numbering that assigns natural numbers to computable functions.

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

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

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

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

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

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

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

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

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

Equivalentemente, um conjunto é recursivamente enumerável se e somente se ele for o"range" de algumas funções computáveis.
Equivalently, a set is recursively enumerable if and only if it is the range of some computable function.

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.
Let F{\displaystyle F} be a set of computable functions such that∅≠ F≠ P( 1){\displaystyle\emptyset\neq F\neq\mathbf{P}^{1.

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

Funções computáveis por máquinas de Turing totais==Na prática, muitas funções de interesse são computáveis por máquinas que sempre param.
Functions computable by total Turing machines==In practice, many functions of interest are computable by machines that always halt.

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 T be a first-order theory in the language of arithmetic and capable of representing all computable functions.

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.
Notes===A Blum complexity measure is defined using computable functions without any reference to a specific model of computation.

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

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

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

Enderton também lista diversas clarificações para tais requisitos de procedimentos para funções computáveis:*Em teoria, o procedimento deve trabalhar para uma grande quantidade de argumentos.
Enderton goes on to list several clarifications of these 3 requirements of the procedure for a computable function: The procedure must theoretically work for arbitrarily large arguments.

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 theorem states that there exists no largest complexity class, with computable boundary, which contains all computable functions.

O seguinte teorema mostra que funções computáveis por máquinas que sempre param não incluem extensões de todas as funções computáveis parciais, o que implica que a primeira pergunta tem resposta negativa.
The following theorem shows that the functions computable by machines that always halt do not include extensions of all partial computable functions, which implies the first question above has a negative answer.

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

Reduções também são usadas em teoria da computabilidade para mostrar se os problemas são ou não são solucionáveis por máquinas em geral; neste caso, reduções são restritas a funções computáveis.
Reductions are also used in computability theory to show whether problems are or are not solvable by machines at all; in this case, reductions are restricted only to computable functions.

Para o restante desse artigo, assuma que φ i{\displaystyle\varphi_{i}} é uma numeração aceitável do conjunto de funções computáveis e Wi é a numeração correspondente do conjunto de recursivamente enumeráveis.
For the remainder of this article, assume that φ i{\displaystyle\varphi_{i}} is an admissible numbering of the computable functions and Wi the corresponding numbering of the recursively enumerable sets.

Dada uma numeração Gödel formula_4 das funções computáveis, o conjunto formula_5(onde formula_6 é a função de emparelhamento de Cantor e formula_7 indica formula_8 é definido) é recursivamente enumerável.
Given a Gödel numbering formula_4 of the computable functions, the set formula_5(where formula_6 is the Cantor pairing function and formula_7 indicates formula_8 is defined) is recursively enumerable cf.

A definição em termos de funções μ-recursivas como também uma definição diferente de funções recursivas de Godel levaram à tradicional palavra recursividade para conjuntos e funções computáveis por máquinas de Turing.
The definition in terms of μ-recursive functions as well as a different definition of"rekursiv" functions by Gödel led to the traditional name"recursive" for sets and functions computable by a Turing machine.

Dada uma numeração de Gödel ϕ{\displaystyle\phi} das funções computáveis, o conjunto{⟨ x, y, z⟩∣ ϕ x( y) z}{\displaystyle\lbrace\left\langle x, y, z\right\rangle\mid\phi_{ x}( y)= z\ rbrace} é recursivamente enumerável.
Given a Gödel numbering ϕ{\displaystyle\phi} of the computable functions, the set{⟨ x, y, z⟩∣ ϕ x( y) z}{\displaystyle\lbrace\left\langle x, y, z\right\rangle\mid\phi_{ x}( y)= z\ rbrace} is recursively enumerable.

Como usar "funções computáveis" em uma frase

Computabilidade, funções computáveis, lógica e os fundamentos da matemática - livros: o livro é um atualizado manual de lógica, computabilidade, funções.

Computabilidade, funÇÕes computÁveis, lÓgica e os fundamentos da matemÁtica compre aqui.

SML é um descendente moderno da ML (linguagem de programação) utilizado em lógica de funções computáveis (LCF).

Classe de funções totalmente recursivas (funções computáveis de Turing) não pode ser aprendido no limite. 6 Aprendendo no limite vs.

Na quinta, tenho o 3º teste de TC e não "vejo um boi" de funções computáveis co-semidecidíveis.

O livro é um manual de lógica, computabilidade, funções computáveis e fundamentos da matemática, que oferece uma base filosófica para alunos de ensino superior.

Mais tarde, o próprio Turing provou ser necessária recursividade a linguagem funcional, para nela se poder definir funções computáveis.

Computabilidade, funções computáveis, lógica e os fundamentos da matemática.

A obra inclui tópicos como probabilidade, expressões regulares e conjuntos regulares, árvores binárias, cardinalidade, complexidade e máquinas de Turing e funções computáveis.