intrologica:main
Diferencias
Muestra las diferencias entre dos versiones de la página.
Ambos lados, revisión anteriorRevisión previa | |||
intrologica:main [2020/07/14 15:22] – [Introducción a la Lógica y la Computación] gramagli | intrologica:main [2020/08/04 14:54] (actual) – [Clases 2018] gramagli | ||
---|---|---|---|
Línea 92: | Línea 92: | ||
- | * Miércoles 12/09. Concepto de Relación. Relaciones de equivalencia y de orden. Caracterización de las relaciones de equivalencia. Diagramas de Hasse para representar relaciones de orden. Conjuntos parcialmente ordenados. | + | * Miércoles 12. Concepto de Relación. Relaciones de equivalencia y de orden. Caracterización de las relaciones de equivalencia. Diagramas de Hasse para representar relaciones de orden. Conjuntos parcialmente ordenados. |
- | * Viernes 14/09. Conjunto parcialmente ordendo (CPO o POSET). Máximos, mínimos, elementos maximales y minimales, supremos e ínfimos. Noción de isomorfismo. Propiedades de los isomorfismo. Poset reticulado. Reticulado como estructura algebraica. Reticulado de divisores. Reticulado de subconjuntos. | + | * Viernes 14. Conjunto parcialmente ordendo (CPO o POSET). Máximos, mínimos, elementos maximales y minimales, supremos e ínfimos. Noción de isomorfismo. Propiedades de los isomorfismo. Poset reticulado. Reticulado como estructura algebraica. Reticulado de divisores. Reticulado de subconjuntos. |
* Miércoles 12/ | * Miércoles 12/ | ||
* Viernes 19/09. Isomorfismo de reticulados. Reticulados acotados y complementados. Problema de la existencia de más de un complemento: | * Viernes 19/09. Isomorfismo de reticulados. Reticulados acotados y complementados. Problema de la existencia de más de un complemento: |
intrologica/main.1594740162.txt.gz · Última modificación: 2020/07/14 15:22 por gramagli