Aplicaciones y casos de estudio (19-20)
De Lógica computacional y teoría de modelos (2019-20)
En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura.
- Laberintos: Laberintos (Ana Bermudo y Gema Terrón)(pdf) .
- Grid puzzles:
- Aplicaciones biológicas (Jesús Camacho y Estefanía Espinar):