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 | + | * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_por_insercion.thy '''T1_1''']: Verificación del 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 | + | * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_por_mezclas.thy '''T1_2''']: Verificación del 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 | + | * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_rapida.thy '''T1_3''']: Verificación del algoritmo de ordenación rápida en Isabelle/HOL. ([[T1_3 |Enunciado]]). |
Revisión actual del 12:20 13 abr 2015
Trabajos propuestos
En esta sección se publicarán los trabajos propuestos en la asignatura.