Demostración automática de teoremas (2014-15)
Demostración automática de teoremas (2014-15)
Navegación
Página principal
Temas
Ejercicios
Documentación
Cambios recientes
Herramientas
Lo que enlaza aquí
Cambios relacionados
Páginas especiales
Versión para imprimir
Enlace permanente
Información de la página
Acciones
Página
Discusión
Ver código
Historial
Trabajos
De Demostración automática de teoremas (2014-15)
Revisión del 12:16 13 abr 2015 de
Mjoseh
(
discusión
|
contribuciones
)
(
→
Trabajos propuestos
)
(
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 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
).
