Diferencia entre revisiones de «Temas»
De Seminario de Lógica Computacional (2018)
(→Temas de Seminario de lógica computacional (2018)) |
|||
| Línea 11: | Línea 11: | ||
** Tema 3: [[Tema 3 | Datos estructurados en Coq]] ([[Media:T3_Listas.v |T3_Listas.v]]). | ** Tema 3: [[Tema 3 | Datos estructurados en Coq]] ([[Media:T3_Listas.v |T3_Listas.v]]). | ||
** Tema 4: [[Tema 4 | Polimorfismo y orden superior en Coq]]. | ** Tema 4: [[Tema 4 | Polimorfismo y orden superior en Coq]]. | ||
| + | ** Tema 5: [[Tema 5 | Tácticas básicas]]. | ||
* Programación lógica | * Programación lógica | ||
| Línea 19: | Línea 20: | ||
* Ponentes de las próximas sesiones: | * Ponentes de las próximas sesiones: | ||
| − | |||
** Samuel Ortiz Morales | ** Samuel Ortiz Morales | ||
** Borja Sierra Miranda | ** Borja Sierra Miranda | ||
| Línea 26: | Línea 26: | ||
** Alejandro Rodríguez Rodríguez (Tema 2) | ** Alejandro Rodríguez Rodríguez (Tema 2) | ||
** Jorge Catarecha Otero-Saavedra (Tema 3) | ** Jorge Catarecha Otero-Saavedra (Tema 3) | ||
| + | ** Miriam Medrán Navarro (Tema 4). | ||
=== Participantes === | === Participantes === | ||
Revisión del 10:59 6 may 2018
Temas de Seminario de lógica computacional (2018)
En esta página se irán publicando los temas conforme se vayan estudiando.
- Demostración asistida por ordenador con Coq
- Tema 0: Introducción al Seminario
- Tema 1: Programación funcional en Coq (T1_PF_en_Coq.v).
- Tema 2: Demostraciones por inducción en Coq (T2_Induccion.v).
- Tema 3: Datos estructurados en Coq (T3_Listas.v).
- Tema 4: Polimorfismo y orden superior en Coq.
- Tema 5: Tácticas básicas.
- Programación lógica
Ponentes
- Ponentes de las próximas sesiones:
- 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)
- Miriam Medrán Navarro (Tema 4).
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