Português » Alemão

Traduções para „axiomático“ no dicionário Português » Alemão (Salte para Alemão » Português)

axiomático (-a) ADJ

axiomático (-a)

Exemplos unilingues (não verificados pela redação)

português

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

Desejar acrescentar uma palavra, uma frase ou uma tradução?

Envie-nos uma nova entrada.

Consulte o dicionário

português

Consultar "axiomático" em mais línguas

Página em Deutsch | English | Français | Italiano | Polski | Português