Logotipo de la Universidad de Sevilla LA US ESTUDIAR INVESTIGAR VIVIR LA US EMPRESAS INTERNACIONAL TRABAJA EN LA US
 
 
Incio  >  
 
 

Máster Universitario en Matemáticas

Lógica Computacional y Teoría de Modelos

Programas y Proyectos

Consulta del Programa y Proyectos y su Histórico



Tabla de datos de la asignatura
AsignaturaLógica Computacional y Teoría de Modelos
TitulacionMáster Universitario en Matemáticas
Ciclo2
Curso1
CarácterOptativa
DuraciónCuatrimestral (Primer Cuatrimestre)
Créditos Totales6.0
Departamento ResponsableCIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL
Departamentos con DocenciaCIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL
Profesores
14 Punto