|
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. |
|
