Acciones

Trabajos

De Demostración automática de teoremas (2014-15)

Revisión del 12:17 13 abr 2015 de Mjoseh (discusión | contribuciones)

Trabajos propuestos

En esta sección se publicarán los trabajos propuestos en la asignatura.

  • T1_1: Verificación de la algoritmo de ordenación por inserción en Isabelle/HOL. (Enunciado).
  • T1_2: Verificación de la algoritmo de ordenación por mezcla en Isabelle/HOL. (Enunciado).
  • T1_3: Verificación de la algoritmo de ordenación rápida en Isabelle/HOL. (Enunciado).
Obtenido de «https://www.glc.us.es/~jalonso/DAT2015/index.php?title=Trabajos&oldid=146»