Resultados da pesquisa

[[Categoria:Operações binárias]] [[Categoria:Relações matemáticas]] ...

...ão entre dois elementos, sendo um conjunto de pares ordenados. As relações binárias são comuns em muitas áreas da matemática para definir conceitos como, por e As relações binárias são utilizadas em vários campos da [[Matemática]] e na [[Ciência da computa ...

...a teoria das alegorias é uma generalização da [[álgebra de relações]] para relações entre diferentes tipos. Alegorias também são úteis na definição e investiga ...erseção de morfismos é (teórica de conjuntos) [[Interseção|interseção]] de relações. ...

=== Sobrejeções como relações binárias === ...unção multivalorada|esquerda-total]] e [[Relação binária#Tipos de relações binárias|direita-única]] entre <math>X</math> e <math>Y,</math> identificando-a com ...

|legenda1=Categoria de relações '''Rel'''. A [[Composição de relações|composição de duas relações]] ''R'': ''A'' → ''B'' e ''S'': ''B'' → ''C'' é dada por ...

...elações binárias]] sobre um conjunto ''X'', juntamente com a composição de relações, forma um [[monoide]], em que o elemento zero é a relação vazia (o [[conjun ...

..._(complexidade)|tempo polinomial]] ou problemas [[NP-completo]]s quando as relações de ''S'' são usadas para restringir algumas das [[Variável_proposicional|va ...untos de relações geram um problema NP-completo. Um [[conjunto finito]] de relações ''S'' sobre o domínio booleano define um problema de satisfatibilidade comp ...

==Relações de equivalência== As relações de equivalência satisfazem os axiomas: ...

... Zellweger mais prontamente revela, para principiantes e profissionais, as relações de simetria subjacentes e propriedades [[Geometria|geométricas]] dos dezess ...ssíveis funções de verdade n-árias. Dezesseis possíveis funções de verdade binárias estão listadas na tabela abaixo. ...

...emas de [[P (complexidade)|tempo polinomial]] ou[[ NP-completo]] quando as relações de  ''S'' são usadas para restringir algumas das variáveis proposicionais.< ...conjuntos de relações geram um problema NP-complete. Um conjunto finito de relações ''S ''sobre o domínio Booleano define um problema de satisfatibilidade comp ...

Quando uma estrutura algébrica inclui mais de uma operação, as relações de congruência devem ser compatíveis com cada operação. Por exemplo, um ane No caso particular de [[Grupo (matemática)|grupos]], as relações de congruência podem ser descritas em termos elementares como segue: Se <ma ...

...lgumas dessas classes são baseadas em restringir os domínios permitidos ou relações, algumas outras em restringir a forma como as restrições são colocadas sobr ...ao conjunto de todas as restrições baseado num domínio fixo e conjunto de relações, a partir de 2007. Isto é considerado para alguns autores a pergunta mais i ...

...laro qual é a terminologia que usaremos quando estivermos falando sobre as relações com propriedades particulares. Estas propriedades sobre as relações binárias podem ser facilmente verificadas pela definição: ...

...mente etiquetados. Computações são descritas neste modelo por mudanças nas relações entre as entidades ou por mudanças nas etiquetas dos elementos do grafo. El ...

Bissimulação pode ser definida em termos de composições de relações<ref>HIRSCH, Edward A.; KARHUMÄKI, Juhani; LEPISTÖ, Arto (2012). "Computer S ...unto de bissimulações é fechado sobre uniões (junta-se à ordem parcial das relações), e um simples cálculo algébrico mostra que a relação de bissimilaridade - ...

...das [[Relação binária|relações binárias]] que não são [[Relação transitiva|relações transitivas]]. Isso pode incluir qualquer relação que não seja transitiva, ...são perguntadas sobre suas preferências através de uma série de perguntas binárias, elas dão respostas logicamente impossíveis: 1 é melhor que 2 e 2 é melhor ...

...parciais é um tipo especial de multiplicação de [[relação binária|relações binárias]].<ref>Schein 2002 : 152.</ref> Ele também reconheceu que o domínio de comp ...(aqui, <math>\mathcal{L}</math> e <math>\mathcal{R}</math> são duas das [[relações de Green]]. ...

...itos mais importantes da matemática, são definidas como tipos especiais de relações. ...

...e \in \{0,1\}^*</math> é algum padrão de codificação para o par de strings binárias ''x'' e ''y'' como uma única string binária. ''L'' representa o conjunto de == Relações entre as classes na hierarquia polinomial == ...

...ão grupos gerados por involuções com as relações determinadas apenas pelas relações dadas para os pares de involuções geradoras. Os grupos de Coxeter podem ser ...peração de inversão é uma involução na categoria das relações. As relações binárias são [[Conjunto parcialmente ordenado|ordenadas]] através da [[Subconjunto|i ...