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
|