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 los enunciados de los ejercicios del curso de Lógica informática (2010–11).

En cada tema los ejercicios se han dividido en tres grupos:

• Ejercicios resueltos: son ejercicios comentados en las clases cuyas soluciones se encuentran en las transparencias y en Temas de "Lógica informática"(2010-11).
• Ejercicios propuestos.
• Ejercicios de exámenes: son ejercicios de exámenes de cursos anteriores y sus soluciones se encuentran en Soluciones de exámenes de Lógica informática.