Razonamiento automático (2019-20)
Razonamiento automático (2019-20)
Navegación
Página principal
Temas
Ejercicios
Documentación
Sistemas
Diario
Twitter
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
Temas
De Razonamiento automático (2019-20)
Revisión del 14:40 14 nov 2019 de
Jalonso
(
discusión
|
contribs.
)
(
difs.
)
← Revisión anterior
|
Revisión actual
(
difs.
) |
Revisión siguiente →
(
difs.
)
En esta página se irán publicando los temas conforme se vayan estudiando.
RA con Isabelle/HOL
Tema 1: Programación funcional en Isabelle
.
Tema 2: Razonamiento sobre programas:
Tema 2a: Razonamiento sobre programas Haskell
Tema 2b: Razonamiento sobre programas con Isabelle/HOL
.
Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL
.
