Ninguno

La evaluación de esta asignatura exige necesariamente la realización de un examen final que constará de 5 preguntas, dos sobre comprensión de los conceptos y tres de formalización y cálculo. Cada una de las preguntas supondrá el 20% de la nota del examen. Cada una de las preguntas de formalización y cálculo incluirán dos o tres ejercicios, teniendo cada uno el mismo peso en la calificación de esa pregunta.

Una única prueba en la convocatoria ordinaria de Febrero o bien en la convocatoria de Septiembre, para aquellos alumnos que hayan suspendido o no se hayan presentado en Febrero. El examen constará de tres preguntas de carácter práctico y dos para medir la comprensión de los conceptos.

Resolución de colecciones de ejercicios propuestos (formalización y resolución de argumentos; nociones básicas de lógica de enunciados)

Adecuación de las formalizaciones propuestas, corrección de las demostraciones, claridad en las cuestiones conceptuales. 

La realización de actividades, como comentarios en los foros a la resolución de ejercicios propuestos, la contribuciones en los temas a debate planteados en los foros, la participación en actividades online,  se considerarán como actividades de formación continua para quienes opten por ello. Estas actividades podrán suponer hasta un 10% de la nota final. Algunas de las actividades podrán realizarse colaborativamente con otros estudiantes. Se podrán formar equipos de estudio que podrán planificar mantener comunicaciones directas con el profesor mediante la utilización de aplicaciones de videoconferencia, para resolver cuestiones que hayan quedado planteadas en las actividades prácticas y que precisen mayor aclaración. 

La prueba presencial se calificará de 0 a 8 puntos.  Las actividades y tareas de formación continua compensarán el resultado del examen, pudiendo llegar a mejorar la nota final hasta en 3 puntos.