LC

Lógica Computacional
Manuel Soto Romero
Actualizado al: 17 de mayo de 2025

🌿 Descripción

Este curso aborda los conceptos fundamentales y avanzados de la Lógica Computacional, proporcionando una sólida base teórica y habilidades prácticas para el análisis, modelado y resolución de problemas en Ciencias de la Computación. A través del estudio de la lógica proposicional, la lógica de predicados y la introducción a la verificación formal, los estudiantes desarrollarán competencias en razonamiento lógico, diseño de algoritmos y uso de herramientas como Coq para la verificación formal. Los casos de estudio prácticos complementan el aprendizaje teórico, conectando la lógica con aplicaciones reales como el diseño de circuitos, la programación lógica y la solución de problemas computacionales complejos.

🎯 Objetivos Generales

1. Comprender los fundamentos de la Lógica Computacional y su relevancia en Ciencias de la Computación.
2. Desarrollar habilidades para analizar y formalizar problemas utilizando lógica proposicional y de predicados.
3. Aplicar técnicas avanzadas de resolución lógica y herramientas de verificación formal para modelar y solucionar problemas computacionales.

📚 Contenido

🔗 Manual de Prácticas de Laboratorio

1. Introducción

• 1.1. ¿Qué es la Lógica Computacional?
• 1.2. Sistemas Lógicos y sus Propiedades

2. Lógica Proposicional

• 2.1. Sintaxis
• 2.2. Semántica
• 2.3. Equivalencia Lógica
• 2.4. Análisis de Argumentos Correctos
• 2.5. Resolución Binaria
• 2.6. Solucionadores SAT

3. Lógica de Predicados

• 3.1. Sintaxis
• 3.2. Semántica
• 3.3. Equivalencia Lógica
• 3.4. Análisis de Argumentos Correctos
• 3.5. Resolución Binaria con Unificación

4. Introducción a la Verificación Formal

Material Adicional

• Resumen de Propiedades de los Sistemas Lógicos
• Equivalencias Básicas en Lógica Proposicional
• Equivalencias Básicas en Lógica de Predicados
• Ejemplo Forma Clausular

📖 Referencias

[1] Ben-Ari, M. (2012). Mathematical Logic for Computer Science (3rd ed.). Springer.

[2] Huth, M., & Ryan, M. (2004). Logic in Computer Science: Modelling and Reasoning about Systems (2nd ed.). Cambridge University Press.

[3] Harrison, J. (2009). Handbook of Practical Logic and Automated Reasoning. Cambridge University Press.

[4] Bertot, Y., & Castéran, P. (2004). Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. Springer.

[5] Pierce, B. C., et al. (2023). Software Foundations (Vol. 1–4). University of Pennsylvania. Disponible en https://softwarefoundations.cis.upenn.edu

[6] Bird, R. (2014). Thinking Functionally with Haskell. Cambridge University Press.

[7] Bramer, M. (2005). Logic Programming with Prolog. Springer.

[8] Fitting, M. (1996). First-Order Logic and Automated Theorem Proving (2nd ed.). Springer.

---

Este trabajo se encuentra licenciado bajo CC BY-NC-ND 4.0