Tradução de "linear logic" para português

lógica linear é a tradução de "linear logic" para português.

linear logic noun gramática

( logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.

+ Adicionar

Dicionário inglês-português

  • lógica linear

    Linear logic on the left was directly hardwired into right brain intuition.

    A lógica linear da esquerda era diretamente ligação direta com a intuição da parte direita do cérebro.

  • Mostrar traduções geradas por algoritmos

Traduções automáticas de " linear logic " para português

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Adicionar

Traduções de "linear logic" em português em contexto, memória de tradução