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
|