COMPUTABILITY in Portuguese translation

• computabilidade
• computação
• computability

Examples of using Computability in English and their translations into Portuguese

Yamada introduced the notion of real-time computability.
Yamada introduziu a noção de computabilidade em tempo real.

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

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.

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.

are incomparable to, Turing computability.
são incomparáveis com, 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 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.

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

formal languages, computability, and computational complexity.
linguagens formais, computabilidade e complexidade computacional.

Boolos coauthored with Richard Jeffrey the first three editions of the classic university text on mathematical logic, Computability and Logic.
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.

Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Elas são usadas para discutir a computabilidade sem se referir a algum modelo de computação concreto, como a máquina de Turing e a máquina registradora.

Some of the key areas of logic that are particularly significant are computability theory(formerly called recursion theory),
Algumas das principais áreas de lógica, que são particularmente significativos são a teoria da computabilidade(anteriormente chamada de teoria da recursão),

In computability theory and computational complexity theory, a reduction is an algorithm for transforming one problem into another problem.
Em teoria da computação e complexidade, uma redução é uma transformação de um problema em outro.

In computability theory Post's theorem,
Na teoria da computação, o Teorema de Post,

In computability theory, a truth-table reduction is a reduction from one set of natural numbers to another.
Em teoria da computabilidade, uma redução por tabela-verdade é uma redução de um conjunto de números naturais para outro.

In set theory and computability theory, Kleene's O{\displaystyle{\mathcal{O}}} is a canonical subset of the natural numbers when regarded as ordinal notations.
Na teoria dos conjuntos e teoria da computação, O{\displaystyle{\mathcal{O}}} de Kleene é um sub conjunto canônico dos números naturais quando considerado como notação ordinal.

These hierarchies reveal many relationships between definability in this structure and computability theory, and are also of interest in descriptive set theory.
Essas hierarquias revelar muitas relações entre definibilidade nesta estrutura e na teoria da computabilidade, e também são de interesse na teoria dos conjuntos descritivo.

This work is the use ofaims to use quantum computability to solve difficult decision problems.
O tema dopresente trabalho consiste no uso da computabilidade quântica para solucionar problemas de difícil decisão.

In addition to encoding computability, the T predicate can be used to generate complete sets in the arithmetical hierarchy.
Em adição a codificação de computabilidade, o predicado T pode ser usado para gerar conjuntos completos dentro de hierarquia aritmética.

The first result of computability theory is that there exist problems for which it is impossible to predict what a(Turing-complete)
O primeiro resultado da teoria da computação foi a descoberta de que é impossível, no geral, prever o que um programa