O Que é COMPUTABILITY em Português

• computabilidade
• computação
• computability

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

Barry Cooper(2004), Computability Theory, Chapman& Hall.
Barry Cooper(2004), Teoria da Computabilidade, Chapman& Hall.

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

Like… wolfram's discrete computability theories.
Como? Do género… Teorias de Computação Discreta de Wolfram.

Avigad(2007),"Computability and Incompleteness", lecture notes.
Avigad(2007),"Computability e Incompletude", anotações de aula.

This allows for an analysis using the techniques of computability theory.
Isso permite uma análise utilizando as técnicas da teoria computacional.

The computability aspects of Kőnig's lemma have been thoroughly investigated.
Os aspectos computacionais dos lemas de König, foram cuidadosamente investigados.

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.

Research in computability theory and complexity theory have typically focused on decision problems.
Pesquisas na área da teoria da computabilidade têm focado principalmente nos problemas de decisão.

Löb did research on proof theory, modal logic and computability theory.
Löb fez pesquisas sobre teoria da prova, lógica modal e teoria da computabilidade.

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

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

The fields of feasible computability and computational complexity study functions that can be computed efficiently.
Os campos da computação factível e complexidade computacional estudam funções que podem ser computadas eficientemente.

ISBN 0-7204-2103-9* Rogers, H."Theory of Recursive Functions and Effective Computability", MIT Press.
Rogers, H."The Theory of Recursive Functions and Effective Computability", MIT Press.

The interdisciplinary research Association"Computability in Europe"("CiE") also organizes a series of annual conferences.
A CiE(Association Computability in Europe) também organiza uma série de conferências anuais.

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

References==* Cutland, N.J.,"Computability: An introduction to recursive function theory", Cambridge University Press, 1980.
Referências==* Cutland, N.J.,"Computability: An introduction to recursive function theory", Cambridge University Press, 1980.

References==* Rogers, H."The Theory of Recursive Functions and Effective Computability", MIT Press.
Referências==* Rogers, H."The Theory of Recursive Functions and Effective Computability", MIT Press.

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

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

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

For other computational and complexity subjects, see list of computability and complexity topics.
Para outros assuntos sobre computabilidade e complexidade, veja list of computability and complexity topics.

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

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

In the late 19th century, Leopold Kronecker formulated notions of computability, defining primitive recursive functions.
Em meados do século 19, Leopold Kronecker formulou noções de computação, definindo funções recursivas primitivas.

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

It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science.
É 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.

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

Hypercomputation or super-Turing computation refers to models of computation that go beyond, or are incomparable to, Turing computability.
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.

A formal definition of computation and computability, and proof that there are computationally unsolvable and intractable problems.
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.

It is also one of the primitive functions used in the characterization of computability by recursive functions.
É também uma das funções primitivas utilizadas na caracterização da computação por funções recursivas.