Ejercicios evaluables (19-20)
De Lógica computacional y teoría de modelos (2019-20)
En esta sección se publicarán las relaciones de ejercicios que constituyen la evaluación de la asignatura.
- Ejercicios evaluables 1: Relación 1 de ejercicios evaluables.
- Ejercicios evaluables 2: Relación 2 de ejercicios evaluables.
- Ejercicios evaluables 3: Relación 3 de ejercicios evaluables.