Traductions de „axiomático“ dans le dictionnaire portugais » allemand

axiomático (-a) ADJ

axiomático (-a)

axiomatisch

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

portugais

A abordagem axiomática enfatiza a possibilidade de provar propriedades de programas usando-se lógica formal, particularmente verificação formal.

pt.wikipedia.org

Um sistema axiomático, será chamado de completo se para toda sentença ou sua afirmação ou sua negação é derivável.

pt.wikipedia.org

Assim, pode-se definir o que seja um valor absoluto para corpos genéricos, de forma axiomática.

pt.wikipedia.org

Isto pode ser o caso para várias outras teorias axiomáticas em matemática, filosofia, linguística, etc.

pt.wikipedia.org

Esta é uma vantagem geral da abordagem axiomática em matemática.

pt.wikipedia.org

Além disso, sua abordagem axiomática lógica e suas provas rigorosas são reconhecidamente válidas até hoje.

pt.wikipedia.org

Um conjunto de axiomas independentes é dito como sistema axiomático independente.

pt.wikipedia.org

Nós referimos anteriormente à necessidade de uma aproximação axiomática formal.

pt.wikipedia.org

Em um sistema axiomático, um axioma é chamado de independente se não é um teorema que pode ser derivado através de outros axiomas do sistema.

pt.wikipedia.org

Um axioma esquemático é uma fórmula na linguagem de um sistema axiomático, no qual uma ou mais variáveis esquemáticas aparecem.

pt.wikipedia.org