Lógica informática (2006-07)

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 de la Ingeniería informática de la Universidad de Sevilla.

Temas y ejercicios

Exámenes

En Soluciones de exámenes de Lógica informática están resueltos los ejercicios de exámenes de años anteriores que se corresponden con el contenido del presente curso.

Bibliografía

Sistemas


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