Lógica informática (2014-15)

Este curso ofrece una introducción a los principales conceptos de la lógica proposicional y de la lógica de primer orden. Para ambas, se estudian diversos cálculos y procedimientos de decisión.

Es una asignatura obligatoria de segundo curso del Grado en Ingeniería informática de la Universidad de Sevilla.

Temas

Libros con los temas, ejercicios y exámenes

Exámenes

  • Examen 1 (19 de noviembre de 2014).
  • Examen 2 (14 de enero de 2015).
  • Examen 3 (1ª convocatoria) (22 de enero de 2015).
  • Examen 4 (2ª convocatoria) (8 de septiembre de 2015).

Bibliografía

Sistemas


José A. Alonso Jiménez
Sevilla, 28 de junio del 2025
Licencia: Creative Commons.