Lógica informática (2003-04)

Este curso ofrece una introducción a los conceptos lógicos fundamentales de la lógica proposicional y la lógica de primer orden. Para ambas áreas, se exploran diversos sistemas de cálculo y métodos de decisión.

Temas y ejercicios

Exámenes

Bibliografía

Sistemas


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