Razonamiento automático (2015-16) Razonamiento automático (2015-16)

Temas de Razonamiento automático (2014-15)

• Tema 1: Programación funcional en Isabelle.
• Tema 2: Razonamiento sobre programas:
  • Tema 2a: Razonamiento sobre programas Haskell
  • Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL.
• Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL.