Teaching GuideTerm Faculty of Computer Science |
Grao en Enxeñaría Informática |
Subjects |
Knowledge Representation and Automatic Reasoning |
Methodologies |
|
|
Identifying Data | 2019/20 | |||||||||||||
Subject | Knowledge Representation and Automatic Reasoning | Code | 614G01036 | |||||||||||
Study programme |
|
|||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
Graduate | 2nd four-month period |
Third | Optional | 6 | ||||||||||
|
Methodologies | Description |
Guest lecture / keynote speech | Espérase participación colaborativa do estudante. Os temas tratados serán sometidos a discusión co alumnado. Esta circunstancia poderá ser tida en conta á hora de avaliar ao alumno. Poderá requirirse que o alumno, en cada tema, que o alumno dispoña duns coñecementos básicos. Para iso, toda a información básica estará accesible en Moodle. |
Mixed objective/subjective test | Proba escrita sobre os contidos da materia. |
Directed discussion | Selección de temas de interese, formulación en clase e desenvolvemento coa tutela do profesor. |
Laboratory practice | As probas prácticas consistirán no desenrolo no laboratorio de exercicios de Representación e Razoamento. |
Workshop | Eventualmente, se así o suxire o desenvolvemento da docencia, poderán proporse. |
Problem solving | Resolución de problemas da materia. Este recurso suporá a partiicipación e colaboración do estudante. |
Supervised projects | Análise conxunta e en equipo de supostos prácticos. |
|