Diferencia entre revisiones de «Temas»
De Seminario de Lógica Computacional (2018)
| Línea 7: | Línea 7: | ||
** [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: Programación funcional en Coq | * Tema 1: Programación funcional en Coq | ||
| − | ** [https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html Texto], [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], [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Basics.v Código], [[R1 |Enunciado de ejercicios]] y [[Relación 1 | Solución colaborativa]]. |
* 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]], [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 3: Datos estructurados en Coq | * Tema 3: Datos estructurados en Coq | ||
| − | ** [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]], [https://softwarefoundations.cis.upenn.edu/lf-current/Lists.html Texto], [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Lists.v Código]. |
=== Ponentes === | === Ponentes === | ||
* Ponentes de las próximas sesiones: | * Ponentes de las próximas sesiones: | ||
| − | ** | + | ** Miriam Medrán Navarro |
** Samuel Ortiz Morales | ** Samuel Ortiz Morales | ||
** Borja Sierra Miranda | ** Borja Sierra Miranda | ||
| Línea 22: | Línea 22: | ||
** Ángel Ruiz Campos (Tema 1) | ** Ángel Ruiz Campos (Tema 1) | ||
** Alejandro Rodríguez Rodríguez (Tema 2) | ** Alejandro Rodríguez Rodríguez (Tema 2) | ||
| + | ** Jorge Catarecha Otero-Saavedra (Tema 3) | ||
=== Participantes === | === Participantes === | ||
| Línea 33: | Línea 34: | ||
* Marina Jiménez Comez | * Marina Jiménez Comez | ||
* Mencía Veas Lerdo de Tejada | * Mencía Veas Lerdo de Tejada | ||
| − | |||
* Samuel Ortiz Morales | * Samuel Ortiz Morales | ||
Revisión del 12:12 24 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 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