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 | Máster Universitario en Matemáticas |
| 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 |
