|
Guía DocenteCurso Facultade de Informática |
| Mestrado Universitario en Computación |
 Asignaturas |
| Programación Lóxica e Representación do Coñecemento |
| Resultados de aprendizaxe |
| Datos Identificativos | 2012/13 | |||||||||||||
| Asignatura | Programación Lóxica e Representación do Coñecemento | Código | 614434012 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Mestrado Oficial | 2º cuadrimestre |
Primeiro | Optativa | 3 | ||||||||||
|
||||||||||||||
| Competencias de materia (Resultados de aprendizaxe) | Competencias da titulación | ||
| BI2 Destreza en la adquisición del conocimiento, análisis del estado del arte y bibliografía relevante en un área de investigación. | BI2 |
||
| BI3 Capacidad para identificar problemas y plantear adecuadamente las hipótesis a contrastar siguiendo una metodología científica. | BI3 |
||
| BI4 Aplicación del método científico mediante análisis empírico de las hipótesis planteadas o mediante demostración formal, en el caso de propiedades matemáticas. Destreza en el diseño de experimentos y el análisis de resultados. | BI4 |
||
| BI7 Acostumbrarse al uso del inglés como principal idioma de adquisición y transmisión de conocimiento científico y de investigación. | BI7 |
||
| Adquirir conocimientos de Lógicas Computacionales y sus principales aplicaciones a otras áreas específicas de investigación en Computación tales como Razonamiento Automático, Representación del Conocimiento, Razonamiento Temporal y Espacial, Sistemas Multiagente, Web semántica, Verificación Formal, etc. | AI1 |
||
| Conocer las principales semánticas de programación lógica declarativa y saber aplicarlas a problemas prácticos de representación de conocimiento y resolución de problemas | AI1 |
BI8 |
CM6 CM8 |
|
