Máster Universitario en Lógica, Computación e Inteligencia Artificial

Investigación

Líneas de investigación

• Lógica matemática.
• Ciencias de la computación.
• Inteligencia Artificial

Estas líneas se concretan en las siguientes áreas de investigación: modelos de la aritmética y funciones recursivas; lógica computacional: computación natural; complejidad computacional; ontologías y web semántica.

Grupos de investigación con docencia en el máster

• Grupo de Investigación en Computación Natural (PAIDI TIC-193).
• Grupo de Investigación en Lógica, Computación e Inteligencia Artificial (PAIDI TIC-137).
• Grupo de Investigación en Lógica Matemática (parte del grupo PAIDI TIC-137).