COMPUTÁVEIS на Английском - Английский перевод

• computable

Примеры использования Computáveis на Португальском языке и их переводы на Английский язык

Esses conjuntos são computáveis.
These sets are computable.

Faça documentos computáveis parte da linguagem.
Make computable documents part of the language.

Todas essas funções são computáveis.
Every such function is computable.

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

R é igual ao conjunto de todas as funções computáveis totais.
R is equal to the set of all total 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.

Tem dados? Faça-os computáveis.
Got Data? Make It Computable.

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.

Pode-se definir formalmente funções que não são computáveis.
One can formally define functions that are not computable.

Para realmente desenvolver a análise sobre números computáveis, alguns cuidados devem ser tomados.
To actually develop analysis over computable numbers, some care must be taken.

Um número complexo é chamado computável se suas partes real e imaginária são computáveis.
A complex number is called computable if its real and imaginary parts are computable.

Obviamente, FPT contém todos os problemas computáveis de tempo polinomial.
Obviously, FPT contains all polynomial-time computable problems.

Entretanto, diferente da Aritmética de Peano, o Teorema de Tennenbaum não se aplica à Q, e ele tem modelos não-padrão computáveis.
However, unlike Peano arithmetic, Tennenbaum's theorem does not apply to Q, and it has computable non-standard models.

Há uma outra definição equivalente de números computáveis via cortes de Dedekind computáveis.
There is another equivalent definition of computable numbers via computable Dedekind cuts.

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.

Embora a prova de Linnik mostrasse que c e L serem efetivamente computáveis, ele não forneceu valores numéricos para eles.
Although Linnik's proof showed c and L to be effectively computable, he provided no numerical values for them.

Em particular, a função parcial"f" definida por"f"("n")"m" se e somente se a máquina de Turing com índice"n" pára na entrada"0" com saída"m" não tem extensão para máquinas totalmente computáveis.
In particular, the partial function"f" defined so that"f"("n")"m" if and only if the Turing machine with index"n" halts on input"0" with output"m" has no extension to a total computable function.

Amplia o canal de informações com relatórios computáveis e interativos.
Broaden the information pipeline with computable and interactive reports.

Todas as leis da física têm consequencias que são computáveis através de uma série de aproximações em um computador digital.
All known laws of physics have consequences that are computable by a series of approximations on a digital computer.

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.

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.

Entretanto, máquinas de Turing indutivas simples e comuns permitem construção diretas de autômatos computáveis, que são máquinas físicas.
However, simple inductive Turing machines and general Turing machines give direct constructions of computing automata, which are thoroughly grounded in physical machines.

Implementação==Existem alguns pacotes de computador que trabalham com números reais computáveis, representando os números reais como aproximações computáveis de programas.
Implementation==There are some computer packages that work with computable real numbers, representing the real numbers as programs computing approximations.

Seu argumento está numa definição mais ampla de algoritmo do que a usual e que funções não-computáveis obtidas de algumas máquinas de turing indutivas são chamadas computáveis.
His argument relies on a definition of algorithm broader than the ordinary one, so that non-computable functions obtained from some inductive Turing machines are called computable.

Todavia, toda subárvore computável de ω< ω{\displaystyle\omega^{.
However, every computable subtree of ω< ω{\displaystyle\omega^{.

Toda função computável é aritmeticamente definível.
Every computable function is arithmetically definable.

Cada número computável é definível, mas não vice-versa.
Every computable number is definable, but not vice versa.

Conhecimento computável curado alimentando o Wolfram_Alpha.
Curated computable knowledge powering Wolfram_Alpha.

Wolfram Knowledgebase Conhecimento computável curado alimentando o Wolfram_Alpha.
Wolfram Knowledgebase Curated computable knowledge powering Wolfram_Alpha.

Conhecimento computável detalhado e incorporado de milhões de entidades.
Detailed built-in computable knowledge about millions of entities.

Как использовать "computáveis" в предложении

Os outros 25%, também não computáveis, são destinados a áreas técnicas, equipamentos etc.

Art. 11 – Frações não computáveis na pena Art. 11 – Desprezam-se, nas penas privativas de liberdade e nas restritivas de direitos, as frações de dia, e, na pena de multa, as frações de cruzeiro.

Mas lembre-se, para esses cálculos só entram na contagem as áreas computáveis.

Ela abrange todas as relações e realizações não computáveis e não remuneráveis, cuja motivação é a alegria espontânea na colaboração livre, no convívio e na doação livres.

Roger Penrose, por exemplo, especulou anos atrás que os únicos fenômenos físicos não computáveis ocorriam apenas em escalas quânticas.

CONTAGEM DE PRAZO, FRAÇÕES NÃO COMPUTÁVEIS DA PENA ELEGISLAÇÃO ESPECIALContagem de prazo Art. 10 - O dia do começo inclui-se no cômputo do prazo.

FRAÇÕES NÃO CONTAGEM DO LEGISLAÇÃO COMPUTÁVEIS DA PRAZO ESPECIAL PENAO dia do começo inclui-se Nas penas privativas de no cômputo do prazo.

Teorias computáveis menores têm mais peso quando calculando a probabilidade da próxima observação.

A série pode ser uma série de valores numéricos ou uma série de expressões computáveis.