O Que é COMPUTABILIDADE em Inglês

• computability

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

Isso faz da lógica clássica um fragmento especial da lógica de computabilidade.
This makes classical logic a special fragment of CoL.

Computabilidade é a habilidade de resolver problemas de forma efetiva.
Computability is the ability to solve a problem in an effective manner.

Essa definição é adequada por questões de computabilidade e teoria dos conjuntos.
This definition is especially suitable to questions of computability and elementary set theory.

Na Teoria da Computabilidade, a Teoria hiperaritmética é uma generalização da Computabilidade de Turing.
In recursion theory, hyperarithmetic theory is a generalization of Turing computability.

O ramo se estendeu e passou a incluir o estudo generalizado da computabilidade e definibilidade.
The field has since grown to include the study of generalized computability and definability.

A computabilidade de um problema é intimamente ligada à existência de um algoritmo para resolver o problema.
The computability of a problem is closely linked to the existence of an algorithm to solve the problem.

No campo da teoria da ciência da computação, Yamada introduziu a noção de computabilidade em tempo real.
In the field of theoretical computer science, Yamada introduced the notion of real-time computability.

Teoria da computabilidade contínuaA teoria da computabilidade para computação digital é bem desenvolvida.
Continuous computability theory===Computability theory for digital computation is well developed.

A famosa tese de Church-Turing tenta definir computação e computabilidade em termos de Máquinas de Turing.
The Church-Turing thesis attempts to define computation and computability in terms of Turing machines.

Por isso, toda a forma de representação de conhecimento é, em algum sentido, um trade-off entre expressividade e computabilidade.
For this reason every form of knowledge representation is in some sense a trade off between expressivity and computability.

Computabilidade de Turing==A forma principal de computabilidade estudada na teoria da recursão foi introduzida por Turing1936.
Turing computability==The main form of computability studied in recursion theory was introduced by Turing 1936.

Portanto, a teoria da linguagem formal é uma grande área de aplicação da teoria da computabilidade e teoria da complexidade.
Therefore, formal language theory is a major application area of computability theory and complexity theory.

A ideia central da computabilidade é a dos problemas computacionais, que é uma tarefa cuja computabilidade pode ser explorada.
A central idea in computability is that of a(computational) problem, which is a task whose computability can be explored.

Similarmente, o teorema da indefibilidade de Tarski pode ser interpretado tanto em termos de definibilidade e em termos de computabilidade.
Similarly, Tarski's indefinability theorem can be interpreted both in terms of definability and in terms of computability.

O campo de lógica matemática lidando com computabilidade e suas generalizações tem sido chamado"teoria da recursão" desde os antepassados.
The field of mathematical logic dealing with computability and its generalizations has been called"recursion theory" since its early days.

Logo, conceitos significativos de“verdade intuitiva” e“verdade de lógica linear” pode ser derivada a partir da semântica da lógica de computabilidade.
Hence meaningful concepts of"intuitionistic truth","linear-logic truth" and"IF-logic truth" can be derived from the semantics of CoL.

É um tópico chave para o campo da Teoria da Computabilidade dentro da Lógica Matemática e para a Teoria da Computação dentro da Ciência da Computação.
It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science.

Funções recursivas primitivas são uma classe de funções que formam um importante bloco de construção importante no caminho para chegar à total formalização da computabilidade.
Primitive recursive functions form an important building block on the way to a full formalization of computability.

Computabilidade examina as limitações dos vários modelos teóricos do computador, incluindo o mais poderoso modelo conhecido- a máquina de Turing.
Computability theory examines the limitations of various theoretical models of the computer, including the most well-known model- the Turing machine.

Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing.
Hypercomputation or super-Turing computation refers to models of computation that go beyond, or are incomparable to, Turing computability.

Esta ciência foi responsável pela definição formal de computação e computabilidade, e pela prova da existência de problemas insolúveis ou intratáveis computacionalmente.
A formal definition of computation and computability, and proof that there are computationally unsolvable and intractable problems.

