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.

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