O Que é CONJUNTO FORMULA em Inglês

• set formula

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

O conjunto formula_11 é recursivo.
The set formula_11 is recursive.

A soma: formula_10representa e medida do conjunto: formula_11.
The sum: formula_10represents the measure of the set: formula_11.

O conjunto formula_168 é Turing completo em formula_34.
The set formula_170 is Turing complete in formula_33.

Definições relacionadas podem ser feitas para outros alfabetos além do conjunto formula_5.
Related definitions can be made for alphabets other than the set formula_1.

O conjunto formula_166 é um mapeamento completo em formula_2.
The set formula_168 is many-one complete in formula_2.

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.

O conjunto formula_30 é formula_17 completo para cada formula_37.
The set formula_30 is formula_17 complete for every formula_37.

Como formula_82, vemos que formula_83 é definido por uma fórmula formula_84 e por isso está no conjunto formula_84.
As formula_83 we see that formula_84 is defined by a formula_85 formula and hence is a formula_85 set.

Exemplos==* No conjunto formula_17, o ponto formula_18 é um ponto isolado.
For the set formula_3, the point 0 is an isolated point.

Neste caso a probabilidade de resultado que a medição retornará se encontra num conjunto formula_13 e será dada por formula_14.
In this case,* the probability that the result of the measurement lies in a measurable set formula_24 will be given by formula_25.

O conjunto formula_21 dos números naturais é um conjunto discreto.
The set formula_5 of natural numbers is a discrete set..

O resultado de tal projeção é definida como o conjunto que é obtido quando todas as tuplas em"R" são restritas ao conjunto formula_3.
The result of such projection is defined as the set that is obtained when all tuples in"R" are restricted to the set formula_3.

Assim, dado um conjunto formula_6, uma função computável formula_7 e tem a propriedade"F" se e somente se formula_8.
Thus given a set formula_5, a computable function formula_6 has property"F" if and only if formula_7.

A"linguagem" de formula_23, denotada como formula_24, é definida como todas as sentenças que podem ser derivadas em um número finito de passos partindo do símbolo inicial formula_20; ou seja, o conjunto formula_26.
The"language" of formula_27, denoted as formula_28, is defined as all those sentences that can be derived in a finite number of steps from the start symbol formula_24; that is, the set formula_30.

Da mesma forma, cada conjunto formula_132 é fechado e os conjuntos formula_132 são chamados"efetivamente fechados.
Similarly, every formula_134 set is closed and the formula_134 sets are sometimes called"effectively closed.

Teorema de Rice e conjunto de índices==Teorema de Rice pode ser sucintamente expressos em termos de conjuntos de índices:: Temos que formula_49 seja uma classe das funções recursivas parciais com índice de conjunto formula_50.
Rice's theorem and index sets==Rice's theorem can be succinctly stated in terms of index sets:: Let formula_48 be a class of partial recursive functions with index set formula_49.

Em particular, estabelece os seguintes fatos para todo n 1:*O conjunto formula_164(o n-ésimo salto de Turing do conjunto vazio) é um mapeamento completo em formula_1.
In particular, it establishes the following facts for all"n"≥ 1:* The set formula_166(the"n"th Turing jump of the empty set) is many-one complete in formula_1.

Diz-se que um conjunto formula_1 de pontos vigia o polígono se, para todo ponto formula_2 no poligono, existe algum formula_3 tal que o segmento de reta que liga formula_2 e formula_5 não sai do polígono.
A set formula_1 of points is said to guard a polygon if, for every point formula_2 in the polygon, there is some formula_3 such that the line segment between formula_2 and formula_5 does not leave the polygon.

De acordo com Darling, as duas afirmações são, respectivamente, equivalentes a"O conjunto de todas as coisas que são melhores do que a eterna felicidade é formula_1" e"O conjunto{sanduíche de presunto} é melhor do que o conjunto formula_1.
According to Darling, the former is equivalent to"The set of all things that are better than eternal happiness is formula_1" and the latter to"The set{ham sandwich} is better than the set formula_1.

