Diferencia entre revisiones de «Temas»
De Seminario de Lógica Computacional (2018)
(→Temas de Seminario de lógica computacional (2018)) |
|||
| Línea 3: | Línea 3: | ||
En esta página se irán publicando los temas conforme se vayan estudiando. | En esta página se irán publicando los temas conforme se vayan estudiando. | ||
| − | * Tema 0: Introducción al Seminario | + | * Demostración asistida por ordenador con Coq |
| − | ** [http://www.seas.upenn.edu/~cis500/current/lectures/lec01.pdf Introducción de B. Pierce al curso "Software foundations"]. | + | ** Tema 0: Introducción al Seminario |
| − | ** [https://softwarefoundations.cis.upenn.edu/lf-current/Preface.html Introducción del libro "Software foundations"]. | + | *** [http://www.seas.upenn.edu/~cis500/current/lectures/lec01.pdf Introducción de B. Pierce al curso "Software foundations"]. |
| − | * Tema 1: [[Tema 1 | Programación funcional en Coq]] ([[Media:T1_PF_en_Coq.v |T1_PF_en_Coq.v]]). | + | *** [https://softwarefoundations.cis.upenn.edu/lf-current/Preface.html Introducción del libro "Software foundations"]. |
| − | * Tema 2: [[Tema 2 | Demostraciones por inducción en Coq]] ([[Media:T2_Induccion.v |T2_Induccion.v]]). | + | ** Tema 1: [[Tema 1 | Programación funcional en Coq]] ([[Media:T1_PF_en_Coq.v |T1_PF_en_Coq.v]]). |
| − | * Tema 3: [[Tema 3 | Datos estructurados en Coq]] ([[Media:T3_Listas.v |T3_Listas.v]]). | + | ** Tema 2: [[Tema 2 | Demostraciones por inducción en Coq]] ([[Media:T2_Induccion.v |T2_Induccion.v]]). |
| + | ** Tema 3: [[Tema 3 | Datos estructurados en Coq]] ([[Media:T3_Listas.v |T3_Listas.v]]). | ||
| + | |||
| + | * Programación lógica | ||
| + | ** Tema 1: [https://www.cs.us.es/~jalonso/cursos/lmf-12/temas/tema-13.pdf Introducción a la programación lógica con Prolog]. | ||
| + | ** Tema 2: [https://www.cs.us.es/~jalonso/cursos/lmf-12/temas/tema-15 Soluciones lógicas de problemas lógicos]. | ||
=== Ponentes === | === Ponentes === | ||
Revisión del 13:37 5 abr 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).
- Programación lógica
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