Temas

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
  • Texto, Código, Exposición, Enunciado de ejercicios y Solución colaborativa.
• Tema 2: Demostraciones por inducción en Coq
  • Texto, Código, Exposición, Enunciado de ejercicios y Solución colaborativa.
• Tema 3: Datos estructurados en Coq
  • Texto, Código, Exposición y ejercicios.

Ponentes

• Ponentes de las próximas sesiones:
  • Jorge Catarecha Otero-Saavedra
  • Samuel Ortiz Morales
  • Borja Sierra Miranda
• Ponentes de las sesiones anteriores:
  • Ángel Ruiz Campos (Tema 1)
  • Alejandro Rodríguez Rodríguez (Tema 2)

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