BINARY RELATION in Portuguese translation

• relação binária

Examples of using Binary relation in English and their translations into Portuguese

a set of formal rules that define a specific binary relation, intended to be interpreted to be logical equivalence,
um conjunto de regras formais que define uma relação binária específica, que se pretende interpretar como a noção de equivalência lógica,

Binary relations are ordered through inclusion.
As relações binárias são ordenadas através da inclusão.

In the study of binary relations, every relation has a converse relation..
No estudo das relações binárias, toda relação tem uma relação inversa.

Order theory is a branch of mathematics which investigates the intuitive notion of order using binary relations.
Teoria da ordem é um ramo da matemática que estuda vários tipos de relações binárias que capturam a noção intuitiva de ordem matemática.

both viewed as binary relations on terms.
ambos vistos como relações binária em termos.

who was the first to observe that the composition of partial transformations is a special case of the composition of binary relations.
o primeiro a observar que a composição de funções parciais é um tipo especial de multiplicação de relações binárias.

In 1941, Tarski published an important paper on binary relations, which began the work on relation algebra
Tarski publicou em 1941 um importante artigo sobre relações binárias, que deu início ao trabalho sobre relação algébrica

The set of binary relations over a set"X", together with the composition of relations forms a monoid with zero,
O conjunto das relações binárias sobre um conjunto"X", juntamente com a composição de relações forma um monoide,

Binary relations are used in many branches of mathematics to model concepts like"is greater than","is equal to", and"divides" in arithmetic,"is congruent to" in geometry,"is adjacent to" in graph theory,"is orthogonal to" in linear algebra and many more.
As relações binárias são comuns em muitas áreas da matemática para definir conceitos como por exemplos:"é múltiplo" e"maior que" da aritmética;"é congruente" da geometria; e outros.

Deleuze and Guattari 2005 infer that the abstract machine of faciality produces binary relations between what is accepted in a first choice
Inferem que a máquina abstrata de rostidade produz relações binárias entre o que é aceito em uma primeira escolha e o que não

A Kripke frame for a language withformula_45 as the set of its necessity operatorsconsists of a non-empty set"W" equipped with binary relations"Ri" for each"i"∈"I.
Uma estrutura de Kripke para uma linguagem comformula_45 como o conjunto de suas necessidades de operadores consiste em um"W" equipado com relações binárias"Ri" para cada"i"∈"I.

x- NaN NaN- x NaN, etc. The set of binary relations over a set X, together with the composition of relations
x- NaN NaN- x NaNetc. O conjunto das relações binárias sobre um conjunto X,

formula_31 are binary relations on S for"n" numbers of agents.
y formula_31 são as relações binárias em S para"n" indivíduos.

or the calculus of binary relations; dynamic logic therefore can be viewed as a refinement of algorithmic logic and predicate transformers that connects them up to the axiomatics and Kripke semantics of modal logic as well as to the calculi of binary relations and regular expressions.
ou o cálculo de relações binárias; lógica dinâmica, portanto, pode ser vista como um refinamento da lógica algorítmica e transformadores de predicados que a conecta com a axiomática e a semântica de Kripke da modal lógica, bem como para o cálculo de relações binárias e expressões regulares.

Lies on(Containment), three binary relations, one linking points and straight lines, one linking points and planes, and one linking straight lines and planes; Congruence, two binary relations, one linking line segments
Estar contido, três relações binárias, uma ligando pontos e retas, uma envolvendo pontos e planos e outra entre retas e planos; Ser congruente, duas relações binárias, uma entre segmentos de reta

One of them is the transitive closure of a binary relation.
O fecho transitivo de uma relação binária é um deles.

Logical biconditional becomes the equality binary relation, and negation becomes a bijection which permutes true and false.
Conectivo lógico bicondicional se torna a relação de equivalência binária, e a negação se torna uma bijeção que permuta verdadeiro em falso, e falso em verdadeiro.

In mathematics, a reflexive relation is a binary relation on a set for which every element is related to itself.
Em matemática, uma relação reflexiva é uma relação binária em que cada elemento está em relação consigo próprio.

A reducibility relation is a binary relation on sets of natural numbers that is Reflexive:
Uma relação de redutibilidade é uma relação binária em conjuntos de números naturais que são:

In mathematics, a binary relation on a set"A" is a collection of ordered pairs of elements of"A.
Na matemática e na lógica, uma relação binária ou 2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados.