Guía DocenteCurso Facultade de Informática |
Mestrado Universitario en Computación |
Asignaturas |
Lóxica Computacional |
Competencias do título |
Datos Identificativos | 2012/13 | |||||||||||||
Asignatura | Lóxica Computacional | Código | 614434004 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
Mestrado Oficial | 1º cuadrimestre |
Primeiro | Obrigatoria | 6 | ||||||||||
|
Código | Competencias da titulación |
A1 | Adquirir coñecementos de Lóxicas Computacionais e as súas principais aplicacións a outras áreas específicas de investigación en Computación tales como Raonamento Automático, Representación do Coñemento, Razoamento Temporal e Espacial, Sistemas Multiaxente, Web semántica, Verificación Formal, etc. |
B2 | Destreza na adquisición do coñecemento, análise do estado da arte e bibliografía relevante nunha área de investigación. |
B3 | Capacidade para identificar problemas e formular adecuadamente as hipóteses a contrastar seguindo unha metodoloxía científica. |
B4 | Aplicación do método científico mediante análise empírico das hipóteses formuladas ou mediante demostración formal, no caso de propiedades matemáticas. Destreza no deseño de experimentos e a análise de resultados. |
B7 | Acostumarse ó uso do inglés como principal idioma de adquisición e transmisión de coñecemento científico e de investigación. |
|