Diferencia entre revisiones de «Aplicaciones y casos de estudio (19-20)»
De Lógica computacional y teoría de modelos (2019-20)
| Línea 2: | Línea 2: | ||
* [[Laberintos]]: Laberintos (Ana Bermudo y Gema Terrón)([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/PresentaciónLaberintos.pdf pdf]) . | * [[Laberintos]]: Laberintos (Ana Bermudo y Gema Terrón)([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/PresentaciónLaberintos.pdf pdf]) . | ||
| − | * Grid puzzles | + | * Grid puzzles: |
** [[Masyu (Jan Wasilewski)]] ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Presentacion-masayu.pdf pdf]). | ** [[Masyu (Jan Wasilewski)]] ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Presentacion-masayu.pdf pdf]). | ||
** [[Heyawake (Alina Kasiuk y Xinyi Wu)]] ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Solving-Challenging-Grid-Puzzles.pdf pdf]). | ** [[Heyawake (Alina Kasiuk y Xinyi Wu)]] ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Solving-Challenging-Grid-Puzzles.pdf pdf]). | ||
** [[Nuricabe (Alina Kasiuk y Xinyi Wu)]] ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Solving-Challenging-Grid-Puzzles.pdf pdf]). | ** [[Nuricabe (Alina Kasiuk y Xinyi Wu)]] ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Solving-Challenging-Grid-Puzzles.pdf 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]] | ||
Revisión del 14:11 12 feb 2020
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):