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 las soluciones a exámenes sobre dicha asignatura impartida en el Dpto. de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla durante los años 2000 - 2004.

En ellos se analizan y solucionan ejercicios sobre tautología y semántica lógica, resultando un documento muy interesante para los estudiantes e interesado en este área de la informática computacional.