Diferencia entre revisiones de «Trabajos»
De Demostración automática de teoremas (2014-15)
(→Trabajos propuestos) |
|||
| Línea 3: | Línea 3: | ||
En esta sección se publicarán los trabajos propuestos en la asignatura. | En esta sección se publicarán los trabajos propuestos en la asignatura. | ||
| − | * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_por_insercion.thy '''T1_1''']: Verificación de la algoritmo de ordenación por inserción en Isabelle/HOL. ([[ | + | * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_por_insercion.thy '''T1_1''']: Verificación de la algoritmo de ordenación por inserción en Isabelle/HOL. ([[T1_1 |Enunciado]]). |
| − | * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_por_mezclas.thy '''T1_2''']: Verificación de la algoritmo de ordenación por mezcla en Isabelle/HOL. ([[ | + | * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_por_mezclas.thy '''T1_2''']: Verificación de la algoritmo de ordenación por mezcla en Isabelle/HOL. ([[T1_2 |Enunciado]]). |
| − | * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_rapida.thy '''T1_3''']: Verificación de la algoritmo de ordenación rápida en Isabelle/HOL. ([[ | + | * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_rapida.thy '''T1_3''']: Verificación de la algoritmo de ordenación rápida en Isabelle/HOL. ([[T1_3 |Enunciado]]). |
Revisión del 12:17 13 abr 2015
Trabajos propuestos
En esta sección se publicarán los trabajos propuestos en la asignatura.