Lógica Computacional y Teoría de Modelos
DATOS DE LA ASIGNATURA
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.00 |
| Departamento Responsable | CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL |
| Departamento con Docencia | CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL |
