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

Cuarto Semestre, Lógica Computacional

Lógica Computacional.
Profesor: Miguel Carrillo Barajas.

El curso cubrirá puntos esenciales del temario oficial.

En este curso:
1. Analizaremos definiciones formales de conceptos básicos de Lógica Clásica (Lógica proposicional y Lógica de predicados de primer orden).
2. Se enfocará el aspecto computacional de la Lógica, diferenciando su uso en Matemáticas y en Ciencias de la Computación (CC).
3. La intención final es introducir una variedad de lógicas que es mejor para CC que la Lógica Clásica: Lógica Modal.

Para experimentos de implementación de conceptos formales usaremos Haskell.
También, según el tiempo disponible en el curso, mostraremos el uso básico de otras herramientas formales: NuSMV, Alloy, etc.

Los detalles sobre el temario, método de trabajo y evaluación se discutirán en la primera clase. (si no funciona: ver su buzón de correo)

Miguel Carrillo.