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.
Enlaces
Página web de la asignatura: https://www.cs.us.es/cursos/lctm-2023
Profesorado
Durante el curso académico 2023/2024 la docencia de la asignatura que corresponde al departamento se imparte por:
Francisco Félix Lara Martín