Diferencias

Muestra las diferencias entre dos versiones de la página.

--- intrologica:main [2019/11/01 04:17] – [Clases 2019] mpagano
+++ intrologica:main [2020/08/04 14:54] (actual) – [Clases 2018] gramagli
@@ Línea 10: / Línea 10: @@
 {{:intrologica:2017_iintroduccion_a_la_logica.docx|Programa de la materia correspondiente al año 2019}}
+**Anuncio** {{ :intrologica:examenes_finales_de_introduccion_a_la_logica.pdf |Exámen final del 3 de agosto de 2020}}
+*  {{ :intrologica:2019:coloquio-2019.pdf | Coloquio }}
 * {{ :intrologica:2019_ilc_-_notas_parcial_1.pdf |Notas del Primer parcial}}
@@ Línea 19: / Línea 22: @@
 * {{ :intrologica:2019_ilc_-_notas_parcial_2_profes.pdf |Notas del Segundo Parcial - Profesorado}}
+* {{ :intrologica:4_12_2019_ilc.pdf |Notas Examen Final 4 de diciembre de 2019}}
+* {{ :intrologica:2019:final-2019-12-18.pdf | Notas Examen Final 4 de diciembre de 2019}}
 ===== Generalidades =====
@@ Línea 54: / Línea 60: @@
 Parte III: Lenguajes Regulares y Autómatas
   * {{ :intrologica:2019:teorico-1.pdf | Autómatas Finitos Deterministas }}
-  * {{ :intrologica:2019:teorico-2.pdf | Autómatas Finitos Deterministas }} Determinización y eliminación de transiciones ε.
+  * {{ :intrologica:2019:teorico-2.pdf | Autómatas Finitos No Deterministas }} Determinización y eliminación de transiciones ε.
+  * {{ :intrologica:2019:teorico-3.pdf | Expresiones Regulares }} Junto con Pumping Lemma.
+  * {{ :intrologica:2019:teorico-4.pdf | Expresiones Regulares }} Equivalencia entre AFD y ER.
+  * {{ :intrologica:2019:teorico-5.pdf | Gramáticas Libres de Contexto}}
 ===== Prácticos 2019 =====
@@ Línea 76: / Línea 85: @@
   * {{ :intrologica:2019:b_5.pdf |Práctico B.5}} Completitud: conjuntos consistentes maximales, cerrados por derivaciones.
+Parte III: Lenguajes Regulares y Lenguajes Libres de Contexto
+  * {{ :intrologica:2019:practico-gramaticas.pdf | Gramáticas Libres de Contexto }}
 ===== Clases 2018 =====
@@ Línea 81: / 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/09.   Isomorfismo de reticulados. Reticulados acotados y complementados. Problema de la existencia de más de un complemento: reticulados M3 y N5. Desigualdades distributivas. Reticulados distributivos.
   * Viernes 19/09. Isomorfismo de reticulados. Reticulados acotados y complementados. Problema de la existencia de más de un complemento: reticulados M3 y N5. Desigualdades distributivas. Reticulados distributivos. Caracterización de los reticulados distributivos.
@@ Línea 422: / Línea 433: @@
 {{:intrologica:5_3.pdf|Ejemplo de examen}}
+{{ :intrologica:2019:06_12_16.pdf |Otro}}
+{{ :intrologica:2019:examen-2015-12-16.pdf |Otro}}
+{{ :intrologica:2019:final-2018-12-17.pdf |Otro}}