2008 Primavera
- Introducción a la Lógica (ver también la guía docente)
- Ir a grupo 20, grupo 60, grupo 70
- Consultas: miércoles de 4 a 6 de la tarde, despacho Omega 322
- GRUPO 70 (lunes 19-21, martes 18-20, miércoles 15-16) A5E02
- 19 Jun 2008: EXAMEN FINAL: 3-6pm.
- 28 May 2008: Ejercicios Prolog: 6.10, 6.12, 6.13, 6.14.
- 27 May 2008: Problemas de examen: 3 de Prolog del final 2006-2, 2 de LPO del final 2007-2.
- 26 May 2008: Problemas prolog de examen: final 2007-1, final 2007-2.
- 21 May 2008: Ejemplo de corte: min. Ejercicios 6.4, 6.7.
- 20 May 2008: Operador de corte. Ejercicio 6.5. Ejemplos: mcm, cifras, factores_primos.
- 19 May 2008: Prolog: recursividad e inducción. Aspectos extra-lógicos: aritmética, entrada-salida. Ejercicios 6.2, 6.3, 6.6, 6.11.
- 14 May 2008: Prolog: unificación y listas. GNU Prolog: código, manual y más información aquí.
- 13 May 2008: Programación lógica: bases de datos deductivas, programas lógicos, cálculo de respuestas, completitud del cálculo de respuestas. Prolog: resolución SLD.
- 7 May 2008: Resolución de ejercicios de exámenes, lo que dé tiempo de: 1 y 2 de de parte de LPO de final 2006 o final 2007-1 o final 2007-2.
- 6 May 2008: Resolución de ejercicios de exámenes, lo que dé tiempo de: 1 y 2 de de parte de LPO de final 2006 o final 2007-1 o final 2007-2.
3 de Prolog del final 2006-2. - 5 May 2008: Repaso de temas 4 y 5. Ejercicios 4.27, 4.28 de LPOI y 4.23 (a) de LPO.
- 30 Abr 2008: Resolución: 5.7.
- 28 Abr 2008: Unificación: terminación. Resolución y factorización: ejercicios 5.5, 5.6, 5.9.
- 23 Abr 2008: Repaso unificación.
- 22 Abr 2008: Unificación: ejercicios 5.3, 5.4
- 21 Abr 2008: Forma clausal: ejercicios 5.1, 5.2.
- 16 Abr 2008: Repaso lógica proposicional: 2.30, 3.30.
- 15 Abr 2008: Formalización de lenguaje natural en lógica de 1er orden y ejercicio 4.38.
- 14 Abr 2008: Equivalencias lógicas en lógica de primer orden: ejercicios 4.13, 4.15, 4.16, 4.17.
- 9 Abr 2008: Comentarios y corrección de simulacro examen.
- 8 Abr 2008: Ejercicios LPO: 4.3, 4.8, 4.12. Ejercicio LPOI: 4.25
- 7 Abr 2008: Repaso rápido a sintaxis y semántica de LPO; evaluación de términos: ejercicio 4.1; fórmulas cerradas; evaluación de fórmulas cerradas y definiciones (tautología, satisfactibilidad, consecuencia lógica, equivalencia lógica); lógica de primer orden con igualdad.
- 2 Abr 2008: Lógica de 1er orden: sintaxis (términos, átomos, fórmulas), interpretación, asignación, satisfacción.
- 1 Abr 2008: Repaso símbolos (lógica proposicional, demostraciones matemáticas). Ejercicios representativos de examen: 1abc del final enero 2007, 1d del final junio 2007, 1 del segundo parcial de abril 2007, 2 del final enero 2008.
- 31 Mar 2008: Repaso resolución y resolución unitaria: 3.16, 3.22, 3.23, 3.17, 3.24, 3.25.
- 26 Mar 2008: Ejercicios de inducción: 2 del examen 2006 otoño parcial A, 2 del examen 2006 otoño B, 2 del examen 2006 otoño parcial D. Formalización: ejercicio 3 del examen parcial de noviembre 2007.
- 25 Mar 2008: SAT; Reducción de Sudoku a SAT; ejercicio 3.29; DPLL; ejercicio 3.35.
- 12 Mar 2008: Ejercicios 2.39, 3.15.
- 11 Mar 2008: Reglas deductivas, clausura, corrección y completitud de una regla deductiva; resolución. Ejercicios 3.14, 3.18. Demostraciones por inducción; ejercicios 2.11 y 1 del examen final del año pasado.
- 10 Mar 2008: Repaso nomenclatura (cláusulas, Horn, cláusula vacía..); problemas 3.4, 3.5 y 3.6. Nociones informales de decibilidad y complejidad: problema, programa, problema decisional, problema decidible, coste de programa y de problemas, complejidad de un problema; ejercicio 3.12.
- 5 Mar 2008: Problema 2.24; ejercicio 1 de examen parcial otoño 2007.
- 4 Mar 2008: Representación en CNF y DNF de cualquier fórmula a partir de tablas de verdad (ejercicio 3.1); transformación sistemática de fórmulas a su representación en CNF o DNF (ejercicio 3.2); ejercicio 2.33.
- 3 Mar 2008: Estrategias de demostración (implicación, doble implicación, contrarrecíproco, demostración por casos); demostración detallada del ejercicio 2.25 y 2.8.
- 27 Feb 2008: Problemas 2.7 y 2.25, pendiente demostración "detallada" del 2.25.
- 26 Feb 2008: Problemas 2.16, 2.17; problemas 2.10, 2.13, 2.12 utilizando equivalencias y LS; funciones booleanas (prob 2.27, 2.28); formas normales; cláusulas de Horn (nota 3 de los apuntes); queda pendiente la demostración del problema 3.1.
- 25 Feb 2008: Equivalencias lógicas (ver prob. 2.18); propiedades de la equivalencia lógica (prob. 2.21); subfórmulas (prob. 2.22); lema de sustitución "LS" (prob. 2.23).
- 20 Feb 2008: Problemas 2.3 -- 2.7, 2.10.
- 19 Feb 2008: Definición de lógica proposicional: sintaxis (conectivas lógicas, fórmulas), semántica (interpretación, modelo, eval, satisfacción), satisfactibilidad, SAT, tautología, consecuencia lógica, equivalencia lógica. Teoría completa y problemas 2.1 y 2.2 (nota 2 de los apuntes)
- 18 Feb 2008: Presentación de la asignatura; leer nota 0 y nota 1 de los apuntes. Es importante que dominéis los conceptos de la nota 0.
- GRUPO 20 (lunes 12-14, jueves 12-14, viernes 10-11) A6001
- 19 Jun 2008: EXAMEN FINAL: 3-6pm.
- 30 May 2008: Problema de examen: 3 de Prolog del final 2006-2. Si da tiempo, ejercicios 6.10, 6.12, 6.13.
- 29 May 2008: Resolución de problemas de examen: 2 del parcial 2006-2, 1 de la 2a parte del final 2007-1 y 2 de la 2a parte del final 2007-2.
- 26 May 2008: Problemas prolog de examen: final 2007-1, final 2007-2. Ejercicios 6.8, 6.9.
- 23 May 2008: Ejemplos: cifras. Ejercicios 6.4, 6.7.
- 22 May 2008: Aspectos extra-lógicos: entrada-salida, operador de corte. Ejercicio 6.5. Ejemplos: min, mcm.
- 19 May 2008: Prolog: recursividad e inducción. Aspectos extra-lógicos: aritmética. Ejercicios 6.2, 6.3, 6.6, 6.11.
- 16 May 2008: Prolog: unificación y listas. Prolog e inducción.
- 15 May 2008: Programación lógica: bases de datos deductivas, programas lógicos, cálculo de respuestas, completitud del cálculo de respuestas. Prolog: resolución SLD. GNU Prolog: código, manual y más información aquí.
- 8 May 2008: Resolución de ejercicios de exámenes, lo que dé tiempo de: 1 y 2 de de parte de LPO de final 2006 o final 2007-1 o final 2007-2.
- 5 May 2008: Repaso de temas 4 y 5. Ejercicios 4.27, 4.28 de LPOI y 4.23 (a) de LPO.
- 29 Abr 2008: Resolución: 5.7.
- 28 Abr 2008: Resolución y factorización: ejercicios 5.5, 5.6, 5.9.
- 25 Abr 2008: Unificación: mgu, terminación, corrección y otras propiedades.
- 24 Abr 2008: Sustitución, unificación: algoritmo. Ejercicios 5.3, 5.4.
- 21 Abr 2008: Forma clausal: ejercicios 5.1, 5.2.
- 14 Abr 2008: Formalización de lenguaje natural en lógica de 1er orden y ejercicio 4.38.
- 11 Abr 2008: Equivalencias lógicas en lógica de primer orden: ejercicios 4.13, 4.15, 4.16.
- 10 Abr 2008: Ejercicios LPO: 4.3, 4.8, 4.12. Ejercicios LPOI: 4.25, 4.30
- 7 Abr 2008: Repaso rápido a sintaxis y semántica de LPO; evaluación de términos: ejercicio 4.1; fórmulas cerradas; evaluación de fórmulas cerradas y definiciones (tautología, satisfactibilidad, consecuencia lógica, equivalencia lógica); lógica de primer orden con igualdad.
- 4 Abr 2008: Lógica de 1er orden: sintaxis (términos, átomos, fórmulas), interpretación, asignación, satisfacción.
- GRUPO 60 (lunes 17-19, jueves 19-21, viernes 17-18) A5E01
- 19 Jun 2008: EXAMEN FINAL: 3-6pm.
- 30 May 2008: Problema de examen: 3 de Prolog del final 2006-2. Si da tiempo, ejercicios 6.10, 6.12, 6.13.
- 29 May 2008: Resolución de problemas de examen: 2 del parcial 2006-2, 1 de la 2a parte del final 2007-1 y 2 de la 2a parte del final 2007-2.
- 26 May 2008: Problemas prolog de examen: final 2007-1, final 2007-2.
- 23 May 2008: Ejemplo: mcm. Ejercicios 6.4, 6.5, 6.7.
- 22 May 2008: Aspectos extra-lógicos: entrada-salida, operador de corte. Ejemplos: min, cifras.
- 19 May 2008: Prolog: recursividad e inducción. Aspectos extra-lógicos: aritmética. Ejercicios 6.2, 6.3, 6.6, 6.11.
- 16 May 2008: Ejemplos Prolog: unificación y listas.
- 15 May 2008: Programación lógica: bases de datos deductivas, programas lógicos, cálculo de respuestas, completitud del cálculo de respuestas. Prolog: resolución SLD. GNU Prolog: código, manual y más información aquí.