4 relações: Produto cartesiano, Relação (matemática), Sistema de cadeia reescrito, Sistema de redução.
Produto cartesiano
Em matemática, dados dois conjuntos X e Y, o produto cartesiano (ou produto direto) desses dois (escrito como X × Y) é o conjunto de todos os pares ordenados, cujo primeiro termo pertence a X; e o segundo, a Y. O produto cartesiano recebe seu nome de René Descartes, cuja formulação da geometria analítica deu origem a este conceito.
Novo!!: Sistema de redução abstrato e Produto cartesiano · Veja mais »
Relação (matemática)
Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios.
Novo!!: Sistema de redução abstrato e Relação (matemática) · Veja mais »
Sistema de cadeia reescrito
Um sistema de cadeia reescrito é um sistema de substituição usado para criar cadeias lógias a partir de determinadas regras de reescrita.
Novo!!: Sistema de redução abstrato e Sistema de cadeia reescrito · Veja mais »
Sistema de redução
Em matemática um sistema de redução é um sistema onde termos podem ser reescritos usando uma lista finita, ou infinita, de regras de reescrita Exemplos de sistemas de redução incluem sistemas de reescrita de cadeias de caractere, sistemas de reescrita de termos, cálculo lambda sob conversão lambda e sistemas de redução combinatória.
Novo!!: Sistema de redução abstrato e Sistema de redução · Veja mais »