Lógica matemática y fundamentos (2019-20)

Este curso es una introducción de los principales conceptos lógicos tanto de la lógica proposicional como de la de primer orden. Para ambas se consideran distintos cálculos y procedimientos de decisión. En el plan de la asignatura se encuentra más información.


Material para el curso


Universidad de Sevilla
José A. Alonso Jiménez
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 24-1-2022
Creative Commons License Esta obra está bajo una licencia de Creative Commons.