Diferencia entre revisiones de «Trabajos»
De Demostración automática de teoremas (2014-15)
(Página creada con '== Trabajos propuestos == 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...') |
(→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 | + | * [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. ([[R1 |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. ([[R1 |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. ([[R1 |Enunciado]]). | ||
Revisión del 12:16 13 abr 2015
Trabajos propuestos
En esta sección se publicarán los trabajos propuestos en la asignatura.