Diferencia entre revisiones de «Temas»

Revisión del 12:51 24 mar 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
- Exposición, Texto y Código.
Tema 2: Demostraciones por inducción en Coq
- Exposición, Texto y Código.
Tema 3: Datos estructurados en Coq
- Exposición, Texto, Código.

Ponentes de las próximas sesiones:
- Miriam Medrán Navarro
- Samuel Ortiz Morales
- Borja Sierra Miranda
Ponentes de las sesiones anteriores:
- Ángel Ruiz Campos (Tema 1)
- Alejandro Rodríguez Rodríguez (Tema 2)
- Jorge Catarecha Otero-Saavedra (Tema 3)

Los participantes en el Seminario son

@@ Línea 9: / Línea 9: @@
 ** [[Tema 1 |Exposición]], [https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html Texto] y [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Basics.v Código].
 * Tema 2: Demostraciones por inducción en Coq
-** [[Tema 2 |Exposición]], [https://softwarefoundations.cis.upenn.edu/lf-current/Induction.html Texto], [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Induction.v Código], [[R2 |Enunciado de ejercicios]] y [[Relación 2 | Solución colaborativa]].
+** [[Tema 2 |Exposición]], [https://softwarefoundations.cis.upenn.edu/lf-current/Induction.html Texto] y [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Induction.v Código].
 * Tema 3: Datos estructurados en Coq
 ** [[Tema 3 |Exposición]], [https://softwarefoundations.cis.upenn.edu/lf-current/Lists.html Texto], [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Lists.v Código].