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.

• Demostración asistida por ordenador con Coq
  • 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] ( Código).
  • Tema 2: [[https://softwarefoundations.cis.upenn.edu/lf-current/Induction.html Demostraciones por inducción en Coq ( Código).
  • Tema 3: [Datos estructurados en Coq] ( Código).
  • Tema 4: [Polimorfismo y orden superior en Coq] ( Código).
  • Tema 5: [Tácticas básicas] ( Código).

• Programación lógica
  • Tema 1: Introducción a la programación lógica con Prolog.
  • Tema 2: Soluciones lógicas de problemas lógicos.

Ponentes

• Ponentes de las próximas sesiones:
  • 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)
  • Miriam Medrán Navarro (Tema 4).

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