Ciencias de la Computación (plan 2013) 2019-2

Cuarto Semestre, Lógica Computacional

Modalidad: Presencial con actividades en una plataforma de educación a distancia.

[Próximamente, enlace de la plataforma]

Objetivo del curso:

El propósito principal del curso es dar 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 del problema de Síntesis de Programas y de que manera atacar este último utilizando como herramienta base, la Lógica Matemática.

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. Síntesis de programas: Una perspectiva desde la lógica.

Evaluación:

• 4 Proyectos: 70 pts.
• 4 Exámenes: 20 pts.
• Participaciones: 10 pts.

Total: 100 pts.

Tecnologías involucradas:

• Lenguajes de programación: Haskell (https://www.haskell.org/) y Prolog (http://www.swi-prolog.org/).
• Breve introducción al asistente de pruebas Coq (https://coq.inria.fr/).
• Divulgación del sintetizador de programas Sketch (http://people.csail.mit.edu/asolar/).

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.

Para ver una descripción más detallada del curso, revisa el siguiente enlace: https://goo.gl/8cYmHi