Acciones

Trabajos

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

Revisión del 12:15 13 abr 2015 de Mjoseh (discusión | contribuciones) (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...')
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

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 insercción en Isabelle/HOL. (Enunciado).
Obtenido de «https://www.glc.us.es/~jalonso/DAT2015/index.php?title=Trabajos&oldid=144»