Diferencia entre revisiones de «Temas»
De Seminario de Lógica Computacional (2018)
(→Temas de Seminario de lógica computacional (2018)) |
|||
| Línea 8: | Línea 8: | ||
* 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.html Código], [[Tema 1 |Exposición]], [[R1 |Enunciado de ejercicios]] y [[Relación 1 | Solución colaborativa]]. | ** [https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html Texto], [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Basics.html Código], [[Tema 1 |Exposición]], [[R1 |Enunciado de ejercicios]] y [[Relación 1 | Solución colaborativa]]. | ||
| + | |||
| + | === Ponentes === | ||
| + | |||
| + | Los ponentes de las próximas sesiones serán | ||
| + | * Ángel Ruiz Campos | ||
| + | * Alejandro Rodríguez Rodríguez | ||
| + | |||
| + | === 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 | ||
Revisión del 13:52 26 feb 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
Ponentes
Los ponentes de las próximas sesiones serán
- Ángel Ruiz Campos
- Alejandro Rodríguez Rodríguez
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