Boolos foi co-autor junto com Richard Jeffrey nas três primeiras edições do clássico texto universitário sobre lógica matemática, Lógica e Computabilidade.
Boolos coauthored with Richard Jeffrey the first three editions of the classic university text on mathematical logic, Computability and Logic.

Modelos particulares de computabilidade que dão origem ao conjunto de funções computáveis são as funções Turing-computáveis e as funções μ-recursivas.
Particular models of computability that give rise to the set of computable functions are the Turing-computable functions and the μ-recursive functions.

O desenvolvimento dessas idéias leva a definição do autor de uma função computável, e uma identificação de computabilidade com calculabilidade efetiva.
The development of these ideas leads to the author's definition of a computable function, and to an identification of computability with effective calculability.

Tal como acontece com o conceito de uma função computável, a computabilidade relativa pode ter definições equivalentes em muitos modelos de computação diferentes.
As with the concept of a computable function relative computability can be given equivalent definitions in many different models of computation.

Tarski enfatizou nesta lição(e eu pensei justamente) na grande importância do conceito de recursividade geralou computabilidade de Turing.
By 1946 Gödel argued in favor of this thesis::" Tarski has stressed in his lecture(and I think justly) the great importance of the concept of general recursiveness or Turing's computability.

Os resultados fundamentais que os pesquisadores obtiveram estabeleceram a computabilidade de Turing como uma formalização correta da ideia informal do cálculo efetivo.
The fundamental results the researchers obtained established Turing computability as the correct formalization of the informal idea of effective calculation.

Além de lógica clássica, lógica linear(sendo entendido no sentido relaxado) e lógica intuicionista também acabam por ser fragmentos naturais da lógica da computabilidade.
Besides classical logic, independence-friendly(IF) logic and certain proper extensions of linear logic and intuitionistic logic also turn out to be natural fragments of CoL.

Além da criptografia, os tópicos intimamente relacionados da teoria de codificação, computabilidade e teoria de autômatos sempre foram áreas de força no departamento.
In addition to cryptography, the closely related topics of coding theory, computability and theory of automata have always been areas of strength at the department.

Computabilidade relativa e os graus de TuringA teoria da recursão na lógica matemática tem tradicionalmente ênfase na computabilidade relativa, uma generalização da computabilidade de Turing definida utilizando máquinas de Turing oracle, introduzida por Turing1939.
Relative computability and the Turing degrees===Recursion theory in mathematical logic has traditionally focused on"relative computability", a generalization of Turing computability defined using oracle Turing machines, introduced by Turing 1939.

Como usar "computabilidade" em uma frase

Durante este ano ele desenvolveu as ideias de computabilidade e das funções recursivas com o propósito de lecionar sobre as funções recursivas gerais e o conceito de verdade matemática.

Unidade: IME Subjects: Lógica, Computabilidade E Complexidade GUERRA, Paulo T; WASSERMANN, Renata.

Previous Presentation Computabilidade e Linguagens Formais -Introdução à teoria dos autómatos notas baseadas em john e.

Foi ótimo, conseguimos ao mesmo tempo alinhar as conversas e assistir/participar da releitura de Glerm das noções de computabilidade.

Linguagem um conceito fundamental no estudo da Teoria da Computao, pois trata-se de uma forma precisa de expressar problemas, permitindo um desenvolvimento formal adequado ao estudo da computabilidade.

Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.

Disciplina: SCC0205 - Teoria da Computação e Linguagens Formais Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação.

No entanto, da Costa e Doria provaram que a conjectura de Penrose precisava ser melhor qualificada, apresentando exemplos de não-computabilidade em teorias físicas clássicas.

Embora a computabilidade deste aplicativo não seja lá muito grande, os recursos oferecidos por este aplicativo tornam-no um destaque da multidão de aplicativos do gênero.

NEM SEMPRE!!! 12 J.M.Barreto UFSC-INE Computabilidade Enumeração Sempre computável, basta ler o segundo elemento do par.