Lógica computacional y teoría de modelos (2019-20) 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:
  • Masyu (Jan Wasilewski) (pdf).
  • Heyawake (Alina Kasiuk y Xinyi Wu) (pdf).
  • Nuricabe (Alina Kasiuk y Xinyi Wu) (pdf).
• Aplicaciones biológicas (Jesús Camacho y Estefanía Espinar):
  • Reparación de redes metabólicas (código) e instancia.
  • Completación de redes metabólicas (código e instancia)