A Wikipedia diz : Malhas completas aparecem em muitas aplicações em matemática e ciência da computação Está apenas se referindo ao fato de que a álgebra booleana padrão usada em computação é uma treliça completa? Existe algo que ganhamos trabalhando no nível abstrato de treliças, em vez de...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Imagine que eu tenho um pedido em vários elementos como este: Onde uma flecha X←YX←YX \leftarrow Y significa X<YX<YX < Y. Também é transitivo:(X<Y)∧(Y<Z)⟹(X<Z)(X<Y)∧(Y<Z)⟹(X<Z)\left(X < Y\right) \wedge \left(Y < Z\right) \implies \left(X < Z\right). Para responder com...
Em um conjunto parcialmente ordenado, sempre posso ordenar dois elementos arbitrários fora do conjunto? Ou é possível que dois elementos dentro do conjunto não tenham relação de ordem entre si? Por exemplo, se houver três elementos { a , b , c }{uma,b,c}\{a, b, c\}e e , ou têm que aguentar?a ≤...