Diferencia entre revisiones de «Temas»
De Seminario de Lógica Computacional (2018)
| Línea 15: | Línea 15: | ||
* Ponentes de las próximas sesiones: | * Ponentes de las próximas sesiones: | ||
** Alejandro Rodríguez Rodríguez | ** Alejandro Rodríguez Rodríguez | ||
| + | ** Jorge Catarecha Otero-Saavedra | ||
* Ponentes de las sesiones anteriores: | * Ponentes de las sesiones anteriores: | ||
** Ángel Ruiz Campos (Tema 1) | ** Ángel Ruiz Campos (Tema 1) | ||
Revisión del 08:22 13 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
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