Guía DocenteCurso Facultade de Informática |
Mestrado Universitario en Computación |
Asignaturas |
Programación Lóxica e Representación do Coñecemento |
Metodoloxías |
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 | ||||||||||
|
Metodoloxías | Descrición |
Sesión maxistral | Clases en aula |
Solución de problemas | Resolución de problemas que pode incluir: exercicios de programación en Prolog, solución de problemas teóricos (demostración de propiedades) ou resolución de problemas de representación de coñecemento usando Answer Set Programming. |
Proba obxectiva | Trátase de un examen optativo, no caso en que non se poidan realizar as prácticas en clase de xeito regular. |
|