Ejercicios (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 se escribirán de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.
- Relación 1: (Enunciado, Solución colaborativa).
- Ejercicio P1: (Enunciado, Solución colaborativa).
- Ejercicio P2: (Enunciado, Solución colaborativa).