Lógica Computacional y Teoría de Modelos
Doble Máster Universitario en Profesorado de Enseñanza Secundaria Obligatoria y Bachillerato, Formación Profesional y Enseñanza de Idiomas y en Matemáticas
Facultad de Matemáticas
Datos básicos
Asignatura optativa de primer
curso
que se imparte en español.
Enlaces
Programas y proyectos docentes
de la asignatura.
