Diferencia entre revisiones de «Temas»
De Seminario de Lógica Computacional (2018)
(→Temas de Seminario de lógica computacional (2018)) |
(→Temas de Seminario de lógica computacional (2018)) |
||
| Línea 3: | Línea 3: | ||
En esta página se irán publicando los temas conforme se vayan estudiando. | En esta página se irán publicando los temas conforme se vayan estudiando. | ||
| − | * [http://www.seas.upenn.edu/~cis500/current/lectures/lec01.pdf Introducción de B. Pierce a "Software foundations"]. | + | * Tema 0: [http://www.seas.upenn.edu/~cis500/current/lectures/lec01.pdf Introducción de B. Pierce a "Software foundations"]. |
| + | * Tema 1: Programación funcional en Coq | ||
| + | ** [https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html texto] | ||
| + | ** [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Basics.html código] | ||
| + | ** [[Tema 1 |exposición]] | ||
| + | ** Ejercicios ([[R1 |Enunciado]] y [[Relación 1 | Solución colaborativa]]). | ||
Revisión del 09:11 26 feb 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).