La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.

En el presente volumen se presentan cada uno de los temas más concernientes a la asignatura.

• Panorama de la lógica. Ejemplos de argumentos y formalizaciones
• Sintaxis de la lógica proposicional.
• Semántica de la lógica proposicional.