Lógica computacional y teoría de modelos (2015-16)

El objetivo de este curso es proporcionar a los estudiantes unos métodos básicos de la lógica computacional y de la teoría de modelos, para completar la formación adquirida en estas materias y para prepararlos para una ulterior investigación en orden a conseguir, entre otros fines, el grado de doctor.

Material para el curso