Doble Máster Universitario en Profesorado de Educación Secundaria Obligatoria y Bachillerato, Formación Profesional y Enseñanza de Idiomas (MAES) y en Matemáticas (MUM))

Lógica Computacional y Teoría de Modelos

Tabla de datos de la asignatura
Asignatura	Lógica Computacional y Teoría de Modelos
Titulacion	Doble Máster Universitario en Profesorado de Educación Secundaria Obligatoria y Bachillerato, Formación Profesional y Enseñanza de Idiomas (MAES) y en Matemáticas (MUM))
Ciclo	2
Curso	1
Carácter	Optativa
Duración	Cuatrimestral (Primer Cuatrimestre)
Créditos Totales	6.0
Departamento Responsable	CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL
Departamentos con Docencia	CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL

Profesores
LARA MARTIN, FRANCISCO FELIX