Guía DocenteCurso Facultade de Informática |
Enxeñeiro en Informática |
Asignaturas |
Lóxica para a Computación |
Avaliación |
Datos Identificativos | 2015/16 | |||||||||||||
Asignatura | Lóxica para a Computación | Código | 614111626 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
1º e 2º Ciclo | 1º cuadrimestre |
Todos | Optativa | 5.5 | ||||||||||
|
Metodoloxías | Competencias / Resultados | Descrición | Cualificación |
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 | |
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 | |
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. |
|