Temas - Seminario de Lógica Computacional (2018)

Temas

De Seminario de Lógica Computacional (2018)

Revisión del 09:16 26 feb 2018 de Jalonso (discusión | contribuciones)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Temas de Seminario de lógica computacional (2018)

En esta página se irán publicando los temas conforme se vayan estudiando.

Tema 0: Introducción al Seminario
- Introducción de B. Pierce al curso "Software foundations".
- Introducción del libro "Software foundations".
Tema 1: Programación funcional en Coq
- Texto, Código, Exposición, Enunciado de ejercicios y Solución colaborativa.

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