Presentación Acciones de apoyo y orientación Becas y ayudas Calendario académico Evaluación Horarios de clase Movilidad Objetivos y competencias Organización y metodología docente Planes docentes Reconocimiento de créditos Trabajo final de máster Información para futuros estudiantes
Asignatura Tipo Lengua Créditos Especialidad: Lógica Pura y Aplicada Álgebra Universal OT 2o semestre 5 Algoritmos para VLSI OT 1r semestre 6 Complejidad Computacional OT 2o semestre 6 Computabilidad OB 2o semestre 6 Demostración Automática de Teoremas OT 1r semestre 5 El Desarrollo de la Lógica Formal OT 1r semestre 5 Introducción a la Lógica Matemática OT 2o semestre 5 Lógica Algebraica Abstracta OT 1r semestre 5 Lógica Algebraica OT 2o semestre 5 Lógica Matemática OB 2o semestre 6 Lógica Modal OT 2o semestre 5 Lógicas Multivaloradas OT 1r semestre 5 Lógicas No Clásicas OB 2o semestre 6 Modelos de la Teoría de Conjuntos OT 1r semestre 5 Órdenes, Retículos y Álgebras de Boole OT 2o semestre 5 Resolución de Problemas Combinatorios OT 2o semestre 6 Teoría Avanzada de Modelos OT 1r semestre 5 Teoría Básica de Conjuntos OB 2o semestre 6 Teoría Básica de Modelos OB 2o semestre 6 Teoría Combinatoria de Conjuntos OT 2o semestre 5 Teoría de la Demostración OT 1r semestre 5 Trabajo Final de Máster OB 2o semestre 20
