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 6: | Línea 6: | ||
** [http://www.seas.upenn.edu/~cis500/current/lectures/lec01.pdf Introducción de B. Pierce al curso "Software foundations"]. | ** [http://www.seas.upenn.edu/~cis500/current/lectures/lec01.pdf Introducción de B. Pierce al curso "Software foundations"]. | ||
** [https://softwarefoundations.cis.upenn.edu/lf-current/Preface.html Introducción del libro "Software foundations"]. | ** [https://softwarefoundations.cis.upenn.edu/lf-current/Preface.html Introducción del libro "Software foundations"]. | ||
| − | * Tema 1: [[Tema 1 | Programación funcional en Coq]]. | + | * Tema 1: [[Tema 1 | Programación funcional en Coq]] ([[Media:T1_PF_en_Coq.v|T1_PF_en_Coq.v]). |
** [[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 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: Demostraciones por inducción en Coq | ||
Revisión del 11:15 25 mar 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 al Seminario
- Tema 1: Programación funcional en Coq ([[Media:T1_PF_en_Coq.v|T1_PF_en_Coq.v]).
- 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
Ponentes
- 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)
Participantes
Los participantes en el Seminario son
- Alejandro Rodriguez Rodríguez
- Ángel Ruiz Campos
- Borja Sierra Miranda
- Elías Guisado Villalgordo
- Jorge Catarecha Otero-Saavedra
- Marina Jiménez Comez
- Mencía Veas Lerdo de Tejada
- Samuel Ortiz Morales