Ciencias de la Computación (plan 2013) 2022-1

Cuarto Semestre, Lógica Computacional

Sinopsis:

Este curso proporciona una introducción a la Lógica Computacional, es decir a los métodos y conceptos de la Lógica Matemática que resultan relevantes para las Ciencias de la Computación. Al final del curso el alumno estará preparado para usar la lógica como una herramienta formal de apoyo en diversas áreas de las ciencias de la computación.

Logística:

El curso es mayormente autogestivo, proporcionando notas de clase y otros materiales que deberán revisar antes de las sesiones síncronas. Los detalles se darán a conocer el primer día de clases. En el laboratorio se utilizarán los lenguajes Haskell y Prolog, así como el asistente de pruebas Coq.

Temario:

1. Lógica proposicional: recordatorio, formas normales, resolución binaria, el problema SAT, el algoritmo DPLL (implementación de un solucionador SAT simple)
2. Lógica de predicados de primer orden: aspectos sintácticos (ligado y substitución), semántica denotativa, consecuencia lógica, especificación formal (definiciones con predicados y reglas, análisis de argumentos lógicos, construcción de modelos contraejemplo).
3. El paradigma de programación lógica: formas normales, unificación, resolución binaria y fundamentos de PROLOG.
4. Sistemas deductivos: lógica ecuacional, deducción natural , cálculo de secuentes (búsqueda y desarrollo de pruebas en Coq)

La sesión introductoria al curso será el lunes 20 de septiembre. Para cualquier duda sobre el curso pueden contactarme a la dirección favio@ciencias.unam.mx

El curso se llevará a cabo mediante Google Meet, en la siguiente liga: https://meet.google.com/yrc-qruk-qye

La liga a la página del curso es la siguiente: https://sites.google.com/ciencias.unam.mx/logica2022-1/inicio

Si tienen problemas para entrar a la primera sesión verifiquen que lo están haciendo desde su cuenta ciencias, y de no resolverse avísenme de inmediato por correo el lunes 20.