Por exemplo, cada subconjunto formula_122 dos espaços de Cantor ou Baire é um conjunto formula_135 isto é, um conjunto que é igual a interseção dos muitos conjuntos abertos contáveis.
For example, every formula_124 subset of Cantor or Baire space is a formula_137 set that is, a set which equals the intersection of countably many open sets.

Papel na lógica matemática==Sistema dedutivo e completudeUm sistema dedutivo consiste, de um grupo formula_56 de axiomas lógicos, um conjunto formula_57 de axiomas não-lógicos, e um conjunto formula_58 de regras de inferência.
Role in mathematical logic Deductive systems and completeness====A deductive system consists of a set formula_56 of logical axioms, a set formula_57 of non-logical axioms, and a set formula_58 of"rules of inference.

Determinação da cota==A distância mínima de um conjunto formula_1 de palavras-código de comprimento formula_2 é definido como: formula_7onde formula_8 é a distância de Hamming entre formula_9 e formula_10.
Statement of the bound==The minimum distance of a set formula_1 of codewords of length formula_2 is defined as: formula_7where formula_8 is the Hamming distance between formula_9 and formula_10.

Mais interessante é o problema"embutido""regular" de Post, uma variante ainda mais além quando se olha para as soluções que pertencem a uma determinada linguagem regular apresentado, por exemplo, sob a forma de uma expressão regular sobre o conjunto formula_20.
More interesting is the Regular Post Embedding Problem, a further variant where one looks for solutions that belong to a given regular language submitted, e.g., under the form of a regular expression on the set formula_20.

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.

Por exemplo, modificando o conjunto formula_29 para formula_30, onde"N"("Nada" ou"Sem operação") permitiria a máquina ficar sobre a mesma célula da fita em vez de mover para a esquerda ou para direita, não aumenta o poder computacional das máquinas.
For example, changing the set formula_16 to formula_17, where"N"("None" or"No-operation") would allow the machine to stay on the same tape cell instead of moving left or right, does not increase the machine's computational power.

Se formula_137 é uma fórmula formula_5 com um conjunto de variáveis livres"X" e variáveis livres de números formula_139 então o conjunto formula_122 formula_141 é a interseção dos conjuntos formula_84 da forma formula_143 com n variando ao longo do conjunto dos números naturais.
If formula_139 is a formula_5 formula with a free set variable"X" and free number variables formula_141 then the formula_124 set formula_143 is the intersection of the formula_85 sets of the form formula_145 as"n" ranges over the set of natural numbers.

Definição==Dado um espaço mensurável formula_1 e uma medida formula_2 sobre tal espaço, um conjunto formula_3 em formula_4 é chamado de átomo se: formula_5e para qualquer subconjunto mensurável formula_6 de formula_3 com: formula_8tem-se formula_9== Exemplos==* Considere o conjunto"X"={1, 2,…, 9, 10} e a sigma-álgebra formula_4 definida pelo conjunto potência de"X.
Definition==Given a measurable space formula_1 and a measure formula_2 on that space, a set formula_3 in formula_4 is called an atom if: formula_5and for any measurable subset formula_6 of formula_3 with: formula_8one has formula_9== Examples==* Consider the set"X"={1, 2,…, 9, 10} and let the sigma-algebra formula_4 be the power set of"X.

Se nós considerarmos essas funções como funções indicadoras sobre conjuntos, formula_30 pode ser pensada como uma classe de complexidade de conjuntos..
If we consider those functions as indicator functions on sets, formula_30 can be thought of as a complexity class of sets..

Propriedades básicas dos graus de Turing==* Cada grau de Turing é infinito contável, ou seja, ela contém exatamente conjuntos formula_5.
Basic properties of the Turing degrees==* Every Turing degree is countably infinite, that is, it contains exactly formula_5 sets.