Temas

De Razonamiento automático (2019-20)

Revisión del 12:13 7 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.

Obtenido de «https://www.glc.us.es/~jalonso/RA2019/index.php?title=Temas&oldid=87»