Lógica Computacional y Teoría de Modelos

Máster Universitario en Matemáticas

Facultad de Matemáticas

Datos básicos
Asignatura optativa de primer curso que se imparte en español.
Tiene asignados 6 créditos ECTS.
Enlaces
Página web de la asignatura: https://www.cs.us.es/cursos/lctm-2025
Coordinación
Durante el curso académico 2025/2026 las labores de coordinación de la asignatura corresponden al departamento y se asumen por:
Francisco Félix Lara Martín
Profesorado
Durante el curso académico 2025/2026 la docencia de la asignatura que corresponde al departamento se imparte por:
Francisco Félix Lara Martín