Diferencia entre revisiones de «Temas»
De Seminario de Lógica Computacional (2018)
(→Temas de Seminario de lógica computacional (2018)) |
|||
| Línea 10: | Línea 10: | ||
* Tema 2: Demostraciones por inducción en Coq | * Tema 2: Demostraciones por inducción en Coq | ||
** [https://softwarefoundations.cis.upenn.edu/lf-current/Induction.html Texto], [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Induction.v Código], [[Tema 2 |Exposición]], [[R2 |Enunciado de ejercicios]] y [[Relación 2 | Solución colaborativa]]. | ** [https://softwarefoundations.cis.upenn.edu/lf-current/Induction.html Texto], [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Induction.v Código], [[Tema 2 |Exposición]], [[R2 |Enunciado de ejercicios]] y [[Relación 2 | Solución colaborativa]]. | ||
| + | * Tema 3: Datos estructurados (listas) | ||
| + | ** [https://softwarefoundations.cis.upenn.edu/lf-current/Lists.html Texto], [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Lists.v Código], [[Tema 3 |Exposición]], [[R3 |Enunciado de ejercicios]] y [[Relación 3 | Solución colaborativa]]. | ||
=== Ponentes === | === Ponentes === | ||
Revisión del 00:09 21 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
- Tema 2: Demostraciones por inducción en Coq
- Tema 3: Datos estructurados (listas)
Ponentes
- Ponentes de las próximas sesiones:
- Alejandro Rodríguez Rodríguez
- Jorge Catarecha Otero-Saavedra
- Ponentes de las sesiones anteriores:
- Ángel Ruiz Campos (Tema 1)
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
- Miriam Medrán Navarro
- Samuel Ortiz Morales