| Mestrado Universitario en Computación |
 Asignaturas |
| Lóxica Computacional |
| Metodoloxías |
| 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 | ||||||||||
|
||||||||||||||
| Metodoloxías | Descrición |
| Sesión maxistral | Exposición en clase de los temas incluídos en el temario. Tanto la presentación de las clases como el material de apoyo estará redactado en inglés. |
| Análise de fontes documentais | Se trata de realizar un estudio bibliográfico de un tema de investigación relacionado con la Lógica Computacional, con el objetivo de preparar una presentación que será expuesta ante el resto de la clase (ver prueba oral) |
| Proba oral | Se realizará una presentación de un tema de investigación concreto relacionado con la Lógica Computacional, explicando el estado del arte y los resultados más recientes. La presentación se realizará de forma oral, y se acompañará de un documento resumen redactado en inglés. Esta presentación se computa con un 50 % de la calificación final. Como alternativa, puede reemplazarse por una prueba escrita. |
| Traballos tutelados | Se desarrollarán uno o varios trabajos prácticos tutelados, en especial en el tema de Lógica Fuzzy. Su evaluación computa un máximo del 50 % de la calificación final. |
|
