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