Tradução de "axioma integralidade" para o idioma inglês:
Dicionário Português-Inglês
Axioma - tradução :
Exemplos (Fontes externas, não revisadas)
| Axioma de Igualdade. | First order logic Axiom of Equality. |
| E o axioma da escolha global segue do axioma do tamanho limitado. | And the axiom of global choice follows from the axiom of limitation of size. |
| Controlos de integralidade dos dados referentes a moedas de euro | Completeness checks for euro coin data |
| Artigo 7.o Integralidade e exactidão das transmissões de dados 1 . | Article 7 Completeness and correctness of data transmissions 1 . |
| Integralidade dos dados Os BCN devem reportar todos os domínios estatísticos que são exigidos . | Completeness NCBs report all required series keys . |
| Integralidade dos dados os BCN devem reportar todos os domínios estatísticos que são exigidos . | Completeness NCBs report all required series keys . |
| Outros axiomas mais fracos que o Axioma da Escolha incluem o teorema do ideal primo booleano e o axioma da uniformização. | Other choice axioms weaker than axiom of choice include the Boolean prime ideal theorem and the axiom of uniformization. |
| Nem toda situação requer o Axioma da Escolha. | Not every situation requires the axiom of choice. |
| A demonstração faz uso do axioma da escolha. | This is at the core of the proof. |
| Neste caso, para verificar uma prova formal, deve ser possível determinar se a afirmação que é tida como axioma é realmente um axioma. | To verify a formal proof when the set of axioms is infinite, it must be possible to determine whether a statement that is claimed to be an axiom is actually an axiom. |
| Teóricos contemporâneos da teoria dos conjuntos também estudam axiomas que não são compatíveis com o axioma da escolha, como o axioma da determinação. | Contemporary set theorists also study axioms that are not compatible with the axiom of choice, such as the axiom of determinacy. |
| O axioma da escolha é evitado em algumas várias matemáticas construtivas, embora existam várias matemáticas construtivas onde o axioma da escolha é vivo. | The axiom of choice is avoided in some varieties of constructive mathematics, although there are varieties of constructive mathematics in which the axiom of choice is embraced. |
| A distinção entre um axioma e um postulado desaparece. | The distinction between an axiom and a postulate disappears. |
| Outro nome para um axioma não lógico é postulado. | Another name for a non logical axiom is postulate . |
| Este é o axioma de Arquimedes dos números reais. | This is the Archimedean property of real numbers. |
| Um exemplo é o axioma da escolha dependente (DC). | One example is the axiom of dependent choice (DC). |
| Variantes Existem várias outras afirmações equivalentes ao Axioma da Escolha. | Variants There are many other equivalent statements of the axiom of choice. |
| Esse axioma então necessita a fixação em um modelo realista. | This axiom then necessitates the fixed, realist model. |
| Construindo um modelo válido para um subsistema sem o axioma especificado, mostra se que o axioma omitido é independente se a corretura do subsistema não é afetada. | By constructing a valid model for a subsystem without a specific axiom, we show that the omitted axiom is independent if its correctness does not necessarily follow from the subsystem. |
| Mesmo que um modelo fixo da teoria dos conjuntos satisfaz o axioma da escolha, é possível que um modelo interno falhe em satisfazer o axioma da escolha. | Even if a fixed model of set theory satisfies the axiom of choice, it is possible for an inner model to fail to satisfy the axiom of choice. |
| Por exemplo, a existência de cardinais suficientemente grandes implica que há um modelo interno satisfazendo o axioma do determinismo (e, portanto, não satisfazendo o axioma da escolha). | For example, the existence of sufficiently large cardinals implies that there is an inner model satisfying the axiom of determinacy (and thus not satisfying the axiom of choice). |
| Tornou se um agnóstico, tomando por axioma a inconveniência da existência . | He became an agnostic, taking as an axiom the inconvenience of existence . |
| Na matemática, o axioma da escolha é um axioma da teoria dos conjuntos equivalente à afirmação o produto de uma coleção não vazia de conjuntos é não vazio . | In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non empty sets is non empty . |
| Nomenclatura ZF, AC, e ZFC Nesse artigo e outras discussões sobre o Axioma da Escolha as seguintes abreviações são comuns AC o Axioma da Escolha (Axiom of Choice). | Nomenclature ZF, AC, and ZFC In this article and other discussions of the Axiom of Choice the following abbreviations are common AC the Axiom of Choice. |
| Introdução A integralidade dos dados transmitidos pelos BCNs e pelos futuros BCNs do Eurosistema é controlada no CIS 2 . | Introduction Data sent by NCBs and future Eurosystem NCBs are checked for completeness in the CIS 2 . |
| Esta união existe independente do tamanho do conjunto, pelo axioma da união. | This union exists regardless of the set's size, by the axiom of union. |
| Nesse caso, G é um teorema em T , porque é um axioma. | In this case, G is indeed a theorem in T , because it is an axiom. |
| Se uma proposição é um axioma, ela é uma proposição verdadeira alcançável. | if a proposition is an axiom, it is a true reachable proposition. |
| ZF Teoria dos conjuntos de Zermelo Fraenkel omitindo o Axioma da Escolha. | ZF Zermelo Fraenkel set theory omitting the Axiom of Choice. |
| Na teoria das classes como na teoria dos conjuntos de Von Neumann Bernays Gödel e na teoria dos conjuntos de Morse Kelley, existe um axioma possível chamado de axioma da escolha global que é mais forte do que o Axioma da Escolha para conjuntos porque também se aplica para classes próprias. | In class theories such as Von Neumann Bernays Gödel set theory and Morse Kelley set theory, there is a possible axiom called the axiom of global choice which is stronger than the axiom of choice for sets because it also applies to proper classes. |
| No mínimo , deverão proceder aos controlos de integralidade previstos no anexo V e aos controlos de exactidão previstos no anexo VI . | As a minimum , they shall perform the completeness checks set out in Annex V and the correctness checks set out in Annex VI . |
| A distinção entre estes conceitos foi derivada da visão biológica de Burnet e de seu interesse na integralidade do organismo vivo. | The distinction between self and non self was an integral part of Burnet's biological outlook, of his interest in the living organism in its totality, its activities, and interactions. |
| O estado do Axioma da Escolha varia entre diferentes variedades de matemática construtiva. | The status of the axiom of choice varies between different varieties of constructive mathematics. |
| Uma causa para essa diferença é que o Axioma da Escolha na teoria dos tipos não tem a propriedade da extensionalidade que o Axioma da Escolha na teoria dos conjuntos construtiva tem. | A cause for this difference is that the axiom of choice in type theory does not have the extensionality properties that the axiom of choice in constructive set theory does. |
| Alguns resultados na teoria dos conjuntos construtiva usam o axioma da escolha contável ou o axioma da escolha dependente, que não implica a lei do meio excluído na teoria dos conjuntos construtiva. | Some results in constructive set theory use the axiom of countable choice or the axiom of dependent choice, which do not imply the law of the excluded middle in constructive set theory. |
| Na teoria dos tipos de Martin Löf e altam ordem aritmética de Heyting, a afirmação apropriada do Axioma da Escolha é (dependendo da abordagem) incluída como uma axioma ou provada como um teorema. | In Martin Löf type theory and higher order Heyting arithmetic, the appropriate statement of the axiom of choice is (depending on approach) included as an axiom or provable as a theorem. |
| O BCE congratula se com o projecto de regulamento , que irá beneficiar a actualidade , fiabilidade e integralidade das estatísticas da zona euro . | The ECB welcomes the draft regulation , which will lead to improvements regarding the timeliness , reliability and completeness of statistics for the euro area . |
| ZFC Teoria dos conjuntos de Zermelo Fraenkel, estendido para incluir o Axioma da Escolha. | ZFC Zermelo Fraenkel set theory, extended to include the Axiom of Choice. |
| Isso vem sendo usado como um argumento contra o uso do Axioma da Escolha. | This has been used as an argument against the use of the axiom of choice. |
| Assim o Axioma da Escolha não está geralmente disponível na teoria dos conjuntos construtiva. | Thus the axiom of choice is not generally available in constructive set theory. |
| Na categoriade conjuntos, toda sobrejeção tem uma secção, resultado equivalente do axioma da escolha. | In the category of sets, every surjection has a section, a result equivalent to the axiom of choice. |
| Por exemplo, em alguns grupos, o grupo operação é comutativo, e este pode ser declarado com a introdução de um axioma adicional, mas sem este axioma nós podemos realmente fazer um bom desenvolvimento da teoria de grupo, e nós podemos sempre ter as negações como um axioma para o estudo de grupos não comutativos. | For example, in some groups, the group operation is commutative, and this can be asserted with the introduction of an additional axiom, but without this axiom we can do quite well developing (the more general) group theory, and we can even take its negation as an axiom for the study of non commutative groups. |
| A Norte Energia já possui a Licença de Operação (LO) desde novembro de 2015, que substitui em sua integralidade os termos da LI. | Norte Energia has held an operation license since November 2015, which completely replaced the terms of the installation license. |
| Teoria dos Conjuntos Na Teoria dos Conjuntos, em particular na sua formulação segundo os axiomas de Zermelo Fraenkel, existe um axioma cuja finalidade é garantir a existência do conjunto das partes o axioma da potência. | In other words, the power set of the empty set is the set containing the empty set and the power set of any other set is all the subsets of the set containing some specific element and all the subsets of the set not containing that specific element. |
| O problema então torna se construir uma boa ordenação, que aparenta necessitar o Axioma da Escolha para sua existência todo conjunto pode ser bem ordenado se e somente se o Axioma da Escolha é válido. | The problem then becomes that of constructing a well ordering, which turns out to require the axiom of choice for its existence every set can be well ordered if and only if the axiom of choice holds. |
Pesquisas relacionadas : Dados Integralidade - Gama Integralidade - Axioma Da Preocupação - Axioma Da Escolha - Verificação Da Integralidade - Restrições De Integralidade - Confirmar A Integralidade - Devido à Integralidade - Cláusula De Integralidade - Integralidade Dos Dados - Propósito De Integralidade - Integralidade Da Cobertura - Integralidade E Exactidão
