Seminario de Lógica Computacional (2018) Seminario de Lógica Computacional (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
  • Introducción de B. Pierce al curso "Software foundations".
  • Introducción del libro "Software foundations".
• Tema 1: Programación funcional en Coq
  • Exposición, Texto, Código, Enunciado de ejercicios y Solución colaborativa.
• Tema 2: Demostraciones por inducción en Coq
  • Exposición, Texto, Código, Enunciado de ejercicios y Solución colaborativa.
• Tema 3: Datos estructurados en Coq
  • Exposición, Texto, Código.

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