De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
Añadir una traducción
axiom
axioma
Última actualización: 2015-05-16 Frecuencia de uso: 12 Calidad: Referencia: Wikipedia
(see axiom of extensionality.
(ver axioma da extensionalidade).
Última actualización: 2016-03-03 Frecuencia de uso: 1 Calidad: Referencia: Wikipedia
(see axiom of empty set.
(ver axioma do conjunto vazio.
least upper bound axiom
axioma do supremo
Última actualización: 2010-02-27 Frecuencia de uso: 1 Calidad: Referencia: Wikipedia
this axiom should be agreed upon internationally.
este axioma deveria objeto de acordo internacional.
Última actualización: 2020-08-01 Frecuencia de uso: 1 Calidad: Referencia: Luizfernando4
the word postulate is used in the sense of axiom
a palavra postulado utiliza-se no sentido de axioma.
Última actualización: 2018-02-13 Frecuencia de uso: 1 Calidad: Referencia: Luizfernando4
not every situation requires the axiom of choice.
nem toda situação requer o axioma da escolha.
Última actualización: 2016-03-03 Frecuencia de uso: 1 Calidad: Referencia: Luizfernando4
axiom no.l: decompartmentalization of areas of knowledge.
quais as novas perspectivas para os direitos culturais do trabalhador?
Última actualización: 2014-02-06 Frecuencia de uso: 1 Calidad: Referencia: Luizfernando4
* sigourney weaver as the "axiom"s computer.
*sigourney weaver como a voz do computador da "axiom".
Última actualización: 2016-03-03 Frecuencia de uso: 1 Calidad: Referencia: Luizfernando4Advertencia: contiene formato HTML invisible
one example is the axiom of dependent choice (dc).
um exemplo é o axioma da escolha dependente (dc).
the axiom utilizes a fully integrated computerized control system.
a axiom utiliza um sistema de controle computadorizado totalmente integrado.
another name for a non-logical axiom is "postulate".
outro nome para um axioma não-lógico é postulado.
*if a proposition is an axiom, it is a true reachable proposition.
* se uma proposição é um axioma, ela é uma proposição verdadeira alcançável.
axiom systems, skolem's paradox, the natural number sequence.
its initial stack symbol equals the axiom of the context-free grammar.
o símbolo inicial da pilha é igual ao axioma da gramática livre do contexto.
*zf – zermelo–fraenkel set theory omitting the axiom of choice.
*zf – teoria dos conjuntos de zermelo-fraenkel omitindo o axioma da escolha.
:formula_1the converse of this axiom follows from the substitution property of equality.
: formula_1a recíproca é consequência da propriedade da substituição na igualdade.
*martin's axiom plus the negation of the continuum hypothesis implies the suslin hypothesis.
*o axioma de martin somado com a negação da hipótese do continuum implica na hipótese de suslin.
kolmogorov axioms
axiomas de kolmogorov
Última actualización: 2014-11-13 Frecuencia de uso: 3 Calidad: Referencia: IATE
