Guía DocenteCurso
Facultade de Informática
  Inicio | galego | castellano | A A |  
Enxeñeiro en Informática
 Asignaturas
  Lóxica para a Computación
   Avaliación
Metodoloxías Descrición Cualificación
Solución de problemas El alumno debe poder formalizar una expresión del lenguaje natural tanto en lógica proposicional como en lógica de primer orden y analizar la validez de la deducción basándose en los métodos deductivos analizados durante el curso. 60
Sesión maxistral Los aspectos no tan procedimentales relativos al conocimiento de la teoría y de los fundamentos semánticos son analizados en este punto. El alumno debe ser capaz de evaluar si procede el uso de alguna noción teórica para poder evaluar la cuestión planteada. 40
 
Observacións avaliación
La evaluaci�n consiste en un examen global donde el alumno debe demostrar que maneja con soltura los m�todos deductivos descritos, formaliza perfectamente los enunciados tanto en formato proposicional como en predicados y puede, adem�s, extrapolar interpretaciones de los resultados te�ricos abarcados durante el curso.
Para presentarse al examen es imprescindible entregar un trabajo donde se refleje el trabajo de preparaci�n de la asignatura.
Universidade da Coruña - Rúa Maestranza 9, 15001 A Coruña - Tel. +34 981 16 70 00  Soporte Guías Docentes