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

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

axiomático (-a)

axiomático(-a)

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

portugais

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