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
  • 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.

Ponentes

• Ponentes de las próximas sesiones:
  • Alejandro Rodríguez Rodríguez
• Ponentes de las sesiones anteriores:
  • Ángel Ruiz Campos (Tema 1)

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