1) que han entendido y saben manejar las reglas del cálculo deductivo (Deducción Natural) y las del cálculo mediante árboles semánticos;
2) que han entendido nociones centrales de la lógica de predicados, como las de validez, fórmula bien formada, contraejemplo, contradicción, implicación, tautología, contingencia, constante lógica, descripción, operador modal, axioma, entre otras;
3) que saben formalizar, es decir, extraer la forma lógica de un enunciado (fórmula) y la de un argumento (esquema inferencial);
4) que saben encontrar una interpretación de una fórmula (enunciado) y la de un esquema inferencial (argumento), con arreglo a ciertos requisitos establecidos en el examen;
5) que saben distinguir entre variables y constantes individuales;
6) que han entendido y saben operar con fórmulas que contienen la identidad o la descripción definida.
% Concerning the final grade
% Concerning the final grade
100
Minimum Grade (not including continuas assessment)
Minimum Grade (not including continuas assessment)
5
Maximum grade (not including continuas assessment)
Maximum grade (not including continuas assessment)
10
Minimum grade (including continuas assessment)
Minimum grade (including continuas assessment)
5
Comments
Comments
Junto con el enunciado de examen, se entregará también al alumno una tabla de reglas, que será exactamente la que se subirá a la plataforma Alf.
CONTINUOUS ASSESSMENT TESTS (PEC)
PEC?
PEC?
No
Description
Description
Qualification and evaluation criteria
Qualification and evaluation criteria
Ponderación de la PEC en la nota final
Ponderación de la PEC en la nota final
0
Approximate submission date
Approximate submission date
Comments
Comments
OTHER GRADEABLE ACTIVITIESS
Is there another activity / s that can be evaluated?
Is there another activity / s that can be evaluated?
Si
Description
Description
La profesora leerá las intervenciones de los alumnos en alf para valorar el trabajo formativo que el alumno vaya demostrando allí. Estas intervenciones solamente pueden servir para subir unas décimas la nota del examen, cuando la profesora lo considere pertinente, nunca para bajarla.
Qualification and evaluation criteria
Qualification and evaluation criteria
Se tendrá en cuenta la calidad de las intervenciones en alf.
Ponderación en la nota final
Ponderación en la nota final
0
Approximate submission date
Approximate submission date
Comments
Comments
How to obtain the final grade?
La nota final es la calificación obtenida en el examen escrito, modificada ligeramente al alza, cuando el alumno haya participado a lo largo del curso en alf y haya mostrado allí un progreso adecuado en la compresión de los conceptos centrales de la asignatura y una competecia suficiente en la formalización y el cálculo.