Portuguese » Spanish

Translations for „axiomático“ in the Portuguese » Spanish Dictionary

(Go to Spanish » Portuguese)

axiomático (-a) [aksioˈmaʧi̥ku, -a] ADJ

axiomático (-a)

Monolingual examples (not verified by PONS Editors)

Portuguese
Dada uma teoria axiomática ou um conjunto de axiomas, um axioma é dito independente se ele não pode ser derivado dos demais.
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
A partir dos exemplos, você pode observar que nós adicionamos 3 regras virtuais (ou extra e temporária) de inferência a nossa lógica axiomática normal.
pt.wikipedia.org
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 grupoide pode ser definido a partir da teoria das categorias ou de forma axiomática.
pt.wikipedia.org
Usamos normalmente a forma dedutiva-natural no lugar de uma prova axiomática muito mais extensa.
pt.wikipedia.org
A gravitação semiclássica também poderia ser deduzida a partir de uma abordagem axiomática.
pt.wikipedia.org
A existência de estados de equilíbrio termodinâmico é um postulado axiomático e fundamental da termodinâmica.
pt.wikipedia.org
Nós referimos anteriormente à necessidade de uma aproximação axiomática formal.
pt.wikipedia.org
Além da absoluta, a consistência relativa é também uma característica de um sistema axiomático.
pt.wikipedia.org

Would you like to add a word, a phrase or a translation?

Submit a new entry.

Look up "axiomático" in other languages


Choose your language Deutsch | English | Español | Français | Italiano | Polski | Português