Contenido:
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.
Enlace: