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

Cuarto Semestre, Lógica Computacional

Modalidad: Virtual

Enlace para la primera reunión:

• Si estás inscrito en el sistema de la facultad, te llegará un correo con el enlace a Google meet para la primera sesión de clase.
• En otro caso, escribir a fernandogamen@ciencias.unam.mx solicitando el acceso al meet.

Objetivo del curso:

Daremos una introducción a la Lógica Matemática desde la perspectiva de Ciencias de la Computación. Presentaremos un panorama general de la lógica proposicional (sintaxis, semántica, decidibilidad), de la lógica de predicados (sintaxis, semántica, especificación, decidibilidad de fragmentos), finalizando en la introducción de alguno de los siguientes tópicos: resolvedores SAT, lógicas temporales o bien asistentes de pruebas.

Contenido:

1. Introducción: Importancia de la Lógica Matemática en las Ciencias de la Computación.
2. Lógica Proposicional.
3. Lógica de Predicados (Lógica de Primer Orden).
4. Sistemas de Deducción.
5. Tópico extra.

Evaluación:

• 1 Proyecto: 60 pts.
• (3 o 4) Tarea-examen: 30 pts.
• (4 o 5) Tareas y prácticas: 10 pts.

Total: 100 pts.

Logística:

• Dispondrán de una página web para revisar material del curso. A parte, se creará un grupo de Telegram para tener una comunicación con nosotros (profesor y ayudantes).
• Por su naturaleza, todas las sesiones (profesor y ayudantes) serán impartidas a través de la plataforma Google Meet.
• El domingo 14 de agosto, les envíaremos el enlace de Google Meet para la primera sesión.

Tecnologías involucradas:

• Sistema Operativo: indistinto.
• Editor de texto: indistinto.
• Lenguajes de programación: Haskell y Prolog.
• Dependiendo del tópico elegido, será alguna de la siguientes opciones:
  • Lógicas temporales: nuXMV
  • Resolvedor SAT: MiniSAT
  • Asistente de prueba: Coq

Bibliografía básica(*):

• Huth, Michael & Ryan, Mark. Logic in Computer Science: Modelling and Reasoning About Systems, 2da. Edición, Cambridge University Press, 2004.
• Ben-Ari, Mordechai. Mathematical Logic for Computer Science, 3ra. Edición, Springer, 2012.
• Miranda Perea, Favio E. et al., Notas para el curso: Lógica Computacional, UNAM, 2017.

(*) El curso se basará en el material mostrado, sin embargo, se utilizarán fuentes adicionales para complementar cada tema.