Diferencia entre revisiones de «Aplicaciones y casos de estudio (19-20)»
De Lógica computacional y teoría de modelos (2019-20)
Línea 3: | Línea 3: | ||
* [[Laberintos]]: Laberintos ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/PresentaciónLaberintos.pdf pdf]) . | * [[Laberintos]]: Laberintos ([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 | + | ** [[Masyu (Jan Wasilewski)]] ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Presentacion-masayu.pdf pdf]). |
− | ** ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Solving-Challenging-Grid-Puzzles.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]). |
Revisión del 22:22 9 feb 2020
En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura.
- Laberintos: Laberintos (pdf) .
- Grid puzzles