====== Introducción a la Lógica y la Computación ====== * Cursado: Segundo cuatrimestre de 2019 * Profesores: Mariana Badano, Héctor Gramaglia, Miguel Pagano * Ayudantes: María Clara Gorín, Andrés Saravia y Matías Steinberg. {{: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}} * {{ :intrologica:2019_ilc_-_notas_parcial_1_profes.pdf |Notas del Primer Parcial - Profesorado}} * {{ :intrologica:2019_ilc_-_notas_parcial_2.pdf |Notas del Segundo parcial}} * {{ :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 ===== * La materia se divide en tres partes, que corresponden con los tres grandes ejes temáticos. * Parte 1: Estructuras Ordenadas. A cargo de Héctor Gramaglia. * Parte 2: Lógica. A cargo de Mariana Badano. * Parte 3: Lenguajes y Autómatas. A cargo de Miguel Pagano. * Primer Parcial: 18 de setiembre * Segundo Parcial: 18 de octubre * Recuperatorio: 19 de noviembre * Coloquio: 19 de noviembre * Promoción: obteniendo al menos 6 en cada uno de los parciales, con promedio al menos 7 y aprobando el coloquio de la parte 3. * Regularidad: aprobando 2 parciales con al menos 4. ===== Apuntes ===== * {{:intrologica:orden2013.pdf| Apunte de la primera parte: Estructuras de orden}} Autores: Alejandro Tiraboschi, Héctor Gramaglia * {{:intrologica:lema_3_1.pdf|Lema 3.1}} Corrección en la demostración del Lema 3.1 del capítulo 2 del apunte de la primera parte. * {{:intrologica:logica.pdf| Apunte de la segunda parte: Lógica Proposicional}} Autor: Pedro Sánchez Terraf * {{:intrologica:2017:automatas-2.pdf|Apunte de la tercera parte: Lenguajes y Automatas (2015)}} Autor: Raúl Fervari y Ezequiel Orbe * {{:intrologica:automatas2012.pdf|Apunte de la tercera parte: Lenguajes y Automatas (2012)}} Autor: Alejandro Tiraboschi, Pedro Sánchez Terraf ===== Clases 2019 ===== Parte I: Estructuras Ordenadas {{ :intrologica:clases_wiki.pdf |Clases completas}} Parte II: Lógica Proposicional {{ :intrologica:teoricolp2019.pdf |Clases completas}} Parte III: Lenguajes Regulares y Autómatas * {{ :intrologica:2019:teorico-1.pdf | Autómatas Finitos Deterministas }} * {{ :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 ===== Parte I: Estructuras Ordenadas * {{ :intrologica:practico.a.1.2019.pdf |Práctico A.1}} Relaciones de equivalencia * {{ :intrologica:practico.a.2.2019.pdf |Práctico A.2}} Relaciones de orden. Minimales, maximales, ínfimos y supremos. * {{ :intrologica:practico.a.3.2019.pdf |Práctico A.3}} Isomorfismo de poset y posets reticulados. * {{ :intrologica:practico.a.4.2019.pdf |Práctico A.4}} Reticulados, subreticulados, complementos. * {{ :intrologica:practico.a.5.2019.pdf |Práctico A.5}} Reticulados complementados y distributivos. * {{ :intrologica:practico.a.6.2019.pdf |Práctico A.6}} Subreticulados. Álgebras de Boole. * {{ :intrologica:practico.a.7.2019.pdf |Práctico A.7}} Teorema de Birkhoff. Reticulado producto. * {{ :intrologica:practicorepaso2019.pdf |Práctico complementario}} Parte II: Lógica Proposicional * {{ :intrologica:2019:b_1.pdf |Práctico B.1}} Sintaxis y semántica * {{ :intrologica:2019:b_2.pdf |Práctico B.2}} Semántica * {{ :intrologica:2019:b_3.pdf |Práctico B.3}} Semántica, deducción y derivaciones. * {{ :intrologica:2019:b_4.pdf |Práctico B.4}} Derivaciones y teorema de corrección. * {{ :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 ===== Parte I: Estructuras Ordenadas {{ :intrologica:clases_wiki.pdf |Clases completas}} * 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. 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. * Miércoles 26. Álgebras de Boole. Leyes de De Morgan. Problema: ¿todas las álgebras de Boole son álgebras de un conjunto? Teorema de Representación para las Álgebras de Boole. * Viernes 28. Reticulado de subconjuntos decrecientes de un poset. Teorema de Birkhoff. Caso Álgebras de Boole. Parte III: Autómatas y Lenguajes * Miércoles 31/10. Autómatas Finitos Determinísticos (DFA) {{ :intrologica:2018:class-1-slides-h.pdf |Slides}} * Viernes 2/11. Repaso de DFA y Autómatas Finitos No-Determinísticos (AFN).{{ :intrologica:2018:teorico-1.pdf |Filminas}} * Viernes 9/11. Autómatas Finitos No-determinísticos y NFA con transiciones-ε {{ :intrologica:2018:teorico-2.pdf | Filminas}} * Miércoles 14/11. Autómatas Finitos No-determinísticos con transiciones-ε, Pumping Lemma y Expresiones Regulares. {{ :intrologica:2018:teorico-3.pdf |Filminas}} * Viernes 16/11. Paro. * Miércoles 21/11. Equivalencia entre Autómatas Finitos y Expresiones Regulares. {{ :intrologica:2018:teorico-4.pdf |Filminas}} * Viernes 23/11. {{ :intrologica:2018:teorico-5.pdf |Filminas}} Gramáticas libres de contexto. ===== Prácticos 2018 ===== Parte I: Estructuras Ordenadas * Miércoles 12/09. {{ :intrologica:2018:practico.a.1.pdf | Práctico A.1}} Relaciones de equivalencia. * Viernes 14/09. {{ :intrologica:2018:practico.a.2.pdf | Práctico A.2}} Posets. * Viernes 14/09. {{ :intrologica:2018:practico.a.3.pdf | Práctico A.3}} Isomorfismos de posets. Posets reticulados. * Miércoles 19/09. {{ :intrologica:2018:practico.a.4.pdf | Práctico A.4}} Reticulados. * Viernes 21/09. {{ :intrologica:2018:practico.a.5.pdf | Práctico A.5}} Reticulados complementados y distributivos. * Miércoles 26/09. {{ :intrologica:2018:practico.a.6.pdf | Práctico A.6}} Álgebras de Boole. * Viernes 28/09. {{ :intrologica:2018:practico.a.7.pdf | Práctico A.7}} Teorema de Birkhoff para reticulados distributivos. Parte II: Lógica Proposicional * Miércoles 10/10. {{ :intrologica:b_1.pdf |Práctico B.1}} Sintaxis y Semántica. * Viernes 12/10. {{ :intrologica:b_2.pdf |Práctico B.2}} Sintaxis y Semántica. * Miércoles 17/10. {{ :intrologica:b_3.pdf |Práctico B.3}} Semántica, deducción y derivación. * {{ :intrologica:b_4.pdf |Práctico B.4}} Deducción y derivaciones. * {{ :intrologica:b_5.pdf |Práctico B.5}} Conjuntos Consistentes; completitud y corrección. Parte III: Autómatas y Lenguajes * Miércoles 31/10. {{ :intrologica:2018:practico.C.1.pdf |Práctico C.1}} Autómatas Finitos Determinísticos (DFA). * {{ :intrologica:practico.c.2bis.pdf |Práctico C.2}} NFA y Determinización. * {{ :intrologica:practico.c.3.pdf |Práctico C.3}} Expresiones Regulares. * {{ :intrologica:2018:practico.c.5.pdf |Práctico C.4}} Decidir si ciertos lenguajes son regulares o no. ===== Clases 2017 ===== Parte I: Estructuras Ordenadas * {{:intrologica:clase_8_16_wiki.pdf|Clase del 16/8}} Concepto de Relación. Relaciones de equivalencia y de orden. Caracterización de las relaciones de equivalencia. * {{:intrologica:clase_8_18_wiki.pdf|Clase del 18/8}} 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. * {{:intrologica:clase_8_23_wiki.pdf|Clase del 23/8}} Poset reticulado. Reticulado como estructura algebraica. Reticulado de divisores. Reticulado de subconjuntos. Isomorfismo de reticulados. * {{:intrologica:clase_8_25_wiki.pdf|Clase del 25/8}} Reticulados acotados y complementados. Problema de la existencia de más de un complemento: reticulados M3 y N5. Desigualdades distributivas. Reticulados distributivos. * {{:intrologica:clase_8_30_wiki.pdf|Clase del 30/8}} Caracterización de los reticulados distributivos. Álgebras de Boole. Leyes de De Morgan. Problema: ¿todas las álgebras de Boole son álgebras de un conjunto? * {{:intrologica:clase_9_1_wiki.pdf|Clase del 1/9}} Teorema de Representación para las Álgebras de Boole. * {{:intrologica:clase_9_6_wiki.pdf|Clase del 6/9}} Reticulado de subconjuntos decrecientes de un poset. Teorema de Birkhoff. Caso Álgebras de Boole. * {{:intrologica:clase_9_8_wiki.pdf|Clase del 8/9}} Construcción de un Álgebra de Boole infinita que no es Álgebra de conjuntos. Propiedades de los reticulados Dn. Parte II: Lógica Proposicional * {{:intrologica:2017:teorico-b-1.pdf|Clase del 13/9}} Introducción a lógica proposicional. Sintaxis. * {{:intrologica:2017:teorico-b-2.pdf|Clase del 27/9}} Semántica de lógica proposicional. Completitud funcional. Noción de modelo. * {{:intrologica:2017:teorico-b-3.pdf|Clase del 29/9}} Derivaciones con conjunción, implicación y ⊥. * {{:intrologica:2017:teorico-b-4.pdf|Clase del 4/10}} Derivaciones con Reducción al absurdo. Repaso. * {{:intrologica:2017:teorico-b-5.pdf|Clase del 6/10}} Derivaciones con negación, doble-implicación y disyunción. Conjunto de derivaciones. * {{:intrologica:2017:teorico-b-6.pdf|Clase del 11/10}} (Meta-)Teorema de corrección. * {{:intrologica:2017:teorico-b-7.pdf|Clases del 13/10 y 18/10}} (Meta-)Teorema de completitud: consistentes y consistentes maximales. Parte III: Lenguajes y Autómatas * {{:intrologica:2017/class-1-slides-h.pdf|Clase del 20/10}} Autómatas Finitos Determinísticos. * {{:intrologica:2017/class-2-slides-h.pdf|Clase del 25/10 y 1/11}} Autómatas Finitos No Determinísticos. * {{:intrologica:2017/class-3-slides-h.pdf|Clase del 01/11 y 03/11}} Expresiones Regulares. * {{:intrologica:2017/clase1-handout.pdf|Clase del 08/11}} Gramáticas Regulares. * {{:intrologica:2017/clase2-handout.pdf|Clase del 10/11}} Pumping Lemma - Gramáticas Libres de Contexto. * {{:intrologica:2017/clase3-handout.pdf|Clase del 15/11}} Autómatas con Pila. ===== Prácticos 2017 ===== Parte I: Estructuras Ordenadas * {{:intrologica:2017:practico.a.1.pdf|Práctico A.1}} Ejercicios seleccionados del Capítulo 1: Relaciones. * {{:intrologica:2017:practico.a.2.pdf|Práctico A.2}} Ejercicios seleccionados del Capítulo 2: Conjuntos parcialmente ordenados (posets). * {{:intrologica:2017:practico.a.3.pdf|Práctico A.3}} Ejercicios seleccionados de los Capítulos 2 y 3: Isomorfismos de posets. Posets reticulados. * {{:intrologica:2017:practico.a.4.pdf|Práctico A.4}} Ejercicios seleccionados del Capítulo 3: Reticulados. Es un práctico corto, ideal para ponerse al día! * {{:intrologica:2017:practico.a.5.pdf|Práctico A.5}} Ejercicios seleccionados del Capítulo 3: Reticulados con complementos y reticulados distributivos. En esta clase le preguntamos al Estado: ¿Dónde está Santiago Maldonado? {{ :intrologica:2017:donde-esta-santiago-maldonado.jpg?600 |}} * {{:intrologica:2017:practico-a-6.pdf|Práctico A.6}} Ejercicios seleccionados del Capítulo 3: Álgebras de Boole. * {{:intrologica:2017:practico.a.7.pdf|Práctico A.7}} Ejercicios seleccionados del Capítulo 4: Álgebras de Boole, átomos y representación. * {{:intrologica:2017:practico.a.8.pdf|Práctico A.8}} Ejercicios seleccionados del Capítulo 4: Teorema de Birkhoff para reticulados distributivos. * {{:intrologica:practico-a-9.pdf|Práctico A 9}} Práctico de repaso. Parte II: Lógica Proposicional * {{:intrologica:b_1_corregido.pdf|Práctico B 1}} Ejercicios correspondientes a la Sección 1.2 del apunte. Sintaxis. * {{:intrologica:b_2.pdf|Práctico B 2}} Ejercicios correspondientes a la Sección 1.3 del apunte. Semántica * {{:intrologica:b_3.pdf|Práctico B 3}} Ejercicios correspondientes a la Sección 1.4 y 2.1 del apunte. Deducción y derivación. * {{:intrologica:b_4.pdf|Práctico B 4}} Ejercicios correspondientes a la Sección 2.1 del apunte. Más derivación. * {{:intrologica:b_5.pdf|Práctico B 5}} Ejercicios correspondientes a la Sección 2.2-4 del apunte. Parte III: Lenguajes y Autómatas * {{:intrologica:2017:practico.c.1.pdf|Práctico C.1}} Ejercicios seleccionados de la sección 2 del apunte: Autómatas Finitos Determinísticos. * {{:intrologica:2017:practico.c.2.pdf|Práctico C.2}} Ejercicios seleccionados de la sección 3 del apunte: Autómatas Finitos No Determinísticos. * {{:intrologica:2017:practico.c.3.pdf|Práctico C.3}} Ejercicios seleccionados de la sección 3.4 del apunte: Expresiones Regulares. * {{:intrologica:2017:practico.c.4.pdf|Práctico C.4}} Ejercicios seleccionados de la sección 4 del apunte: Gramáticas Regulares. * {{:intrologica:2017:practico.c.5.pdf|Práctico C.5}} Ejercicios seleccionados de las secciones 5.1 y 5.2 del apunte: Pumping Lemma - Gramáticas Libres de Contexto. * {{:intrologica:2017:practico.c.6.pdf|Práctico C.6}} Ejercicios seleccionados de la sección 5.5 del apunte: Autómatas con Pila. ======= Cursado de años anteriores ======= ===== Cursado 2016 ===== ==== Parte I: Estructuras Ordenadas ==== * {{:intrologica:clase_16_8_17.pdf|Clase del 17/8}} Concepto de Relación. Relaciones de equivalencia y de orden. Caracterización de las relaciones de equivalencia. * {{:intrologica:clase_16_8_19.pdf|Clase del 19/8}} 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. * {{:intrologica:clase_16_8_26.pdf|Clase del 26/8}} Poset reticulado. Reticulado como estructura algebraica. Reticulado de divisores. Reticulado de subconjuntos. Isomorfismo de reticulados. * {{:intrologica:clase_16_8_31.pdf|Clase del 31/8}} Reticulados acotados y complementados. Problema de la existencia de más de un complemento: reticulados M3 y N5. Desigualdades distributivas. Reticulados distributivos. * {{:intrologica:clase_16_9_2.pdf|Clase del 2/9}} Caracterización de los reticulados distributivos. Álgebras de Boole. Leyes de De Morgan. Problema: ¿todas las álgebras de Boole son álgebras de un conjunto? * {{:intrologica:clase_16_9_7.pdf|Clase del 7/9}} Teorema de Representación para las Álgebras de Boole. Reticulado de subconjuntos decrecientes de un poset. Teorema de Birkhoff. * {{:intrologica:clase_16_9_9.pdf|Clase del 9/9}} Reticulado de subconjuntos decrecientes de un poset. Teorema de Birkhoff. Caso Álgebras de Boole. * Clase del 14/9 (Ver pdf: Clase del 9/9) Construcción de un Álgebra de Boole infinita que no es Álgebra de conjuntos. Propiedades de los reticulados Dn. ==== Parte II: Lógica Proposicional ==== * {{:intrologica:2016:teorico-b-1.pdf|23 de Septiembre: sintaxis de la lógica proposicional.}} Recursión e inducción en proposiciones. * {{:intrologica:2016:teorico-b-2.pdf|28 de Septiembre: semántica de las proposiciones.}} Asignaciones, validez y consecuencia lógica. * {{:intrologica:2016:teorico-b-3.pdf|5 de Octubre: Deducción natural.}} Reglas para conjunción, implicación y bottom. * {{:intrologica:2016:teorico-b-4.pdf|7 de Octubre: Deducción natural.}} Reducción al absurdo. Definición del conjunto de derivaciones. * {{:intrologica:2016:teorico-b-5.pdf|12 de Octubre: Deducción natural.}} Reglas para disyunción, negación y doble implicación. Esquema de prueba del meta-teorema de corrección. * [[http://adiuc.org.ar/index.php/noticias/133-gremiales/730-paritarias-conadu-adiuc-docentes-universitarios-unc-paro|14 de Octubre: Paro Docente.]] En contra del recorte presupuestario. En defensa del salario docente. * {{:intrologica:2016:teorico-b-6.pdf|19 de Octubre: Teorema de corrección.}} * {{:intrologica:2016:teorico-b-7.pdf|21 de Octubre: Teorema de completitud.}} Consistentes, consistentes maximales. Criterio de consistencia y su vuelta. ==== Parte III: Lenguajes y Autómatas ==== * {{:intrologica:2016/class-1-slides-h.pdf|Clase del 26/10}} Autómatas Finitos Determinísticos. * {{:intrologica:2016/class-2-slides-h.pdf|Clases del 28/10 y 02/11}} Autómatas Finitos No Determinísticos. * {{:intrologica:2016/class-3-slides-h.pdf|Clase del 9/11}} Expresiones Regulares. * {{:intrologica:2016/clase1-handout.pdf|Clase del 11/11}} Gramáticas Regulares. * {{:intrologica:2016/clase2-handout.pdf|Clase del 16/11}} Pumping Lemma - Gramáticas Libres de Contexto. * {{:intrologica:2016/clase3-handout.pdf|Clase del 18/11}} Autómatas con Pila. ===== Prácticos 2016 ===== /* ===== Prácticos 2015 ===== */ ==== Estructuras Ordenadas ==== * {{:intrologica:2016:practico.a.1.pdf|Práctico A.1}} Ejercicios seleccionados del Capítulo 1: Relaciones. * {{:intrologica:2016:practico-a-2.pdf|Práctico A.2}} Ejercicios seleccionados del Capítulo 2: Conjuntos parcialmente ordenados (posets). * {{:intrologica:2016:practico-a-3.pdf|Práctico A.3}} Ejercicios seleccionados de los Capítulos 2 y 3: Isomorfismos de posets. Posets reticulados. * {{:intrologica:2016:practico-a-4.pdf|Práctico A.4}} Ejercicios seleccionados del Capítulo 3: Reticulados. Es un práctico corto, ideal para ponerse al día! * {{:intrologica:2016:practico-a-5.pdf|Práctico A.5}} Ejercicios seleccionados del Capítulo 3: Reticulados con complementos y reticulados distributivos. * {{:intrologica:2016:practico-a-6.pdf|Práctico A.6}} Ejercicios seleccionados del Capítulo 3: Álgebras de Boole. * {{:intrologica:2016:practico-a-7.pdf|Práctico A.7 ½}} Ejercicios seleccionados del Capítulo 4: Álgebras de Boole, átomos y representación. Teorema de Birkhoff para reticulados distributivos. * {{:intrologica:2016:practico-a-9.pdf|Práctico A.9}} Práctico de repaso /* * {{:intrologica:2015:practico-a-8.pdf|Práctico A.8}} Ejercicios seleccionados del Capítulo 4, y otros: */ ==== Lógica Proposicional ==== * {{:intrologica:2016_b_1.pdf|Práctico.B.1}} Proposiciones. Definición de PROP. Definiciones por recursión. * {{:intrologica:2016_b_2.pdf|Práctico.B.2}} Asignaciones. Valor de verdad de una proposición: función semántica. * {{:intrologica:2016_b_3.pdf|Práctico.B.3}} Consecuencia lógica. Derivaciones: el sistema de deducción natural. * {{:intrologica:2016_b_4.pdf|Práctico.B.4}} {{:intrologica:2016_b_4_bis.pdf|Práctico.B.4.bis}} Derivaciones. Regla RAA. * {{:intrologica:2016:practico.b.4.pdf|Práctico.B.5}}. Conjuntos consistentes (maximales). Corrección y Completitud. (Es el práctico 4 del año pasado, está bien así). ==== Lenguajes y Autómatas ==== * {{:intrologica:2016/practico.C.1.pdf|Práctico C.1}} Autómatas Finitos Determinísticos * {{:intrologica:2016/practico.C.2.pdf|Práctico C.2}} Autómatas Finitos No Determinísticos * {{:intrologica:2016/practico.C.3.pdf|Práctico C.3}} Expresiones Regulares * {{:intrologica:2016/practico.C.4.pdf|Práctico C.4}} Gramáticas Regulares * {{:intrologica:2016/practico.C.5.pdf|Práctico C.5}} Pumping Lemma - Gramáticas Libres de Contexto * {{:intrologica:2016/practico.C.6.pdf|Práctico C.6}} Autómatas con Pila ===== Notas de Parciales ===== * {{:intrologica:notas_primer_parcial_2016.pdf|Notas del Parcial 1}} * {{:intrologica:2016/2-parcial.pdf|Notas del Parcial 2}} === Notas de Final 16/2/2017 === |Legajo: 34747622|9 (nueve)| |Legajo: 37225056|7 (siete)| |Legajo: 37517946|No Aprobado| |Legajo: 32137481|10 (diez)| |Legajo: 34294939|5 (cinco)| |Legajo: 38179094|4 (cuatro)| === Notas de Final 20/12/2016 === |39622581|8| |37732044|4| |36590153|7| |39446903|3| |38332794|6| |29162818|7| |39935654|3| |94340039|6| |38330085|5| |40248899|2| |38179094|3| |38503398|5| |38409471|6| |36433272|5| === Notas de Final 6/12/2016 === |35817100| 7 | |40502555| 5 | |37732044| NA | |36925612| 4 | |29162818| NA | |40685211| 4 | |29609883| 6 | |34689323| 7 | |34689323| NA | === Notas de Recuperatorio 1 === |37189870| 3 | |35817100| 9 | |40502555| 5 | === Notas de Recuperatorio 2 === | 39421350 | 4 | | 33894712 | 6 | | 37732044 | 7 | | 36985795 | 6 | -------------------------------------------------------------------- ===== Clases 2015 ===== ==== Parte I: Estructuras Ordenadas ==== * {{:intrologica:clase_8_12.pdf|Filminas de la clase del 12/8}} * {{:intrologica:2015:clase_8_14.pdf|Filminas de la clase del 14/8}} * {{:intrologica:clase_8_19.pdf|Filminas de la clase del 19/8}} * {{:intrologica:clase_8_21.pdf|Filminas de la clase del 21/8}} * {{:intrologica:clase_8_26.pdf|Filminas de la clase del 26/8}} * {{:intrologica:clase_8_28.pdf|Filminas de la clase del 28/8}} * {{:intrologica:clase_9_2y4.pdf|Filminas de las clases 2/9 y 4/9}} /* * {{:intrologica:8_13.pdf|Filminas de la clase del 13/8}} {{:intrologica:130914clase.pdf|Resumen de la clase del 13/8}} * {{:intrologica:clase_8_15.pdf|Filminas de la clase del 15/8}} {{:intrologica:130916clase.pdf|Resumen de la clase del 15/8}} * {{:intrologica:clase_8_20.pdf|Filminas de la clase del 20/8}} {{:intrologica:130821clase.pdf|Resumen de la clase del 20/8}} * {{:intrologica:clase_8_22.pdf|Filminas de la clase del 22/8}} {{:intrologica:130823clase.pdf|Resumen de la clase del 22/8}} * {{:intrologica:clase_8_27.pdf|Filminas de la clase del 27/8}} {{:intrologica:130828clase.pdf|Resumen de la clase del 27/8}} * {{:intrologica:clase_8_29.pdf|Filminas de la clase del 29/8}} {{:intrologica:130830clase.pdf|Resumen de la clase del 29/8}} * {{:intrologica:clase_9_3.pdf|Filminas de la clase del 3/9}} * {{:intrologica:clase_9_5.pdf|Filminas de las clases del 5/9 y 10/9}} */ ==== Parte II: Lógica Proposicional ==== * {{:intrologica:2015:teorico-b-1.pdf|Clase del 9/9}} Sintaxis de la lógica proposicional: recursión e inducción en fórmulas. * {{:intrologica:2015:teorico-b-2.pdf|Clase del 16/9}} Semántica de la lógica proposicional. * {{:intrologica:2015:teorico-b-3.pdf|Clase del 18/9}} Sistema deductivo para la lógica proposicional: reglas de conjunción, implicación y ⊥. * {{:intrologica:2015:teorico-b-4.pdf|Clase del 23/9}} Regla de deducción para la reducción al absurdo. El conjunto de derivaciones y manipulación de derivación. * {{:intrologica:2015:teorico-b-5.pdf|Clase del 2/10}} Regla de deducción para la disyunción, la negación y la doble-implicación. Adelanto de corrección y completitud. * {{:intrologica:teorico-b-6.pdf|Clase del 7/10}} Teorema de Corrección. * {{:intrologica:2015:teorico-b-7.pdf|Clases del 9/10 y 14/10}} Conjuntos consistentes, consistentes maximales; existencia de valuación para ellos. Teorema de completitud. ==== Parte III: Lenguajes y Autómatas ==== * {{:intrologica:2015:class-1-handout-2015.pdf|Clase del 16/10}} Autómatas Finitos Determinísticos. * {{:intrologica:2015:class-2-handout-2015.pdf|Clases del 21/10 y 23/10}} Autómatas Finitos No Determinísticos. * {{:intrologica:2015:class-3-handout-2015.pdf|Clase del 28/10}} Expresiones Regulares. * {{:intrologica:2015:clase1-handout.pdf|Clase del 04/11}} Gramáticas Regulares. * {{:intrologica:2015:clase2-handout.pdf|Clase del 06/11}} Pumping Lemma y Gramáticas Libre de Contexto. * {{:intrologica:2015:clase3-handout.pdf|Clase del 11/11}} Autómatas con Pila. ===== Prácticos 2015 ===== /* ===== Prácticos 2015 ===== */ ==== Estructuras Ordenadas ==== * {{:intrologica:2015:practico-a-1.pdf|Práctico A.1}} Ejercicios seleccionados del Capítulo 1: Relaciones. * {{:intrologica:2015:practico-a-2.pdf|Práctico A.2}} Ejercicios seleccionados del Capítulo 2: Conjuntos parcialmente ordenados (posets). * {{:intrologica:2015:practico-a-3.pdf|Práctico A.3}} Ejercicios seleccionados de los Capítulos 2 y 3: Isomorfismos de posets. Posets reticulados. * {{:intrologica:2015:practico-a-4.pdf|Práctico A.4}} Ejercicios seleccionados del Capítulo 3: Reticulados. Es un práctico corto, ideal para ponerse al día! * {{:intrologica:2015:practico-a-5.pdf|Práctico A.5}} Ejercicios seleccionados del Capítulo 3: Reticulados con complementos y reticulados distributivos. * {{:intrologica:2015:practico-a-6.pdf|Práctico A.6}} Ejercicios seleccionados del Capítulo 3: Álgebras de Boole. * {{:intrologica:2015:practico-a-7.pdf|Práctico A.7}} Ejercicios seleccionados del Capítulo 4: Álgebras de Boole, átomos y representación. * {{:intrologica:2015:practico-a-8.pdf|Práctico A.8}} Ejercicios seleccionados del Capítulo 4, y otros: Teorema de Birkhoff. * {{:intrologica:practicorepaso.pdf|Práctico A.9}} Práctico de repaso ==== Lógica Proposicional ==== * {{:intrologica:practico.b.1.pdf|Práctico B.1}} Sintaxis y semántica * {{:intrologica:practico.b.2.pdf|Práctico B.2}} Semántica, deducción y derivación * {{:intrologica:practico.b.3.pdf|Práctico B.3}} Deducción Natural (Parte II) * {{:intrologica:practico.b.4.pdf|Práctico B.4}} Conjuntos consistentes ==== Lenguajes y Autómatas ==== * {{:intrologica:practico.c.1.pdf|Práctico C.1}} Autómatas Finitos Determinísticos * {{:intrologica:2015/practico.c.2.pdf|Práctico C.2}} Autómatas Finitos No Determinísticos * {{:intrologica:2015/practico.C.3.pdf|Práctico C.3}} Expresiones Regulares y Gramáticas Regulares * {{:intrologica:2015/practico.C.4.pdf|Práctico C.4}} Pumping Lemma - Gramáticas Libres de Contexto ===== Temas por clase 2013 ===== * Parte A: Relaciones de orden * {{:intrologica:130914clase.pdf|Clase 14/08/2013}} El concepto de relación. Propiedades de las relaciones. Relaciones de orden y de equivalencia. Relaciones de equivalencia y particiones. * {{:intrologica:130916clase.pdf|Clase 16/08/2013}} Conjuntos Parcialmente Ordenados (posets). Diagramas de Hasse. Elementos maximales, minimales, máximos y mínimos. Supremos e ínfimos. Isomorfismos de posets. * {{:intrologica:130821clase.pdf|Clase 21/08/2013}} Demostración de propiedades del isomorfismo (Lema 3.1). Definición de poset reticulado. Ejemplos de reticulados. Propiedades ecuacionales de las operaciones supremo e ínfimo. * {{:intrologica:130823clase.pdf| Clase 23/08/2013}} Reticulado como como poset y como estructura algebraica (modelo del TAD Reticulado). Isomorfismo de reticulados (como poset y como estructuras algebraicas). * {{:intrologica:130828clase.pdf|Clase 28/08/2013}} Reticulados acotados. Complemento y reticulados complementados. Distributividad y unicidad del complemento. Criterios para analizar distributividad. * {{:intrologica:130830clase.pdf|Clase 30/08/2013}} Álgebras de Boole (AB). ¿Cuándo Dn es un AB? Isomorfismo de AB. Iso de posets implica iso de AB. Leyes de De Morgan. Teorema de representación: toda AB finita es un álgebra de conjuntos. * {{:intrologica:130904clase.pdf|Clase 04/09/2013}} Teorema de representación: toda AB finita es un álgebra de conjuntos. Isomorfismo entre 2^n y un álgebra de conjuntos. Isomorfismo entre D_n y un álgebra de conjuntos. Reticulado de subconjuntos decrecientes de un poset. * {{:intrologica:130906clase.pdf|Clase 06/09/2013}} Teorema de Birkhoff. Análisis de la distributividad usando el Teorema de Birkhoff. * Parte B: Lógica Proposicional * {{:intrologica:130925clase.pdf|Clase 25/09/2013}} Lógica Proposicional. Sintaxis: símbolos, alfabeto, cadenas de símbolos, ejemplos. Definición inductiva del conjunto de proposiciones como conjunto de cadenas. Ejemplos. Principio de inducción sobre proposiciones. Esquema de recursión. Ejemplos. Variables de una proposición. Subfórmulas de una proposición. Substitución de una variable proposicional por una proposición. Serie de formación de una proposición. Ejemplo de prueba por inducción sobre proposiciones. * {{:intrologica:130927clase.pdf|Clase 27/09/2013}} Semántica. Tablas de verdad, asignación y valuación. Lemas de coincidencia y de sustitución. Validez lógica y consecuencia lógica. Ejemplos. Completitud funcional. * {{:intrologica:131002clase.pdf|Clase 02/10/2013}} Motivación: definición formal de demostración. Convenciones sintácticas: precedencia de operadores. Reglas de inferencia. Reglas de introducción y de eliminación. Reglas de la conjunción. Ejemplos. Reglas del implica. Ejemplos. Regla de bottom. Regla de reduction ad absurdum. Ejemplos. * {{:intrologica:131004clase.pdf|Clase 04/10/2013}} Repaso de las reglas de inferencia. Ejemplos. Definición formal de derivación. Principio de inducción sobre las derivaciones. Esquema de recusión sobre las derivaciones. Ejemplo: definición del conjunto de hipótesis de una derivación. Definición de derivación de una proposición a partir de un conjunto de hipótesis. Definición de teorema. * {{:intrologica:131009clase.pdf|Clase 09/10/2013}} Otros conectivos: reglas de inferencia, derivaciones, recursión, ejemplos. Poset asociado. * {{:intrologica:131011clase.pdf|Clase 11/10/2013}} Recursión e inducción sobre las derivaciones. Definición de la función Hip. Teorema de Corrección para la lógica proposicional. * {{:intrologica:131016clase.pdf|Clase 16/10/2013}} Teorema de completitud. Conjunto consistente e inconsistente, consistente maximal. Propiedades. Prueba de Completitud. * {{:intrologica:131018clase.pdf|Clase 18/10/2013}} PROP como poset. Antisimetría, clases de equivalencia. Buena definición. Distributividad. Complementos. PROP como álgebra de Boole. * [[http://cs.famaf.unc.edu.ar/~mpagano/introlog/Prop.hs|Prop.hs]] Clase 23/10/2013 Repaso: proposiciones, asignaciones, valuaciones, tautologias, consecuencia lógica, derivaciones en Haskell. ===== Parciales ===== ===== Otros ===== {{: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}}