Temas
De Seminario de Lógica Computacional (2018)
Revisión del 09:11 26 feb 2018 de Jalonso (discusión | contribuciones) (→Temas de Seminario de lógica computacional (2018))
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 de B. Pierce a "Software foundations".
- Tema 1: Programación funcional en Coq
- texto
- código
- exposición
- Ejercicios (Enunciado y Solución colaborativa).