intrologica:main
Diferencias
Muestra las diferencias entre dos versiones de la página.
| intrologica:main [2019/12/04 14:05] – [Introducción a la Lógica y la Computación] gramagli | intrologica:main [2025/11/15 13:47] (actual) – editor externo 127.0.0.1 | ||
|---|---|---|---|
| Línea 10: | Línea 10: | ||
| {{: | {{: | ||
| - | **Anuncio** | + | **Anuncio** |
| * {{ : | * {{ : | ||
| Línea 22: | Línea 22: | ||
| * {{ : | * {{ : | ||
| - | * {{ : | + | * {{ : |
| + | * {{ : | ||
| ===== Generalidades ===== | ===== Generalidades ===== | ||
| Línea 91: | 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.1575479138.txt.gz · Última modificación: (editor externo)
