Diferencia entre revisiones de «Aplicaciones y casos de estudio (19-20)»
De Lógica computacional y teoría de modelos (2019-20)
| Línea 4: | Línea 4: | ||
* [[Grid puzzles]]: Grid puzzles | * [[Grid puzzles]]: Grid puzzles | ||
** ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Presentacion-masayu.pdf Masyu]). | ** ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Presentacion-masayu.pdf Masyu]). | ||
| − | ** ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Solving-Challenging-Grid-Puzzles.pdf Heyawake y | + | ** ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Solving-Challenging-Grid-Puzzles.pdf Heyawake y Nuricabe]). |
Revisión del 22:18 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: Grid puzzles
- (Masyu).
- (Heyawake y Nuricabe).