Diferencia entre revisiones de «Aplicaciones y casos de estudio (19-20)»
De Lógica computacional y teoría de modelos (2019-20)
| Línea 8: | Línea 8: | ||
* Aplicaciones biológicas (Jesús Camacho y Estefanía Espinar): | * Aplicaciones biológicas (Jesús Camacho y Estefanía Espinar): | ||
** [[Reparación de redes metabólicas (código)]] e [[instancia]]. | ** [[Reparación de redes metabólicas (código)]] e [[instancia]]. | ||
| − | ** [[Completación de redes metabólicas (código)]] | + | ** [[Completación de redes metabólicas (código e instancia)]] |
Revisión actual del 14:14 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):