Diferencia entre revisiones de «Aplicaciones y casos de estudio»
De Lógica computacional y teoría de modelos (2019-20)
(Página creada con «En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura. * Puzzles de tableros: Resolución de puzzles de tabler…») |
|||
| Línea 3: | Línea 3: | ||
* [[Puzzles de tableros]]: Resolución de puzzles de tableros mediante ASP, presentado por Ana Alicia Rivera. | * [[Puzzles de tableros]]: Resolución de puzzles de tableros mediante ASP, presentado por Ana Alicia Rivera. | ||
* [[Laberintos]]: Resolución y generación de laberintos mediante ASP, presentado por María Calvo. | * [[Laberintos]]: Resolución y generación de laberintos mediante ASP, presentado por María Calvo. | ||
| − | * [[Aplicaciones a bioinformática]]: Aplicaciones a bioinformática, presentado por Ulises | + | * [[Aplicaciones a bioinformática]]: Aplicaciones a bioinformática, presentado por Ulises Pastor. |
Revisión actual del 12:21 6 feb 2019
En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura.
- Puzzles de tableros: Resolución de puzzles de tableros mediante ASP, presentado por Ana Alicia Rivera.
- Laberintos: Resolución y generación de laberintos mediante ASP, presentado por María Calvo.
- Aplicaciones a bioinformática: Aplicaciones a bioinformática, presentado por Ulises Pastor.